Видео

Разбираем пример схемы Эль-Гамаля на группе эллиптических кривых в Sage

Рассмотрели криптосистему RSA и ее простую реализацию в Sage

Доказали замкнутость регулярных языков относительно регулярных операций и доказали лемму о разрастании.

Рассмотрели понятие регулярного языка и регулярных операций, ввели понятие недетерминированного конечного автомата

В лекции приведены примеры конечных автоматов и их формальное определение

Вспомнили какие темы рассматривалиьс в течение семестра

Разобрали два алгоритма на взвешенных графах: поиск кратчайшего пути (алгоритм Дейкстры) и построение минимального остовного дерева

Ввели понятие дерева, некоторые свойства деревьев. Рассмотрели построение кода Хаффмана

Рассмотрели первые понятия теории графов. Неориентированные графы, способы задания графов и теорему о существовании Эйлерова цикла.

Рассмотрели понятие мощности множества. Счетные и несчетные множества

Расмотрели понятие отношения. Ввели понятие функции

В этой части рассмотрели базовые операции над множествами

Рассмотрели понятие полноты и алгоритм построения ДНФ

Обсудили что такое аксиоматический подход и что понимается под правильными умозаключениями

8. Предикаты и кванторы

7. Алгебра высказываний

3. Границы кодов

1. Алгебраическая теория кодирования. Введение

4. Жизненный цикл проекта

1. История управления проектами

5. Условная вероятность. Характеристики случайной величины

4. Элементарная теория вероятности

Лекция 3. Комбинаторика (продолжение)

Лекция 2. Введение в комбинаторику

4.3 Построение БХЧ кода в Sage