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

Слайд 2

Структура курса

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

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

Слайд 3

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

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

Слайд 4

Логика (традиционная или формальная логика) – наука о способах мышления, изучает способы

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

1.1 Логика и математическая логика

Слайд 5

Применение математической логики в информатике

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

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

Слайд 6

История логики

Аристотель (384-322 гг.до н.э.)

Евклид (330-275 гг.до н.э.)

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

Слайд 7

Г.В.Лейбниц (1646-1716 )

Дж.Буль (1815-1864 )

О. де Морган (1806-1871 )

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

Слайд 8

Ч.Пирс (1839-1914 )

Э.Л.Пост (1897-1954 )

Дж.Пеано

Б.Рассел

Д.Гильберт

К.Гёдель

А.Тьюринг

А.Чёрч

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

Слайд 19

Составление таблиц истинности

Пример 2.3

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

Слайд 20

Пример 2.4

Пример 2.4
Имя файла: Логика-и-математическая-логика.-История-логики.-Алгебра-высказываний.pptx
Количество просмотров: 27
Количество скачиваний: 0