Страница лекции на сайте Computer Science клуба

Страница лекции на сайте Computer Science клуба

Страница лекции на сайте Computer Science клуба

Страница лекции на сайте Computer Science клуба

Страница лекции на сайте Computer Science клуба

SAT-based software model checking.

Introduction to model checking: system modeling and logic specifications.

Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking.

Курс о фундаментальных основах криптографии.

Вероятностное округление для задачи о потоке в сетях с несколькими веществами.

Дополняющие пути, случай двудольных графов, общий случай.

Метод Форда-Фалкерсона, алгоритм проталкивания предпотока, алгоритм «поднять-в-начало».

Курс о фундаментальных основах криптографии.

Курс о фундаментальных основах криптографии.

Метод условных вероятностей, метод малых пространств событий.

Дополняющие пути, случай двудольных графов, общий случай.

Алгоритм и оценки времени его работы в худшем и среднем случае.

Алгоритм Кармаркара

Постановка задачи полуопределённого программирования, приближённый алгоритм для задачи о максимальном разрезе, раскраска 3–раскрашиваемого графа.

Задача о выборе заявок, коды Хаффмена, покрытие множествами, вершинное покрытие, локальный поиск для задачи выполнимости.

Наибольшая возрастающая подпоследовательность, стоимость редактирования, рюкзак, перемножение нескольких матриц, кратчайшие пути, независимые множества в...

Наибольшая возрастающая подпоследовательность, стоимость редактирования, рюкзак, перемножение нескольких матриц, кратчайшие пути, независимые множества в...

Андрей Вознесенский –  русский поэт, прозаик, художник, архитектор. Один из самых известных поэтов-шестидесятников.

Тема лекции – это поведение брома при атаке его молекулами хрома. Это в простонародье известно, как «закон Майкельсона-Шварца».