Раздел 2 / 7

Страница 24 / 33

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Оглавление

Предисловие

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

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

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

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

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

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

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

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

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

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

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

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

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

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