ЛГТУ
Поиск в глубину.
Поиск в ширину.
Алгоритм Краскала.
Алгоритм Прима.
Алгоритм Дейкстра.
Алгоритм Флойда.
Поток в транспортной сети.
Алгоритм нахождения полного потока в транспортной сети.
Орграф приращений.
Разрез. Пропускная способность разреза.
Алгоритм нахождения максимального потока в транспортной сети.
Высказывание. Логические операции. Приоритет операций. Формулы алгебры высказываний.
Равносильность формул.
Закон двойственности.
Тождественно истинные и ложные формулы.
Нормальные формы.
Совершенные нормальные формы.
Представление булевой функции формулой алгебры высказывания. Таблицы истинности.
Алгебра Жегалкина.
Дифференцирование булевых функций.
Разложение булевой функции в заданной точке пространства.
Теорема о функциональной полноте (теорема Поста). Примеры функционально-полных базисов.
Минимизация функций аналитическим путем.
Карты Карно.
Метод Квайна – Мак-Класски.
Схемы из функциональных элементов.
Понятие конечного автомата. Автоматы Мили и Мура.
Способы задания конечного автомата.
Расширение функций переходов и выходов на множество входных слов.
Автоматное отображение.
Представление конечных автоматов матрицами соединений.
Дерево конечного автомата.
Основные формулы комбинаторики.
Биномиальные коэффициенты. Бином Ньютона.
Алфавитное кодирование. Таблица кодов.
Кодирование с минимальной избыточностью.
Коды с обнаружением и исправлением ошибок.
Целые числа и полиномы.
Рекуррентные уравнения.
Также доказательства теорем.
Поиск в глубину.
Поиск в ширину.
Алгоритм Краскала.
Алгоритм Прима.
Алгоритм Дейкстра.
Алгоритм Флойда.
Поток в транспортной сети.
Алгоритм нахождения полного потока в транспортной сети.
Орграф приращений.
Разрез. Пропускная способность разреза.
Алгоритм нахождения максимального потока в транспортной сети.
Высказывание. Логические операции. Приоритет операций. Формулы алгебры высказываний.
Равносильность формул.
Закон двойственности.
Тождественно истинные и ложные формулы.
Нормальные формы.
Совершенные нормальные формы.
Представление булевой функции формулой алгебры высказывания. Таблицы истинности.
Алгебра Жегалкина.
Дифференцирование булевых функций.
Разложение булевой функции в заданной точке пространства.
Теорема о функциональной полноте (теорема Поста). Примеры функционально-полных базисов.
Минимизация функций аналитическим путем.
Карты Карно.
Метод Квайна – Мак-Класски.
Схемы из функциональных элементов.
Понятие конечного автомата. Автоматы Мили и Мура.
Способы задания конечного автомата.
Расширение функций переходов и выходов на множество входных слов.
Автоматное отображение.
Представление конечных автоматов матрицами соединений.
Дерево конечного автомата.
Основные формулы комбинаторики.
Биномиальные коэффициенты. Бином Ньютона.
Алфавитное кодирование. Таблица кодов.
Кодирование с минимальной избыточностью.
Коды с обнаружением и исправлением ошибок.
Целые числа и полиномы.
Рекуррентные уравнения.
Также доказательства теорем.