• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Образовательная деятельность:

В настоящее время сотрудники лаборатории участвуют в преподавании курса дискретной математики на бакалаврской образовательной программе Прикладная математика и информатика факультета компьютерных наук. Также сотрудники лаборатории участвуют в проведении научно-исследовательского семинара по теоретической информатике, вычислительной логике и искусственному интеллекту для студентов этой образовательной программы. 

Заведующий лаборатории Н.К. Верещагин читает курс по теоретическим основам компьютерных наук в аспирантской школе факультет компьютерных наук. 

Наконец, сотрудники лаборатории ведут руководство курсовыми и выпускными квалификационными работами бакалавров и магистров НИУ ВШЭ. 

В учебном году 2016/2017 планируется расширения преподавательской нагрузки сотрудников лаборатории на программе Прикладная математика и информатика. В перспективе сотрудников лаборатории планируется использовать для преподавания более продвинутых курсов по теоретической информатике и смежным областям. 

Также для чтения курсов, циклов лекций и участия в работе научно-исследовательского семинара планируется привлекать в лабораторию зарубежных ученых с короткими визитами.


Список мини курсов за 2017 г:
Mini-course "Asymmetric Communication Complexity". Lecturer: Bruno Loff (University of Porto)
Mini-course "
The matching problem: Approaches, applications, and algorithms". Lecturer: Stephen Fenner (The University of South Carolina)
Mini-course "Topics in Game Theory". Lecturer: Vladimir Gurvich (Rutgers University, HSE)

Список лекций за 2017 г:
Лекция "Time-space tradeoffs". Докладчик: Tomislav Petrovic (Boston University, USA)

Список мини курсов за 2016 г:
Мини курс "Метрическая геометрия и ее приложения в Computer Science" Ю.Макарычева (Технологический институт Toyota, Чикаго)
Мини курс "Коды с локальными процедурами декодирования" С.М. Еханина (Microsoft Research)
Мини курс "Элементы теории игр" В.А. Гурвича (Университет Ратгерс, ВШЭ)

Список лекций за 2016 г:
Лекция "Сложность доказательств" В.В. Опарина (СПБАУ)
Лекция "Теоремы об иерархии по времени" А.А. Кнопа (ПОМИ РАН)


 


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!