Математическая теория логического вывода. Сборник переводов под редакцией Л. В. Идельсона и Г. Е. Минца. Изд-во Наука главная редакция физико-математической литературы. Логика. Скачать бесплатно.
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее премя интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем). В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории. Читатель, не обладающий никакими специальными сведениями в области математической логики (но обладающий некоторой математической культурой), может использовать этот сборник в качестве пособия для систематического изучения теории логического вывода.
Название: Под редакцией А.В.Идельсона и Г.Е.Минца - Математическая теория логического вывода. Математическ.djv
Размер: 3.81 Мб
Описание: Математическая теория логического вывода. Сборник переводов под редакцией Л. В. Идельсона и Г. Е. Минца. Изд-во Наука главная редакция физико-математической литературы
Ссылка для скачивания файла:
Ключевые слова: логика, скачать бесплатно, учебник по логике, логический вывод, математическая логика |