Механико-математический факультет

Осенний семестр 2015/2016 уч. года: среда, 16:45, ауд. 12-13.

Аннотация.

В курсе рассматриваются различные подходы к описанию замкнутых классов функций многозначной логики. Доказывается теорема Поста о конечной порожденности замкнутых классов булевых функций, приводится описание всех замкнутых классов. Изучаются семейства предполных классов функций k-значной логики; рассматривается ряд других семейств классов.

Современные управляемые языки программирования, суббота, 5 пара, 802 2 Уч. корпус

В курсе изучаются языки программирования Java и C# и основы объектно-ориентированного программирования в применении к реализации эффективных алгоритмов и структур данных.

Темы курса:

Тема 1. Введение
Тема 2. Анализ алгоритмов. Задачи сортировки
Тема 3. Рекурсивные алгоритмы
Темы 4-5. Алгоритмы на графах
Темы 6-8. Числовые и криптографические алгоритмы
Тема 9. Динамическое программирование
Тема 10. Линейное программирование
Тема 11. Квантовые алгоритмы

понедельник с 18:15 в аудитории 14-13.

для студентов 3-5 курса и аспирантов, 1 год. Вторник, 18620, ауд. 14-05.