Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Название: Математическая теория логического вывода
Автор: Идельсон А.В., Минц Г.Е.
Издательство: Наука
Год издания: 1967
Страниц: 350
Язык: русский
Формат: djvu
Качество: хорошее
Размер: 4.3 Мб
Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Дата создания страницы: