Конспекты лекций

(ФН, специальность «Прикладная математика»)

pdf  Часть 1. Булевы функции.  Булевы алгебры. Булевы функции. ДНФ и КНФ. Критерий Поста. Минимизация ДНФ.

pdf  Часть 2. Логика высказываний.  Алгебра высказываний. Тавтологии и эквивалентность формул. Способы получения эквивалентных формул.

pdf  Часть 3. Исчисление высказываний.  Введение. Основные положения теории N. Правила естественного вывода. Глобальные свойства теории N.

pdf  Часть 4. Алгебра предикатов.  Предикаты и кванторы. Логико-математические языки. Переменования и подстановки. Семантика логико-математического языка. Логические законы. Замены. Упрощение формул. 

pdf  Часть 5. Исчисление предикатов . Построение теории P. Правила естественного вывода. Глобальные свойства теории P.

pdf  Часть 6. Алгоритмы на графах.  Введение. Деревья. Остов графа наименьшего веса. Задача о путях в размеченном графе. Циклы, разрезы и задача Эйлера.