Электронная библиотека учебников » Математика » Математическая теория логического вывода - Идельсон А.В., Минц Г.Е.

Математическая теория логического вывода - Идельсон А.В., Минц Г.Е.

 
Название: Математическая теория логического вывода
Автор: Идельсон А.В., Минц Г.Е.
Категория: Математика
Тип: Книга
Дата: 12.01.2009 12:46:10
Скачано: 267
Оценка:
Описание: Эта книга представляет собой сборник переводов (единствен ное исключение составляет статья Г. Е. Минца; см. ниже) ста гей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызваь бурным развитием «машинной логики», в частности, появле нием многочисленных работ, посвященных машинному доказа тельству теорем *). В сборнике представлены как работы, ставшие уже класси ческими, так и некоторые работы последних лет. Из много численных в настоящее время исследований по теории логиче ского вывода в сборник отобраны работы, связанные с наи более интересными (с точки зрения составителей) этапамь развития этой теории. Читатель, не обладающий никакими специальными сведе ниями в области математической логики (но обладающий неко торой математической культурой), может использовать это! сборник в качестве пособия для систематического изучения тео рии логического вывода. При таком использовании можно ре комендовать следующий порядок чтения. 1. §§ 3—5, 7 и 8 работы Г. Генцена «Непротиворечивость чи стой теории чисел». 2. Разделы I—III работы Г. Генцена «Исследования логиче ских выводов». 3. Раздел IV той же работы, § 1. 4. Раздел V той же работы. 5. §§ 1—3 статьи Г. Е. Минца «Теорема- Эрбрана». Читатель, овладевший этим материалом, получит достаточ ную первоначальную подготовку в области теории логической: вывода и сможет в дальнейшем выбирать для чтения те w» иные статьи сборника в соответствии со своими интересами.
Файл: 4.22 МБ
Скачать