Раздел 2 / 7

Страница 28 / 33

4. Секвенциальное исчисление предикатов (ИПС)

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Математическая логика, часть II

Table of contents

Предисловие

4. Секвенциальное исчисление предикатов (ИПС)-

4.1. Аксиомы и правила вывода ИПС

4.2. Теорема о корректности ИПС

4.3. Теорема о существовании модели

4.4. Следствия из теоремы о существовании модели

4.5. Формализация понятия доказательства в математике

4.6. Мощности моделей

4.7. Теорема Эрбрана

4.8. Аксиоматизируемые классы

5. Исчисление высказываний гильбертовского типа

6. Теория алгоритмов +

7. Неразрешимость арифметики и теорема Гёделя о неполноте +

Список литературы

Предметный указатель