Содержание
- Введение 1
- Исторические предпосылки взаимосвязи логики и математики 2
- - Античная традиция: Пифагор и Платон 2.1
- - Аристотелевская логика и евклидова геометрия 2.2
- - Развитие математической логики в Новое время 2.3
- Логические основы математики: Аксиоматический метод и теория множеств 3
- - Аксиоматический метод в математике 3.1
- - Теория множеств как основа математики 3.2
- - Проблемы непротиворечивости и полноты 3.3
- Математические методы в логике: Формализация и моделирование 4
- - Формализация логических языков 4.1
- - Математические модели логических систем 4.2
- - Применение математической логики в информатике 4.3
- Практические примеры взаимодействия логики и математики 5
- - Логика в компьютерных науках 5.1
- - Математические модели в логических играх 5.2
- - Криптография и логика 5.3
- Заключение 6
- Список литературы 7