Темы мини-курсов:
- Тема 1: Алгоритмы для NP-трудных задач
- Тема 2: Верификация программ
- Презентация лекции "Темпоральные логики" [PDF, 300kb]
- "Темпоральные логики", четыре слайда на страницу [PS, 1mb],
- Конспект! [PDF],
- Презентация лекции "Символьная верификация моделей" [PDF, 300kb],
- "Символьная верификация моделей", четыре слайда на страницу [PDF],
- Конспект! [PDF],
- Тема 3: Алгоритмы для поисковых систем
- Тема 4: Распознавание образов
- Тема 5: Квантовые вычисления
Конспекты:
- 21 сентября - Игорь Синев
- 28 сентября - Олег Рыбак
- 5 октября - Михаил Смачных
- 12 октября - Сергей Вишняков
- 19 октября - Дмитрий Кочелаев
- 26 октября - Александр Киракозов
- 2 ноября - Андрей Вокин
- 9 ноября - Дмитрий Паращенко
- 16 ноября - Лашманов Валерий
- 23 ноября - Магомедов Тимур
- 30 ноября - Илья Пименов
- 7 декабря - Евгений Решетников
- 14 декабря - Яминов Булат
|
|
Темы для семинара:
- Тема 1: Как делать хорошие доклады
Источники: Parberry,
Peyton-Jones,
Danvy
Докладчик: Илья Колыхматов. Слайды доклада.
- Тема 2: Алгоритм Кармаркара для линейного программирования
Источники: Лекция Э.А.Гирша
Докладчик: Роман Сатюков, Нужны ссылки! (конспект - Владимир Данилов)
Электронный конспект "Алгоритм Кармаркара" [PDF],
- Тема 3: Алгоритм "K официантов"
Источники: Конспект лекций Э.А.Гирша, стр. 10-14
Докладчик: Вадим Козлов, Слайды доклада.
- Тема 4: Введение в колмогоровскую сложность
Источник: Книга Александра Шеня
Докладчик: Сергей Косухин, Презентация не сдана!! (конспект Антон Яковлев)
- Тема 5: Алгоритмы для построения теней
Источники: A Survey of Shadow Algorithms
Докладчик: Михаил Меретяков, Презентация не сдана!! (конспект - Илья Варвалюк)
- Тема 6: Полиномиальный тест на простоту числа
Источники: PRIMES is in P
Докладчик: Ольга Комалева, Слайды доклада. , (конспект Алексей Глушков)
- Тема 7: Вычислительные аспекты лингвистики
Источники: Speech and Language Processing
Докладчик: Федор Царев, Слайды доклада., (конспект Александр Островский)
- Тема 8: Алгоритмы для теории игр
Источники: Computational Game Theory
Докладчик: Михаил Лукин, Слайды доклада.
- Тема 9: Введение в стеганографию
Источники: Information hiding
Докладчик: Денис Захаров, Презентация не сдана!!
- Тема 10: Support Vector Machines
Источники: Tutorial on SVM,
Another one and
Series of slides
Докладчик: Алексей Зезюкин, Презентация не сдана!!
- Тема 11: Введение в нейронные сети
Источники: Russian book on neural nets,
Докладчик: Андрей Потемкин, Презентация не сдана!!
- Тема 12: Мультиагентные системы
Источники: Course on MAS,
Докладчик: Федор Подтелкин, Презентация не сдана!!
|
