Для студентов МГТУ им. Н.Э.Баумана по предмету Дискретная математикаКонспект лекцийКонспект лекций
2017-12-282017-12-28СтудИзба
Лекции: Конспект лекций
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Предмет
Учебное заведение
Семестр
Просмотров
525
Скачиваний
43
Размер
4,95 Mb
Список файлов
- Конспект лекций
- 1 - Булевы функции. Булевы алгебры. Булевы функции. ДНФ и КНФ. Критерий Поста. Минимизация ДНФ.pdf 1,25 Mb
- 2 - Логика высказываний. Алгебра высказываний. Тавтологии и эквивалентность формул. Способы получения эквивалентных формул.pdf 771 Kb
- 3 - Исчисление высказываний. Введение. Основные положения теории N. Правила естественного вывода. Глобальные свойства теории N.pdf 820,52 Kb
- 4 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переменования и подстановки. Семантика логико-математического языка. Логические законы.pdf 847,13 Kb
- 5 - Исчисление предикатов . Построение теории P. Правила естественного вывода. Глобальные свойства теории P.pdf 758,86 Kb
- 6 - Алгоритмы на графах. Введение. Деревья. Остов графа наименьшего веса. Задача о путях в размеченном графе. Циклы, разрезы и задача Эйлера.pdf 1,1 Mb
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать