Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика, часть I
Раздел I. Определения и формулировки
Поставить закладку
1. Исчисление высказываний
1.1. Слова и операции над ними
1.2. Формулы исчисления высказываний (ИВ)
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Раздел I. Определения и формулировки
-
1. Исчисление высказываний
1.1. Слова и операции над ними
1.2. Формулы исчисления высказываний (ИВ)
1.3. Исчисление секвенций (ИС)
1.4. Семантика исчисления высказываний
1.5. Допустимые правила вывода
1.6. Теорема о замене
1.7. Нормальные формы
1.8. Теорема о полноте ИС
1.9. Совершенные нормальные формы
2. Теория множеств
2.1. Общие свойства множеств и операции над ними
2.2. Упорядоченные пары и п-ки
2.3. Бинарные отношения и функции
2.4. Отношения эквивалентности
2.5. Частично упорядоченные множества
2.6. Линейно упорядоченные множества
2.7. Вполне упорядоченные множества
2.8. Аксиома выбора, лемма Цорна, теорема Цермело
2.9. Парадокс Рассела
2.10. Аксиоматическая теория множеств ZFC
2.11. Мощности
2.12. Мощности объединения и произведения множеств
2.13. Континуум-гипотеза
2.14. Ординалы
2.15. Кардиналы
3. Язык исчисления предикатов и его семантика
3.1. Формулы исчисления предикатов (ИП)
3.2. Алгебраические системы
3.3. Истинность формул в алгебраических системах
3.4. Прямые произведения алгебраических систем
3.5. Фильтрованные произведения алгебраических систем
3.6. Теорема компактности Мальцева
3.7. Формулировка аксиом ZFC на языке формул ИП
3.8. Предварённая нормальная форма
Раздел II. Краткие комментарии к доказательствам
Список литературы
Предметный указатель
Данный блок поддерживает скрол*