Содержание
- Введение 1
- Ранние предпосылки 2
- Формализация и Фреге 3
- Развитие в начале XX века 4
- Таблицы истинности и теория вычислимости 5
- Применение в цифровой схемотехнике 6
- Современные аспекты программирования 7
- Искусственный интеллект и верификация 8
- Заключение 9
- Список литературы 10