Юрий Лифшиц | Курс "Современные задачи теоретической информатики" (original) (raw)

Темы мини-курсов:

• Тема 1: Алгоритмы для NP-трудных задач
  • Презентация лекции "Экспоненциальные алгоритмы" [PDF],
  • Конспект! [PDF],
  • Презентация лекции "Открытые проблемы" [PDF],
  • "Открытые проблемы", четыре слайда на страницу [PS],
  • Конспект! [PDF],
• Тема 2: Верификация программ
  • Презентация лекции "Темпоральные логики" [PDF, 300kb]
  • "Темпоральные логики", четыре слайда на страницу [PS, 1mb],
  • Конспект! [PDF],
  • Презентация лекции "Символьная верификация моделей" [PDF, 300kb],
  • "Символьная верификация моделей", четыре слайда на страницу [PDF],
  • Конспект! [PDF],
• Тема 3: Алгоритмы для поисковых систем
  • Презентация лекции "Введение в поисковые системы" [PDF]
  • "Поисковые системы - 4 слайда на страницу" [PDF]
  • Конспект! [PDF],
  • Презентация лекции "Автоматическая классификация текстов" [PDF]
  • "Классификация текстов - 4 слайда на страницу" [PDF]
  • Конспект! [PDF],
• Тема 4: Распознавание образов
  • Презентация лекции "Статистические методы распознавания образов" [PDF]
  • "Статистические методы - 4 слайда на страницу" [PDF]
  • Конспект! [PDF],
  • Презентация лекции "Распознавание лиц" [PDF]
  • "Распознавание лиц - 4 слайда на страницу" [PDF]
  • Конспект! [PDF],
• Тема 5: Квантовые вычисления
  • Презентация лекции "Введение в квантовые вычисления" [PDF]
  • Конспект! [PDF],
  • Презентация лекции "Алгоритм Шора" [PDF]
  • Конспект! [PDF], Конспекты:
• 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 andSeries of slides
  Докладчик: Алексей Зезюкин, Презентация не сдана!!
• Тема 11: Введение в нейронные сети
  Источники: Russian book on neural nets,
  Докладчик: Андрей Потемкин, Презентация не сдана!!
• Тема 12: Мультиагентные системы
  Источники: Course on MAS,
  Докладчик: Федор Подтелкин, Презентация не сдана!!