МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПЕЧАТИ

ЗАОЧНАЯ ФОРМА ОБУЧЕНИЯ

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПЕЧАТИ

Информатика

ЛЕКЦИЯ

Основные понятия математической логики

Лектор

Попов Дмитрий Иванович

доктор технических наук, заведующий кафедрой Информатика и вычислительная техника МГУП, директор Института открытого образования МГУП

План лекции

1.Основные определения

2.Логические операции

3.Законы логики

4.Формы логических функций

5.Совершенные формы записи логических функций СКНФ и СДНФ

Основные

определения

Логика – это наука о формах и способах мышления.

Аристоо́тель

384 — 322 гг. до н.э.

Древнегреческий философ и учёный. Ученик Платона.

С 343 г. до н.э. — воспитатель Александра Македонского. В 335/4 г.

до н.э. основал Ликей (Лицей, или перипатетическую школу). Основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и сам стиль научного мышления.

Основными формами мышления являются:

Основными формами мышления являются:

­ Понятие