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