反馈文件质量
nexusstc/Теория логического вывода: Учебное пособие/9488820b93fe6679a2cdda1987dec2f4.pdf
Теория логического вывода: Учебное пособие 🔍
А. В. Ганичев, А. В. Ганичева; Минобрнауки России, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тверской государственный технический университет" (ТвГТУ) ЭБС Лань, Тверь, Russia, 2019
俄语 [ru] · PDF · 2.1MB · 2019 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов, а также специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
备用文件名
lgli/171319.pdf
备用文件名
lgrsnf/171319.pdf
备用文件名
zlib/no-category/А.В. Ганичев, А.В. Ганичева/Теория логического вывода: Учебное пособие_23649989.pdf
备选作者
Ганичев, Алексей Валерианович
备用出版商
Tverskoj gosudarstvenny`j texnicheskij universitet
备用出版商
ТвГТУ
备用版本
Russia, Russian Federation
元数据中的注释
{"isbns":["5799510143","9785799510145"],"publisher":"Лань"}
元数据中的注释
Библиогр.: с. 85-89
元数据中的注释
РГБ
元数据中的注释
Russian State Library [rgb] MARC:
=001 009998245
=005 20190613131046.0
=008 190607s2019\\\\ru\\\\\\\\\\\\0||\|\rus|d
=017 \\ $a КН-П-19-040348 $b RuMoRKP
=020 \\ $a 978-5-7995-1014-5 $c 100 экз.
=040 \\ $a RuMoRGB $b rus $e rcr
=041 0\ $a rus
=044 \\ $a ru
=084 \\ $a Ю4в6я73-1 $2 rubbk
=084 \\ $a Ю251.518.1я73-1 $2 rubbk
=100 1\ $a Ганичев, Алексей Валерианович
=245 00 $a Теория логического вывода $h [Текст] : $b учебное пособие $c А. В. Ганичев, А. В. Ганичева ; Минобрнауки России, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тверской государственный технический университет" (ТвГТУ)
=260 \\ $a Тверь $b ТвГТУ $c 2019
=300 \\ $a 91 с. $b ил., табл. $c 21 см
=336 \\ $a текст (text) $b txt $2 rdacontent
=337 \\ $a неопосредованный (unmediated) $b n $2 rdamedia
=338 \\ $a том (volume) $b nc $2 rdacarrier
=504 \\ $a Библиогр.: с. 85-89
=650 \7 $a Философские науки -- Логика -- Логика как общая наука -- Методы математической логики -- Учебник для высшей школы $2 rubbk
=650 \7 $a Философия -- Философия и методология науки -- Наука и научное знание в целом -- Научный метод и его роль в науке -- Методы построения теорий. Типы теорий -- Аксиоматический метод. Аксиоматические и неаксиоматические теории -- Учебник для высшей школы $2 rubbk
=653 \\ $a теория логического вывода
=653 \\ $a аксиоматический метод Д. Гильберта
=653 \\ $a метод резолюций
=653 \\ $a логический вывод по нечетким данным
=653 \\ $a выводимость в исчислении высказываний
=700 1\ $a Ганичева, Антонина Валериановна
=852 \\ $a РГБ $b FB $j 2 19-35/96 $x 90
=852 \\ $a РГБ $b FB $j 2 19-35/137 $x 90
开源日期
2022-11-21
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️
如果您在本月捐款，您将获得双倍的快速下载次数。

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。