Курсы

Семестр Дата начала Название курса Лектор #Пар Язык
1 осень 2015 14.11.2015 Квантовая криптография, хеширование, цифровая подпись 5 русский
2 осень 2015 09.09.2015 Параметризованные алгоритмы 14 русский
3 осень 2015 05.09.2015 Мини-курсы профессоров Университета Лугано 8 русский
4 весна 2015 04.04.2015 Введение в теорию информации 10 русский
5 весна 2015 18.03.2015 Комбинаторика слов и ее приложения 12 русский
6 весна 2015 28.02.2015 Лемма Ловаса и другие вероятностные доказательства существования 10 русский
7 весна 2015 17.02.2015 Принципы и интерпретация динамических языков программирования 8 русский
8 весна 2015 15.02.2015 Вероятностные методы в вычислениях 12 русский
9 весна 2015 11.02.2015 Криптографические протоколы 20 русский
10 осень 2014 25.10.2014 Сложность булевых функций 10 русский
11 осень 2014 21.09.2014 Семинар (осень 2014) 10 русский
12 осень 2014 21.09.2014 Матроиды и параметризованные алгоритмы 3 английский
13 осень 2014 14.09.2014 Алгоритмы обработки потоковых данных 8 русский
14 осень 2014 14.09.2014 Дополнительные главы алгоритмов 12 русский
15 осень 2014 10.09.2014 Основы вычислимости и теории сложности 12 русский
16 весна 2014 31.05.2014 Про "баги" два в одном 2 русский
17 весна 2014 29.03.2014 Визуализация графов 5 русский
18 весна 2014 23.02.2014 Суффиксные деревья: новые идеи и открытые проблемы 3 русский
19 весна 2014 16.02.2014 Параллельное программирование 13 русский
20 весна 2014 16.02.2014 Вычислительная геометрия 12 русский
21 весна 2014 12.02.2014 Семинар по параметризованным алгоритмам 12 русский
22 осень 2013 19.10.2013 Введение в архитектуру параллельных вычислений CUDA. Стандарт OpenACC 5 русский
23 осень 2013 28.09.2013 Автоматическое доказательство теорем 5 английский
24 осень 2013 15.09.2013 Что можно делать с вещественными числами и нельзя с целыми 10 русский
25 осень 2013 15.09.2013 Алгоритмы для NP-трудных задач 12 русский
26 осень 2013 12.09.2013 Обзорный курс по теоретической информатике 13 русский
27 осень 2013 10.09.2013 Основы дискретной математики 12 русский
28 весна 2013 24.02.2013 Алгоритмы в биоинформатике 12 русский
29 весна 2013 24.02.2013 Теория игр 12 русский
30 весна 2013 21.02.2013 Сложность вычислений и основы криптографии 12 русский
31 весна 2013 17.02.2013 Computer Science семинар (весна 2013) 10 русский
32 осень 2012 21.10.2012 Эффективные параллельные алгоритмы: методика BSP 3 русский
33 осень 2012 07.10.2012 Computer Science семинар (осень 2012) 10 русский
34 осень 2012 07.10.2012 Вероятностно проверяемые доказательства 12 русский
35 осень 2012 22.09.2012 Избранные темы Computer Science 10 русский
36 осень 2012 15.09.2012 Алгоритмы во внешней памяти 5 русский
37 осень 2012 14.09.2012 Анализ изображений и видео 12 русский
38 осень 2012 12.09.2012 Основы вычислимости и теории сложности 12 русский
39 весна 2012 16.06.2012 Локальное декодирование 5 русский
40 весна 2012 24.03.2012 Теория кодирования 10 русский
41 весна 2012 18.03.2012 Верификация параллельных и распределенных программных систем 3 русский
42 весна 2012 25.02.2012 Информационный поиск изнутри 4 русский
43 весна 2012 19.02.2012 Вероятностные методы в вычислениях 12 русский
44 весна 2012 19.02.2012 Computer Science семинар (весна 2012) 10 русский
45 весна 2012 14.02.2012 Сложность вычислений и основы криптографии 12 русский
46 весна 2012 08.02.2012 Введение в метаматематику 8 русский
47 осень 2011 15.10.2011 Введение в комбинаторику слов 5 русский
48 осень 2011 18.09.2011 Computer Science семинар (осень 2011) 12 русский
49 осень 2011 18.09.2011 Компьютерная графика 12 русский
50 осень 2011 18.09.2011 Семинар по сложности булевых функций 12 русский
51 осень 2011 14.09.2011 Вычислимость и логика 12 русский
52 осень 2011 11.09.2011 Модели веб-графов и их приложения 3 русский
53 весна 2011 16.04.2011 Линейное программирование 10 русский
54 весна 2011 02.04.2011 Квантовые алгоритмы: возможности и ограничения 10 русский
55 весна 2011 19.03.2011 Параметризованные алгоритмы 4 русский
56 весна 2011 27.02.2011 Системы типизации лямбда-исчисления 12 русский
57 весна 2011 27.02.2011 Computer Science семинар (весна 2011) 10 русский
58 весна 2011 20.02.2011 Компьютерное зрение и библиотека OpenCV 3 русский
59 осень 2010 27.11.2010 Анализ поисковых запросов 4 русский
60 осень 2010 13.11.2010 Синхронизируемые автоматы 10 русский
61 осень 2010 17.10.2010 Program Analysis for Security 3 английский
62 осень 2010 10.10.2010 Проблема изоморфизма графов 10 русский
63 осень 2010 25.09.2010 Онтология и представление знаний 10 русский
64 осень 2010 19.09.2010 Семантическая классификация изображений 2 русский
65 осень 2010 12.09.2010 Функциональное программирование 12 русский
66 осень 2010 09.09.2010 Теория сложности доказательств 12 русский
67 осень 2010 22.08.2010 Computer Science семинар (осень 2010) 7 русский
68 весна 2010 18.08.2010 Ubiquitous Computing - Vision, Technology, and Implications 3 английский
69 весна 2010 28.05.2010 Distributed Information Retrieval 2 английский
70 весна 2010 22.05.2010 Software Verification 2 английский
71 весна 2010 22.05.2010 From Object Replication to Database Replication 2 английский
72 весна 2010 08.05.2010 Введение в биоинформатику 8 русский
73 весна 2010 02.05.2010 Оптимизация энергии в задачах компьютерного зрения и алгоритмы на графах 2 русский
74 весна 2010 25.04.2010 Тестирование на основе моделей 3 русский
75 весна 2010 11.04.2010 Теория динамических игр 2 русский
76 весна 2010 03.04.2010 Дополнительные главы теории паросочетаний 5 русский
77 весна 2010 21.02.2010 О современных методах автоматической формальной верификации аппаратного обеспечения 2 русский
78 весна 2010 14.02.2010 Десятая проблема Гильберта. Решение и применения в информатике 10 русский
79 весна 2010 14.02.2010 Виртуализация и виртуальные машины 12 русский
80 весна 2010 31.01.2010 Алгоритмы на графах 3 русский
81 осень 2009 10.10.2009 Формальные языки и синтаксический анализ 10 русский
82 осень 2009 20.09.2009 Криптографические протоколы 11 русский
83 осень 2009 20.09.2009 Математические основы Computer Science 11 русский
84 осень 2009 13.09.2009 Алгоритмы для NP-трудных задач 12 русский
85 весна 2009 28.03.2009 Экспандеры и их применения 10 русский
86 весна 2009 28.02.2009 Коммуникационная сложность 10 русский
87 весна 2009 22.02.2009 Computer Science семинар 11 русский
88 весна 2009 22.02.2009 Параллельное программирование 7 русский
89 весна 2009 15.02.2009 Вычислительно трудные задачи и дерандомизация 12 русский
90 осень 2008 05.10.2008 Теория экономических механизмов 12 русский
91 осень 2008 28.09.2008 Структурная теория сложности 12 русский
92 осень 2008 21.09.2008 Вводный курс 2 русский
93 осень 2008 07.09.2008 Алгоритм Тарского 2 русский
94 осень 2008 09.06.2008 Алгоритмическая теория информации 10 русский
95 весна 2008 17.05.2008 Криптографические хэш-функции 5 русский
96 весна 2008 09.05.2008 Web Research 4 русский
97 весна 2008 01.05.2008 Software Verification 4 английский
98 весна 2008 01.05.2008 Software Testing 3 английский
99 весна 2008 26.04.2008 Networking 3 английский
100 весна 2008 26.04.2008 Distributed Algorithms 4 английский
101 весна 2008 02.03.2008 Самообучающиеся системы 11 русский
102 весна 2008 17.02.2008 Сложностная криптография 8 русский
103 осень 2007 21.10.2007 Введение в моделирование и верификацию аппаратных и программных систем 10 русский
104 осень 2007 23.09.2007 Эффективные алгоритмы 21 русский
105 осень 2007 23.09.2007 Вводный курс 4 русский