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