Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика, часть II
4. Секвенциальное исчисление предикатов (ИПС)
Поставить закладку
4.1. Аксиомы и правила вывода ИПС
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
4. Секвенциальное исчисление предикатов (ИПС)
-
4.1. Аксиомы и правила вывода ИПС
4.2. Теорема о корректности ИПС
4.3. Теорема о существовании модели
4.4. Следствия из теоремы о существовании модели
4.5. Формализация понятия доказательства в математике
4.6. Мощности моделей
4.7. Теорема Эрбрана
4.8. Аксиоматизируемые классы
5. Исчисление высказываний гильбертовского типа
6. Теория алгоритмов
+
7. Неразрешимость арифметики и теорема Гёделя о неполноте
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*