1.Двудольные графы. Методика проверки графа на двудольность

1.Двудольные графы. Методика проверки графа на двудольность. Полный двудольный граф.
2.Плоские графы
3.Понятие об алгоритме. Тьюрингов подход к понятию алгоритма. Машины Тьюринга, их сочетания.
4.Базовые множества для автомата: входной алфавит, выходной алфавит, множество состояний.
5.Правильный автомат (автомат Мура).
6.Граф автомата.
7.Основные операции над множествами: пересечение, объединение, дополнение, разность множеств.
8.Критерий однозначности декодирования.
9.Графы, орграфы и их основные характеристики. Способы задания графа.
10.Понятие формулы логики.
11.Понятие множества.
12.Операции над предикатами. Кванторы. Формулы логики предикатов.
13.Булевы переменные и булевы функции.
14.Равенство булевых функций.
15.Функции от 1-й и 2-х переменных, их приложения к алгебре логики и релейно-контактным схемам
16.Теорема о числе булевых функций от n-переменных. Представление функций формулами.
17.Бинарные отношения и их свойства.
18.Принцип метода математической индукции.
19.Таблица автомата. Принцип работы автомата. Диаграмма автомата. Словарная функция автомата. Финальная функция автомата.
20.Понятие об n-арном отношении.