- •1. Элементы теории множеств
- •1.1 Множества. Основные понятия
- •1.2. Способы задания множеств
- •1.3. Операции над множествами. Диаграммы Венна
- •1.4. Свойства операций над множествами
- •1.5. Прямое (декартово) произведение множеств
- •1.6 Разбиения и покрытия
- •1.7. Замечание о мощности некоторых множеств
- •1.8 Представление множеств в эвм
- •1.9. Отношения
- •1.9.1.Определения
- •1.9.2 Бинарные отношения
- •1.9.3. Способы задания бинарных отношений
- •1.9.4 Свойства бинарных отношений
- •1.9.5. Отношение эквивалентности
- •1.9.5. Отношение порядка
- •1.9.6.1. Минимальные и максимальные элементы множества
- •1.9.6.2. Диаграммы Хассе
- •1.9.6.3. Принцип двойственности
- •1.9.7. Представление отношений в эвм
- •1.10. Соответствия. Функции. Операции. Отображения
- •1.10.1. Соответствия и их свойства
- •1.10.2 Функции и отображения
- •1.10.3. Инъекция, сюръекция и биекция
- •1.10.4. Композиция и суперпозиция функций. Способы задания функций
- •1.10.5. Представление функций в эвм
- •1.10.6. Операции
- •1.10.6.1. Способы задания операций
- •1.11. Алгебраические структуры
- •1.11.2. Замыкание и подалгебры
- •1.11.3. Гомоморфизм и изоморфизм
- •1.11.4. Алгебры с одной бинарной операцией
- •1.11.5. Алгебры с двумя бинарными операциями
- •1.11.6.Решетки
- •1.11.7. Булевы алгебры
- •2. Элементы математической логики и булевы функции
- •2.1. Операции над высказываниями
- •2.2. Логические операции (логические связки)
- •2.3. Элементарные булевы функции
- •2.3.1. Функции алгебры логики
- •2.3.2. Равносильность функций. Существенные и несущественные переменные
- •2.3.3. Реализация функций формулами. Суперпозиция функций
- •2.3.4. Подстановки и замены
- •2.3.5. Принцип двойственности
- •2.3.6. Нормальные формы в логике высказываний
- •2.3.6.1. Разложение булевых функций по переменным. Дизъюнктивно-нормалльная форма (днф)
- •2.3.6.2. Совершенная дизъюнктивная нормальная форма
- •2.3.7. Арифметические операции в алгебре логики. Полиномы Жегалкина
- •2.3.8. Монотонные функции алгебры логики
- •2.3.9. Функционально замкнутые классы
- •2.4. Полнота системы булевых функций. Теорема
- •2.5. Элементы логике предикатов
- •2.5.1. Определение предиката
- •2.5.2. Кванторы. Формулы логики предикатов
- •2.5.3. Равносильность формул
- •2.5.4. Предикаты на конечных областях. Логика одноместных предикатов
- •2.6. Операции над предикатами и кванторами
- •2.7. Построение доказательств в логике предикатов
- •1.6.2. Разбор решений задач по логике предикатов
- •1. Элементы теории множеств 3
- •1.1 Множества. Основные понятия 3
- •2.6. Операции над предикатами и кванторами 137
- •394026 Воронеж, Московский просп., 14
1.2. Способы задания множеств
Множество может быть задано разными способами:
1. Перечислением, т. е. списком своих элементов. Списком можно задать прежде всего конечные множества. Обозначение списка – в фигурных скобках:
А={1,0} – множество двоичных чисел;
В={23,29,31,37} – множество всех простых чисел между 20 и 40.
Перестановка элементов списка не меняет множества: множества {1,2,3,4,8} и {8,4,3,2,1} совпадают. Списком можно представлять и некоторое бесконечное множество (так называемые счетные множества). Для этого надо указать, как перенумеровать все их элементы и представить их в виде бесконечной последовательности.
Множество натуральных чисел: N={1,2,3,…}
Множество целых чисел: Z={0, 1, 2,…}
Однако множества R и С так представить нельзя.
2. Описанием характеристических свойств, отличающих элементы данного множества.
Обозначаются: М={xP(x)} или М={x:P(x)}.
Читается: «Множество М состоит из элементов х таких, что х обладает свойством Р(х)». Например,
Е={x|xZ и x=2y для yZ} – множество всех четных чисел,
N={x|xZ и x>0} – множество всех натуральных чисел
– множество рациональных чисел.
3. Порождающей процедурой, которая описывает способ получения элементов множества из уже полученных элементов или других объектов. Например, множество всех целых чисел, являющихся степенями двойки , n- целое неотрицательное число: может быть представлено порождающей процедурой, заданной двумя правилами, называемыми рекурсивными или индуктивными:
а) ; б) если , то ..
4. С помощью характеристической функции, значение которой указывают, является ли (да или нет) х элементом множества Х:
Замечание: для любых элементов = 0 и = 1.
Пример. Пусть на универсуме U={a, b, c, d, e} определено множество Х={a, c, d}. Тогда
; ; ; ; .
Примеры.
Пример1:
Задать различными способами множество N всех натуральных чисел: 1, 2, 3, …
Решение: а) N={1, 2, 3, …} – списком
б) Описанием характеристического свойства элементов множества N: N={х: х – целое положительное число}.
в) Порождающая процедура содержит два правила:
1) 1N; 2) если nN, то n+1N.
Пример 2: Задать различными способами множество М всех чётных чисел 2, 4, 6, …, не превышающих 100.
Решение: 1.
2. а) , б) если , то ; n<98.
3. {n: n – четное положительное число, не превышающее 100}. Или:
3. .
Пример 3: Пусть U={a, b, c}. Определить в явном виде (перечислением элементов) булеан P(U) – множество всех подмножеств, состоящих из элементов множества U. Какова мощность множества P(U)?.
Решение: P(U)={, {a}, {b}, {c}, {a, b}, {a, c}, {b, c},
{a, b, c}}. Мощность |P(U)| = 8
Пример 4: Какие из приведенных определений множеств являются корректными:
а) А={1, 2, 3}; б) B={5, 6, 6, 7}; в) C={x: xA};
г) D={A, C} ?
Решение: а) Определение А списком корректно.
б) При перечислении элементов множества не следует указывать один и тот же элемент несколько раз. Корректное определение: В={5, 6, 7}.
в) Корректно.
г) Корректно.
Упражнения
1. Пусть Х – множество {1, 2}, а Y – множество
{x: x=y+z; y,zX}. Определить в явном виде (списком) множество Y. Каковы множества и ?
2. Задать различными способами множество всех чисел, являющихся степенями двойками: 2, 4, 8, 16, …, не превышающих 300.
3. Задать различными способами множество нечётных положительных чисел.
4. Задать различными способами множество натуральных чисел, кратных 5: 5, 10, 15, 20, …
5. Задать в явном виде (списком) множество P(U) всех подмножеств множества U, если U={1, 2, 5, 7}. Какова мощность P(U)?