- •Министерство образования и науки Российской Федерации
 - •Волгодонский инженерно-технический институт – филиал нияу мифи курс лекций
 - •230201 «Информационные системы и технологии»
 - •220301 «Автоматизация технологических процессов и производств»
 - •Волгодонск
 - •1. Алгебра множеств
 - •1.1. Понятие множества. Обозначение принадлежности
 - •1.2. Способы задания множеств
 - •1.3. Множество подмножеств. Включение
 - •1.5. Свойства операций над множествами
 - •Основные свойства операций над множествами
 - •1.6. Декартово произведение множеств
 - •2. Отношения
 - •Бинарные отношения
 - •Способы задания бинарных отношений
 - •Области определения и значений
 - •Сечения
 - •Симметризация отношения
 - •2.6 Композиция отношений
 - •2.7. Свойства бинарных отношений
 - •3. Функциональные отношения
 - •3.2. Мощность множества
 - •3.3. Образы и прообразы
 - •3.4. Подстановки как отображения
 - •4. Отношение эквивалентности
 - •4.1. Эквивалентность. Классы эквивалентности
 - •4.2. Система представителей.
 - •4.3. Классы вычетов по модулю т.
 - •4.4. Матрица и граф отношения эквивалентности
 - •5. Отношение порядка
 - •5.1. Упорядоченность
 - •5.2. Отношение строгого порядка
 - •5.3. Весовые функции
 - •5.4. Квазипорядок
 - •5.5. Комплексный показатель качества
 - •5.6. Структура упорядоченных множеств
 - •5.7. Матрицы отношений порядка
 - •5.8. Графы отношений порядка
 - •6. Законы композиции
 - •6.1. Композиция объектов. Таблица Кэли.
 - •6.2. Законы композиции на множестве.
 - •6.3. Свойства внутреннего закона композиции.
 - •6.4. Регулярный, нейтральный и симметричный элементы.
 - •6.5. Аддитивные и мультипликативные обозначения.
 - •6.6. Алгебраические системы.
 - •6.7. Подсистемы.
 - •6.8. Делители нуля.
 - •Примеры алгебраических систем
 - •Группы подстановок
 - •7.2. Кольцо многочленов
 - •7.3. Кольцо множеств
 - •7.4. Множество классов вычетов по модулю т
 - •7.5. Поле комплексных чисел
 - •7.6. Тело кватернионов
 - •8. Пространства
 - •Метрические пространства
 - •8.2. Топологические пространства
 - •8.3. Линейные пространства
 - •8.4. Нормированные пространства
 - •9. Логические функции
 - •9.1. Основные определения
 - •9.2. Табличное задание функции
 - •9.3. Булевы функции
 - •9.4. Зависимость между булевыми функциями
 - •10. Алгебра логики
 - •10.1.Булева алгебра
 - •10.2. Двойственность формул булевой алгебры
 - •10.3. Нормальные формы
 - •10.4. Совершенные нормальные формы
 - •10.5. Проблема разрешимости
 - •10.6. Конституенты и представление функций
 - •10.7. Алгебра Жегалкина
 - •10.8. Канонические многочлены
 - •10.9. Типы булевых функций
 - •10.10. Функциональная полнота
 - •11. Контактные схемы
 - •12. Логические схемы
 - •13. Минимизация булевых функций
 - •14. Конечные автоматы
 - •14.1 Основные определения
 - •14.2 Состояния
 - •14.3 Типы конечных автоматов
 - •14.4 Представления конечных автоматов
 - •14.5 Анализ конечных автоматов
 - •14.6 Минимизация автоматов
 - •14.7. Эквивалентное разбиение
 - •15. Машины тьюринга
 - •15.1 Алфавит, буквы, слова. Операции над словами. Запись слов на бесконечной ленте
 - •15.2. Машина Тьюринга. Описание. Примеры машин
 - •15.3. Сочетания машин Тьюринга: композиция и объединение. Машины с полулентами, разветвление и итерация машин
 - •15.4. Алгоритмически разрешимые и неразрешимые проблемы
 - •15.5. Универсальная машина Тьюринга
 
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное
образовательное учреждение
высшего профессионального образования
Национальный исследовательский ядерный университет «МИФИ»
Волгодонский инженерно-технический институт – филиал нияу мифи курс лекций
по дисциплине
«ДИСКРЕТНАЯ МАТЕМАТИКА»
для студентов специальностей
230201 «Информационные системы и технологии»
220301 «Автоматизация технологических процессов и производств»
всех форм обучения
Волгодонск
2010
УДК 681.3 (075.8)
Рецензент д.т.н., профессор В.В. Кривин
Составитель ст. преп. Цуверкалова О.Ф.
Методические указания содержат курс лекций по дисциплине «Дискретная математика» /ВИТИ НИЯУ МИФИ. Волгодонск, 2010. 117 с.
Предназначены для студентов очной, очно-заочной и заочной формы обучения специальности 230201 – Информационные системы и технологии, 220301 – Автоматизация технологических процессов и производств
ã ВИТИ НИЯУ МИФИ, 2010
О.Ф. Цуверкалова, 2010
1. Алгебра множеств
1.1. Понятие множества. Обозначение принадлежности
Математическое понятие множества постепенно выделилось из привычных представлений о совокупности, собрании, классе, семействе и т. д. В 1872 г. Георг Кантор, создатель теории множеств, определил множество как «объединение в одно целое объектов, хорошо различаемых нашей интуицией или нашей мыслью». В первом издании «Теории множеств» Бурбаки, появившемся в 1939 г., в сводке результатов можно найти следующее предложение: «Множество образуется из элементов, обладающих некоторыми свойствами и находящихся в некоторых отношениях между собой или с элементами других множеств».
Объекты, сущности или элементы, составляющие множество, обозначаются строчными латинскими буквами: х, а,...; множество часто обозначают прописными латинскими буквами Е, N, ... . Знак  обозначает вхождение или принадлежность; х  Е читается: «элемент х принадлежит множеству Е», или короче: «х—элемент множества Е». Следует различать «общий элемент» х множества Е, т. е. произвольный элемент, характеризующийся единственным свойством «принадлежать множеству», и конкретные элементы а, b, c,..., каждый из которых отличен от остальных. Если х не принадлежит Е, будем писать х  Е, что читается «х не является элементом множества Е» или «х не принадлежит множеству Е». Если множество содержит конечное число элементов, говорят, что оно конечно; в противном случае множество называется бесконечным. Множество Е, состоящее из элементов а, b,..., записывается
Е= {а. b........}.
Примеры. 1) Множество четных цифр Р={2, 4,6,8}.
2) Множество трехзначных чисел в двоичной системе:
В3 = {000, 001, 010, 011, 100, 101, 110, 111}.
1.2. Способы задания множеств
1) Множество может быть задано перечислением всех его элементов.
Пример. Множество цифр: {0,1,..., 9}.
2) Обобщение первого способа состоит в том, что каждый элемент задаваемого множества определяется по некоторому элементу уже известного множества.
Пример. Считая известным множество целых чисел
Z = {....-3.-2,-1, 0. 1, 2, 3,...},
определим множество степеней числа 2
{…, 2-3, 2-2, 2-1, 20, 21, 22, 23, …}
3) Другой способ задания множеств — описание ограничительного свойства, выделяющего элементы множества Е среди элементов более широкого, или основного (универсального, универсума), множества U. Множество Е называется частью, или подмножеством множества U.
Пример. Пусть дано множество N натуральных чисел N = {1, 2, 3,...}. Рассмотрим совокупность всех тех элементов этого множества, которые делятся на 2 (ограничительное и характеризующее свойство); полученное множество есть множество четных чисел Р={2, 4, 6,...}.
4) В дальнейшем мы увидим также, что новые множества задаются при помощи некоторых операций над множествами.
