
- •Министерство образования и науки Российской Федерации
- •Волгодонский инженерно-технический институт – филиал нияу мифи курс лекций
- •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) В дальнейшем мы увидим также, что новые множества задаются при помощи некоторых операций над множествами.