|
Лекция №1:
|
Множества.
|
Краткое содержание лекции:
Понятие множества.
Способы задания множеств.
Операции над множествами.
Свойства множественных операций.
Декартово произведение множеств.
Некоторые свойства декартова произведения.
|
|
|
|
Лекция №2:
|
Соответствия, отображение множеств.
|
Краткое содержание лекции:
Соответствия между множествами.
Композиция двух соответствий.
Отображения и функции.
Операции над образами и прообразами отображений и их свойства.
Равномощность и мощность множеств.
|
|
|
|
Лекция №3:
|
Отношения.
|
Краткое содержание лекции:
Бинарные отношения.
Отношения эквивалентности.
Отношения упорядоченности.
Диаграммы Хассе.
|
|
|
|
Лекция №4:
|
Алгебраические действия общего типа.
|
Краткое содержание лекции:
Основные понятия.
Способы задания.
Свойства действий.
Простейшие алгебраические системы.
Подгруппы.
Кольца, тела, поля.
|
|
|
|
Лекция №5:
|
Теория графов.
|
Краткое содержание лекции:
Основные определения теории графов.
Способы задания графов.
Теоремы о степенях вершин и изоморфизм графов.
Подграфы.
Операции над графами.
|
|
|
|
Лекция №6:
|
Маршруты, пути и циклы в графах.
|
Краткое содержание лекции:
Маршруты, пути и цыклы.
Связность и компоненты графа.
Циклический и коциклический ранг графа.
Специальные графы.
Эйлеровы графы.
Гамильтовы графы.
|
|
|
|
Лекция №7:
|
Алгебра логики.
|
Краткое содержание лекции:
Функции алгебры логики.
Способы задания функций алгебры логики.
Таблицы истинности и элементарные функции.
|
|
|
|
Лекция №8:
|
Алгебра логики.
|
Краткое содержание лекции:
Эквивалентность функций.
Реализация функций формулами.
Эквивалентность формул и тождества.
Упрощение формул.
|
|
|
|
Лекция №9:
|
СКНФ, СДНФ, СПНФ функции.
|
Краткое содержание лекции:
Аналитическая запись функций алгебры логики.
Аналитическое построение СДНФ и СКНФ.
Теорема о тройке связок.
|
|
|
|
Лекция №10:
|
Полные системы функций и замкнутые классы функций.
|
Краткое содержание лекции:
Полные системы функций и полиномы Жегалкина.
Замыкание систем функций алгебры логики.
Важнейшие замкнутые классы.
Теорема Поста о полноте.
|
|
|
|
Лекция №11:
|
Минимизация булевых функций.
|
Краткое содержание лекции:
Основные понятия.
Аналитическое построение сокращённой ДНФ.
Геометрическое представление функций алгебры логики.
Локальные алгоритмы.
Алгоритм Куайна.
Диаграммы Вейча–Карно.
|
|
|