![](/user_photo/2706_HbeT2.jpg)
- •1. Основные понятия теории множеств.
- •2. Понятие вектора.
- •3. Понятие соответствия между множествами.
- •4. Понятие отображения множеств.
- •5. Классификация множеств по мощности. Понятие счетного множества. Понятие несчётного множества.
- •6. Понятие отношения. Свойства отношений. Отношение эквивалентности, отношение строгого порядка, отношение нестрогого порядка.
- •7. Понятие операции, ассоциативной операции, дистрибутивной операции. Понятие алгебры, алгебраической системы, модели. Понятие группоида, полугруппы, коммутативной полугруппы.
- •8. Понятие группы. Группа подстановок.
- •9.Понятие кольца. Кольцо вычетов.
- •10. Определение поля
- •11. Перестановки
- •12.Перестановки с повторениями
- •13. Понятие сочетания. Теорема о числе сочетаний из n элементов по k. Свойства сочетаний.
- •Свойства сочетаний
- •14. Понятие сочетания с повторениями. Теорема о числе сочетаний с повторениями.
- •15. Понятие размещения. Теорема о числе размещений.
- •16. Понятие композиции. Теорема о числе композиций n.
- •18. Понятие композиции. Теорема о числе композиций n из k частей при рi0.
- •19. Основные понятия и определения теории графов.
- •20. Способы хранения графов в памяти эвм.
- •21. Алгоритм поиска на графах (поиск в глубину).
- •22. Алгоритм поиска на графах (поиск в ширину).
- •23. Понятие сильной связности. Анализ сильной связности с помощью алгоритмов поиска на графах.
- •25. Сильная связность. Отношение на вершинах графа называется отношением сильной связности. Сильная связность — отношение эквивалентности. Рассмотрим транзитивность:
- •26. Понятие логической функции. Способы задания логических функций.
- •27. Булева алгебра. Основные свойства операций булевой алгебры. Понятие двойственной и самодвойственной логической функции.
- •28. Алгебра Жегалкина. Основные свойства операций алгебры Жегалкина.
- •29. Алгебра Жегалкина. Представление логических функций полиномом Жегалкина.
- •33. Минимизация логических функций методом Квайна.
- •34. Понятие функционально-полной системы логических функций
- •35. 36 Понятие замкнутого класса. Класс монотонных логических функций.Понятие замкнутого класса. Класс линейный логических функций..
- •37. Теорема о функциональной полноте в слабом смысле.
- •38. Понятие замкнутого класса. Класс функций сохраняющих 0. Класс функций сохраняющих 1.
- •39. Понятие замкнутого класса. Класс самодвойственных функций.
- •40. Теорема о функциональной полноте.
2. Понятие вектора.
В векторе важен порядок элементов и элементы могут совпадать и эти элементы называют координатами.
Вектор- это упорядоченный набор элементов или упорядоченное множество.
Элементы – это координаты или компоненты вектора.
Нумерация элементов производится слева направо.
Векторы (а1 , а2), (а1 , а2 , а3), (а1 , а2 , а3 ,…) называют соответственно двойка, тройка, энка.
Количество элементов в векторе называется длиной вектора.
Равные векторы: два вектора (а1 , а2 , а3 ,…, аn) и (b1 , b2 ,…, bm) равны тогда и только тогда, когда n = m и а1 = b1 , а2 = b2 , …, аn = bm .
Пример: {1, 2} = {2, 1, 1} = {2, 1}, но (1, 2) (2, 1, 1) (2, 1). Только (1, 2) = (1, 2).
Прямое произведение множеств.
Прямым (декартовым) произведением множеств А и В называется множество всех пар (а, в) таких, что а А и в В.
Обозначение:
А
В.
Если А = В, то А В =А2 и называется декартовым квадратом.
Приведем формулировку определения прямого произведения n множеств:
Прямое
произведение множеств А1 , А2 , …, Аn есть
множество всех векторов (а1 , а2 , а3 ,…,
аn) длины n таких , что а1
А1 , а2
А2 , …,
Аn
.
Если А1 = А2 = … = Аn , то А1 А2 … Аn = Аn и называется декартовой степенью.
Теорема о мощности прямого произведения множеств.
Пусть
- конечные множества. Соответственно
мощности этих множеств равны:
Тогда
мощность прямого произведения
множеств
равна произведению мощностей
соответствующих множеств, т.е.
Доказательство методом математической индукции.
Для
теорема тривиально верна. Предположим,
что она верна и для
и докажем ее справедливость для
По
предположению
. Возьмем любой вектор
из
и припишем справа элемент
. Это можно сделать
способом, т. е. получим
различных векторов из
.
Таким
образом, из всех
векторов приписыванием справа элемента
из
можно получить
векторов, причем все они различны.
Поэтому для
теорема верна и, следовательно, верна
для любых
.
Следствие:
3. Понятие соответствия между множествами.
Определение. Соответствием между множествами А и В называется некоторое подмножество G их декартова произведения: G= А В.
Если
(a;b)
, то говорят, что b
соответствует a
при соответствии | А
В.|=G
. При этом множество всех таких называют
областью определения соответствия , а
множество соответствующих значений
называются областью значений соответствия
. В принятых обозначениях, каждый элемент
, соответствующий данному элементу
называется образом при соответствии ,
наоборот, элемент называется прообразом
элемента при данном соответствии.
Соответствие называется полностью определённым, если , то есть каждый элемент множества имеет хотя бы один образ во множестве ; в противном случае соответствие называется частичным.
Соответствие называется сюръективным, если , то есть если каждому элементу множества соответствует хотя бы один прообраз во множестве .
Соответствие называется функциональным (однозначным), если любому элементу множества определения соответствует единственный элемент множества значения.
Соответствие называется инъективным, если оно является функциональным, и при этом каждый элемент множества имеет не более одного прообраза.
Соответствие называется взаимнооднозначным (биективным), если любому элементу множества соответствует единственный элемент множества , и наоборот. Можно сказать также, что соответствие является взаимнооднозначным, если оно является полностью определённым, сюръективным, функциональным, и при этом каждый элемент множества имеет единственный прообраз.