libcats.org
Главная

Математическая теория логического вывода

Обложка книги Математическая теория логического вывода

Математическая теория логического вывода

Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

0743471792__13

Автор:
Размер книги: 19 Kb

Джон Гришем. Клиент

Автор:
Размер книги: 846 Kb

Линейные операторы. Общая теория

Автор: , Автор:
Категория: science, science, exact
Размер книги: 16.65 Mb

Hidden Markov Models of Bioinformatics

Автор:
Размер книги: 2.66 Mb

Nelson Physics 11: Student Text (National Edition)

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 28.29 Mb