Логика и математическая логика. История логики. Алгебра высказываний

Структура курса
Алгебра высказываний
1й тест, 1я контрольная
Исчисление высказываний (аксиоматическая теория)
2й тест
Алгебра предикатов
Теория алгоритмов
2я контрольная (АП и ТА)

Лекция 1. Логика и математическая логика. История логики. Алгебра высказываний.

Логика (традиционная или формальная логика) – наука о способах мышления, изучает способы и методы рассуждений, доказательств, выводов.
Греческое λογος(логос) означает «слово», «понятие», «смысл».
Математическая логика (символическая или теоретическая логика) - изучает процесс доказательства математических теорем и сами математические теории
1.1 Логика и математическая логика

Применение математической логики в информатике
Теория булевых функций: релейно-контактные схемы
Использование нормальных форм: упрощение элементных схем
Исчисление высказываний: автоматическое доказательство теорем
Логика предикатов: язык Пролог и родственные ему
Теория формальных языков и грамматик: построение компиляторов
Теория алгоритмов

История логики
Аристотель (384-322 гг.до н.э.)
Евклид (330-275 гг.до н.э.)

Г.В.Лейбниц (1646-1716 )
Дж.Буль (1815-1864 )
О. де Морган (1806-1871 )

Ч.Пирс (1839-1914 )
Э.Л.Пост (1897-1954 )
Дж.Пеано
Б.Рассел
Д.Гильберт
К.Гёдель
А.Тьюринг
А.Чёрч

Составление таблиц истинности
Пример 2.3

Пример 2.4