Курсы

Семестр Дата начала Название курса Лектор #Пар Язык
1 весна 2012 16.06.2012 Локальное декодирование С. Еханин 5 русский
2 весна 2012 24.03.2012 Теория кодирования А. Е. Ромащенко 10 русский
3 весна 2012 18.03.2012 Верификация параллельных и распределенных программных систем Ю. Г. Карпов 3 русский
4 весна 2012 25.02.2012 Информационный поиск изнутри Д. Расковалов 4 русский
5 весна 2012 19.02.2012 Вероятностные методы в вычислениях Д. М. Ицыксон 12 русский
6 весна 2012 19.02.2012 Computer Science семинар (весна 2012) 10 русский
7 весна 2012 14.02.2012 Сложность вычислений и основы криптографии Э. А. Гирш 12 русский
8 весна 2012 08.02.2012 Введение в метаматематику А. Бовыкин 8 русский
9 осень 2011 15.10.2011 Введение в комбинаторику слов А. Э. Фрид 5 русский
10 осень 2011 18.09.2011 Computer Science семинар (осень 2011) 12 русский
11 осень 2011 18.09.2011 Компьютерная графика В. А. Галинский 12 русский
12 осень 2011 18.09.2011 Семинар по сложности булевых функций А. С. Куликов 12 русский
13 осень 2011 14.09.2011 Вычислимость и логика Д. М. Ицыксон 12 русский
14 осень 2011 11.09.2011 Модели веб-графов и их приложения А. М. Райгородский 3 русский
15 весна 2011 16.04.2011 Линейное программирование М. А. Бабенко 10 русский
16 весна 2011 02.04.2011 Квантовые алгоритмы: возможности и ограничения М. Н. Вялый 10 русский
17 весна 2011 19.03.2011 Параметризованные алгоритмы Ф. Фомин 4 русский
18 весна 2011 27.02.2011 Системы типизации лямбда-исчисления Д. Н. Москвин 12 русский
19 весна 2011 27.02.2011 Computer Science семинар (весна 2011) 10 русский
20 весна 2011 20.02.2011 Компьютерное зрение и библиотека OpenCV В. Л. Ерухимов 3 русский
21 осень 2010 27.11.2010 Анализ поисковых запросов П. Браславский 4 русский
22 осень 2010 13.11.2010 Синхронизируемые автоматы М. В. Волков 10 русский
23 осень 2010 17.10.2010 Program Analysis for Security B. Livshits 3 английский
24 осень 2010 10.10.2010 Проблема изоморфизма графов И. Н. Пономаренко 10 русский
25 осень 2010 25.09.2010 Онтология и представление знаний Б. Ю. Конев 10 русский
26 осень 2010 19.09.2010 Семантическая классификация изображений А. Конушин 2 русский
27 осень 2010 12.09.2010 Функциональное программирование Е. Р. Кирпичёв 12 русский
28 осень 2010 09.09.2010 Теория сложности доказательств Э. А. Гирш 12 русский
29 осень 2010 22.08.2010 Computer Science семинар (осень 2010) 7 русский
30 весна 2010 18.08.2010 Ubiquitous Computing - Vision, Technology, and Implications M. Langheinrich 3 английский
31 весна 2010 28.05.2010 Distributed Information Retrieval F. Crestani 2 английский
32 весна 2010 22.05.2010 Software Verification Н. Шарыгина 2 английский
33 весна 2010 22.05.2010 From Object Replication to Database Replication F. Pedone 2 английский
34 весна 2010 08.05.2010 Введение в биоинформатику М. Капущевский 8 русский
35 весна 2010 02.05.2010 Оптимизация энергии в задачах компьютерного зрения и алгоритмы на графах В. Лемпицкий 2 русский
36 весна 2010 25.04.2010 Тестирование на основе моделей В. Кулямин 3 русский
37 весна 2010 11.04.2010 Теория динамических игр А. В. Савватеев 2 русский
38 весна 2010 03.04.2010 Дополнительные главы теории паросочетаний М. А. Бабенко 5 русский
39 весна 2010 21.02.2010 О современных методах автоматической формальной верификации аппаратного обеспечения А. А. Кожевников 2 русский
40 весна 2010 14.02.2010 Десятая проблема Гильберта. Решение и применения в информатике Ю. В. Матиясевич 10 русский
41 весна 2010 14.02.2010 Виртуализация и виртуальные машины Н. Иготти 12 русский
42 весна 2010 31.01.2010 Алгоритмы на графах А. Гольдберг 3 русский
43 осень 2009 10.10.2009 Формальные языки и синтаксический анализ А. Охотин 10 русский
44 осень 2009 20.09.2009 Криптографические протоколы С. И. Николенко 11 русский
45 осень 2009 20.09.2009 Математические основы Computer Science Д. М. Ицыксон 11 русский
46 осень 2009 13.09.2009 Алгоритмы для NP-трудных задач А. С. Куликов 12 русский
47 весна 2009 28.03.2009 Экспандеры и их применения А. Е. Ромащенко 10 русский
48 весна 2009 28.02.2009 Коммуникационная сложность Н. К. Верещагин 10 русский
49 весна 2009 22.02.2009 Computer Science семинар 11 русский
50 весна 2009 22.02.2009 Параллельное программирование Р. Елизаров 7 русский
51 весна 2009 15.02.2009 Вычислительно трудные задачи и дерандомизация Д. М. Ицыксон 12 русский
52 осень 2008 05.10.2008 Теория экономических механизмов С. И. Николенко 12 русский
53 осень 2008 28.09.2008 Структурная теория сложности Э. А. Гирш 12 русский
54 осень 2008 21.09.2008 Вводный курс Д. М. Ицыксон 2 русский
55 осень 2008 07.09.2008 Алгоритм Тарского Ю. В. Матиясевич 2 русский
56 осень 2008 09.06.2008 Алгоритмическая теория информации А. Шень 10 русский
57 весна 2008 17.05.2008 Криптографические хэш-функции И. Миронов 5 русский
58 весна 2008 09.05.2008 Web Research Ю. М. Лифшиц 4 русский
59 весна 2008 01.05.2008 Software Verification Н. Шарыгина 4 английский
60 весна 2008 01.05.2008 Software Testing M. Pezze 3 английский
61 весна 2008 26.04.2008 Networking A. Carzaniga 3 английский
62 весна 2008 26.04.2008 Distributed Algorithms F. Pedone 4 английский
63 весна 2008 02.03.2008 Самообучающиеся системы С. И. Николенко 11 русский
64 весна 2008 17.02.2008 Сложностная криптография Э. А. Гирш 8 русский
65 осень 2007 21.10.2007 Введение в моделирование и верификацию аппаратных и программных систем Б. Ю. Конев 10 русский
66 осень 2007 23.09.2007 Эффективные алгоритмы А. С. Куликов 21 русский
67 осень 2007 23.09.2007 Вводный курс Д. М. Ицыксон 4 русский