
Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:
X
- •Часть 1
- •Содержание
- •Введение
- •1. Введение в теорию множеств
- •Операции над множествами
- •Диаграммы Эйлера – Венна
- •Понятие алгебры
- •Упражнения
- •2. Отношения
- •Операции над отношениями
- •Свойства бинарных отношений
- •Задачи и упражнения
- •3. Нечеткие множества
- •Операции над нечеткими множествами.
- •Задачи и упражнения
- •Элементарные функции k-значных логик и соотношение между ними
- •Разложение функций k-значных логик в первую и вторую формы
- •Замкнутые классы и полнота в k-значных логиках
- •Задачи и упражнения
- •5. Логика высказываний
- •Тождества в алгебре высказываний
- •Булевы формулы
- •Интерпретации
- •6. Булевы функции
- •Способы задания булевой функции
- •Равносильные преобразования формул
- •Нормальные формулы Совершенные нормальные формулы
- •Разложение Шеннона Декомпозиция булевых функций
- •Представление булевой функции картами Карно (Вейча)
- •Минимизация булевых функций
- •Классы булевых функций
- •7. Комбинаторика Введение
- •8. Кодирование
- •Алфавитное кодирование
- •Кодирование с минимальной избыточностью
- •Помехоустойчивое кодирование
- •Сжатие данных
- •Шифрование
- •Криптография
- •Цифровая подпись
- •9. Графы Определение графа
- •Задание графов
- •Связность графа
- •Эйлеровы и гамильтоновы графы
- •Деревья
- •Понятие метрики графа
- •Цикломатическое число, раскраска
- •Изоморфизм графов
- •Орграфы
- •Сети Петри
- •Контрольная работа №1 (варианты заданий)
- •Контрольная работа № 2.
- •Контрольная работа №3
- •Список литературы
Список литературы
Нефедов В.Н., Осипова В.А. Курс дискретной математики, М.:Наука 1992 г.
Яблонский С.В. Введение в дискретную математику М.Наука, 1978 г.
Мендельсон Э. Введение в математическую логику – М., 1976 г.
Вольвачев Р.Т. Элементы математической логики и теории множеств.
Ф. Харари, Э Палмер Перечисление графов М.Мир, 1997 г.
Баранов С.И. Синтез микропрограммных автоматов. Л. Энергия 1979 г.
Корячко В.П., Курейчик В.М., Норенков И.П. Теоретические основы САПР. М. Радио и связь 1987 г.
Кориков А.М., Сафьянова Е.Н. Основы системного анализа и теории систем. Томск. Из-во Томского университета. 1989 г.
Ю.П. Шевелев Дискретная математики. Теория множеств. Булева алгебра. Часть 1.