Дискретка / diskretka
.pdf1. Множества. Операции над множествами. Характеристический вектор множества. Теорема о характеристических векторах
множеств. Теорема о числе подмножеств n- элементного множества.
2. Декартово произведение множеств. Бинарные отношения. Способы задания бинарных отношений. Теорема о матрицах бинарных
отношений. Срезы бинарного отношения, первая и вторая проекции бинарного отношения, 1- и 2- полные отношения, взаимно-однозначные от-ношения, отображения, инъекции, сюрьекции и биекции.
3. Типы бинарных отношений
4. Эквивалентности. Разбиение множества. Классы эквивалентности, фактормножество. Ос-новная теорема об эквивалентностях.
5. Отношения порядка, диаграмма упорядоченного множества.
6. Конечный детерминированный автомат, способы задания автомата. Расширенные функции переходов и выходов.
Сравнимые автоматы. Изоморфизм автоматов. Теорема о изоморфизме автоматов.