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