Содержание
- Введение 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