Раздел 2 / 5

Страница 1 / 42

Раздел I. Определения и формулировки

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Математическая логика, часть I

Table of contents

Предисловие

Раздел 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. Краткие комментарии к доказательствам

Список литературы

Предметный указатель