Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Вводный курс математической логики
ГЛАВА 3. ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Поставить закладку
§ 1. Аксиоматический метод
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 5 стр. из этой главы.
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Введение
ГЛАВА 1. ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ
+
ГЛАВА 2. ЯЗЫКИ ПЕРВОГО ПОРЯДКА
+
ГЛАВА 3. ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ
-
§ 1. Аксиоматический метод
§ 2. Логическое следование
§ 3. Тавтологическое следствие
§ 4. Исчисление предикатов
§ 5. Вывод из гипотез
§ 6. Теории первого порядка
§ 7. Формальная арифметика
ГЛАВА 4. ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ
+
ГЛАВА 5. ТЕОРИЯ АЛГОРИТМОВ
+
Список рекомендуемой литературы
Предметный указатель
Данный блок поддерживает скрол*