Дискретная математика

Мы предлагаем вашему вниманию преподаваемый на нашей кафедре курс лекций по дискретной математике, написанный Замятиным Алексеем Петровичем. В нем приводится достаточно подробное описание основных разделов дискретной математики, необходимых студентам нашей кафедры. К каждой теме прилагается набор задач с решениями и пояснениями.


Здесь можно получить следующую информацию:

Содержание лекций:

Раздел 1. Математическая логика

Тема 1. Логика высказываний

§1. Высказывания и операции над ними

§2. Формулы логики высказываний, интерпретация

§3. Равносильность и законы логики высказываний

§4. Логическое следствие.

§5. Нормальные формы в логике высказываний

§6. Контактные схемы.

Задачи

Ответы, указания и решения

Тема 2. Булевы функции

§1. Замкнутость и полнота

§2. Самодвойственные функции

§3. Монотонные функции

§4. Линейные функции

§5. Критерий полноты

Задачи

Ответы, указания и решения

Тема 3. Логика предикатов

§1. Предикаты и операции над ними

§2. Формулы логики первого порядка

§3. Интерпретация в логике первого порядка

§4. Равносильность, законы логики первого порядка

§6. Логическое следствие

§7. Нормальные формы

§8. Невыразимость в логике первого порядка

§9. Многосортная логика первого порядка

Задачи

Ответы, указания и решения

Тема 4. Метод резолюций

§1. Метод резолюций в логике высказываний

§2. Подстановка и унификация

§3. Метод резолюций для логики первого порядка

§4. Эрбрановский универсум множества дизъюнктов

§5. Семантические деревья, теорема Эрбрана

§6. Полнота метода резолюций в логике предикатов

§7. Стратегии метода резолюций

§8. Применение метода резолюций.

§9. Метод резолюций и логическое программирование

Задачи

Ответы, указания и решения

Раздел 2. Теория графов

Тема 5. Раскраски

§1. Хроматическое число

§2. Оценки хроматического числа

§3 Проблема четырех красок

§4. Раскраска пятью красками

Задачи

Ответы, указания и решения

Тема 6. Ориентированные графы и сети

§1. Понятие орграфа

§2. Обходы в орграфах

§3. Бесконтурные графы

§4. Пути в сетях

§5. Потоки в сетях

Задачи

Ответы указания и решения


Начало Следующий
Fair.ru Ярмарка сайтов
Rambler's Top100 Submitter.ru - Free promoting

Дизайн: Alex © 2002
Все вопросы и предложения можно направлять по адресу cad@mail.ustu.ru