Создано: 02.08.2012 18:06
Предоставить рейтинг этому материалу
( Голосов: 0 ) 
Категория: Конспекты лекций
Число комментариев: 1
Просмотров: 5622

Дискретная математика (3-й курс, 6-й семестр, ФН2)

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

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

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

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

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

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

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

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

 

Google Maps:

Об авторе