URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Смирнов В.А. Формальный вывод и логические исчисления
Id: 23117
 
799 руб.

Формальный вывод и логические исчисления

1972. 272 с. Мягкая обложка. Букинист. Состояние: 4. Есть погашенная печать расформированной библиотеки.

 Аннотация

В монографии анализируются различные способы логического рассуждения: логистические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Показывается, как модификация понятия формального вывода влияет на класс доказуемых формул, условия, при которых имеет место теорема дедукции. Дается достаточно естественная классификация логических систем. Вводится и подробно исследуется лежащее в основе классификации абсолютное исчисление предикатов.


 Оглавление

Предисловие

Глава первая

Классическая логика предикатов и ее формализация гильбертовского типа

§ 1 Язык логики предикатов первого порядка

§ 2. Семантика классической логики предикатов первого

порядка

§ 3. Формализация и аксиоматизация

§ 4. Логистические системы гильбертовского типа с понятием формального доказательства. Формализация свойства универсальной общезначимости

§ 5. Формализация гильбертовского типа отношения логического следования классической логики предикатов

Глава вторая

Формы выводов и теоремы дедукции для логистических систем гильбертовского типа

§ 1. Предварительные замечания

§ 2. Вывод как линейная последовательность формул

§ 3. Вывод с анализом

§ 4. Логистические системы с выводом в виде дерева

§ 5. Теорема дедукции для импликативных логистических систем

§ 6. Теорема дедукции для логистических систем с правилом обобщения

§ 7. Дополнительные замечания

§ 8. Производные правила вывода для логистических систем гильбертовского типа

Глава третья

Субординатный вывод. Системы натурального вывода первого типа

§ 1. Критические замечания о различиях между исчислениями гильбертовского типа и системами натурального вывода

§ 2. Системы натурального вывода как логистические системы с субординатным выводом

§ 3. Модификация понятия вывода в виде леса деревьев

§ 4. Натуральные исчисления с субординатным выводом в виде леса последовательностей

§ 5. Система записи субординатного вывода по методу

Яськовского --- Фитча

§ 6. Субординатный вывод в нотации Яськовского---Куайна

§ 7. Краткое заключение

Глава четвертая

Классические секвенциальные исчисления предикатов

§ 1. Секвенции. Правила введения и удаления логических знаков

§ 2. Классическое секвенциальное логистическое исчисление

§ 3. Теорема Эрбрана --- Генцена

§ 4. Интерполяционная теорема Крейга

§ 5. Теорема Бета

§ 6. Сингулярное классическое секвенциальное логистическое исчисление

Глава пятая

Секвенциальные исчисления без сокращений

§ 1. Секвенциальное логистическое исчисление без сокращений. Разрешимость проблемы разрешения для SLC° § 2. Упрощенная разрешающая процедура для SLC°

§ 3. Сводимость доказуемости формулы в сколемовской нормальной форме к доказуемости некоторой секвенции из SLC°

§ 4. Сводима ли проблема разрешения для разрешимых классов SLC к проблеме разрешения для SLC°?

§ 5. Методы установления разрешимости проблемы разрешения для пропозициональных логик

Глава шестая

Абсолютное исчисление предикатов

§ 1. Классификация сингулярных секвенциальных исчислений по наличию или отсутствию логических фигур заключения группы IV

§ 2. Система SLA

§ 3. Абсолютное исчисление предикатов в виде секвенциального натурального исчисления

§ 4. Абсолютное исчисление предикатов в форме натурального исчисления

§ 5. Абсолютное исчисление предикатов гильбертовского типа

§ 6. Проблема разрешения для пропозициональной части SLA, система SLA+

Глава седьмая

Е-нсчисления и системы натурального вывода второго чипа

§ 1. Предварительные замечания

§ 2. Определенные и неопределенные дескрипции

§ 3. Классическое е-исчисление гильбертовского типа

§ 4. Секвенциальные натуральные исчисления второго

типа

§ 5. Классическое натуральное исчисление второго типа

§ 6. Возможно ли интуиционистское натуральное исчисление предикатов второго типа?

§ 7. Исчисление DC и DI. Элиминация неопределенных дескрипций для интуиционистского и классического натуральных исчислений

§ 8. Правило Зу в формулировке Е.

Слупецкого Литература

 
© URSS 2016.

Информация о Продавце