Лекция дискрет 13

14.Изоморфизм алгебр. Теорема о существовании обратного изоморфизма.

15.Фундаментальные алгебры типа (2). Полугруппы и группы действительных квадратных матриц фиксированного порядка.

16.Фундаментальные алгебры типа (2,2) на множествах действительных чисел и действительных квадратных матриц фиксированного порядка.

17.Алгебры преобразований. Теорема Кэли.

18.Логические функции. Разложение логических функций по переменным в дизъюнктивном виде. Совершенная дизъюнктивная нормальная форма логической функции.

19.Логические функции. Разложение логических функций по переменным в конъюнктивном виде. Совершенная конъюнктивная нормальная форма логической функции.

20.Функционально полные системы логических функций. Признак функциональной

полноты.

21.Булева алгебра логических функций. Свойства булевских операций.

22.Изоморфизм алгебр. Теорема о изоморфизме булевых алгебр множеств и двоичных

векторов.

23.Изоморфизм алгебр. Теорема о изоморфизме булевых алгебр множеств и логических

функций.

24.Логические функции. Принцип двойственности.

25.Логические функции. Алгебра Жегалкина и свойства её операций. Представление логической функции полиномом Жегалкина (пример).

26.Логические функции. Алгебра Жегалкина и свойства её операций. Алгебра Жегалкина как фундаментальная алгебра типа (2,2).