Множества. Логика. Аксиоматические теории. Роберт Столл.


02. Глава 1. Множества и отношения
03. Канторовское понятие множества
04. Основные принципы интуитивной теории множеств
05. Включение
06. Операции над множествами
07. Отношения
08. Отношения эквивалентности
09. Глава 2. Логика
10. Исчисление высказываний. Сентенциональные связки
11. Исчисление высказываний. Истинностные таблицы
12. Исчисление высказываний. Общезначимость
13. Исчисление высказываний. Логическое следствие
14. Исчисление высказываний. Приложения
15. Исчисление предикатов. Символизация обычного языка
16. Исчисление предикатов. Общая формулировка
17. Исчисление предикатов. Общезначимость
18. Исчисление предикатов. Логическое следствие
19. Глава 3. Аксиоматические теории
20. Понятие аксиоматической теории
21. Неформальная аксиоматика
22. Неформальные теории в рамках теории множеств
23. Дальнейшие свойства неформальных теорий
24. Формальные аксиоматические теории
25. Аксиматические теории первого порядка
26. Метаматематика

Главное меню