• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Тел.: +7 (495) 772-95-90 * 12332

computerscience@hse.ru

125319, Москва, Кочновский проезд, д. 3 (недалеко от станции метро "Аэропорт"). 

 

Руководство

Декан — Аржанцев Иван Владимирович

 

Первый заместитель декана факультета — Вознесенская Тамара Васильевна

 

Заместитель декана по научной работе и международным связям — Объедков Сергей Александрович

 

Заместитель декана по административно-финансовой работе — Плисецкая Ирина Александровна

Мероприятия
Образовательные программы
Бакалаврская программа

Прикладная математика и информатика

4 года
Очная форма обучения
100/80/15
100 бюджетных мест
80 платных мест
15 платных мест для иностранцев
RUS
Обучение ведётся на русском языке
Бакалаврская программа

Программа двух дипломов НИУ ВШЭ и Лондонского университета "Прикладной анализ данных"

4 года
Очная форма обучения
50/10
50 платных мест
10 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Бакалаврская программа

Программная инженерия

4 года
Очная форма обучения
80/80/15
80 бюджетных мест
80 платных мест
15 платных мест для иностранцев
RUS
Обучение ведётся на русском языке
Магистерская программа

Анализ данных в биологии и медицине

2 года
Очная форма обучения
15/5/3
15 бюджетных мест
5 платных мест
3 платных места для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Математические методы оптимизации и стохастики

2 года
Очная форма обучения
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Науки о данных

2 года
Очная форма обучения
55/15/6
55 бюджетных мест
15 платных мест
6 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Системная и программная инженерия

2 года
Очная форма обучения
20/10/12
20 бюджетных мест
10 платных мест
12 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Системное программирование

2 года
Очная форма обучения
20/10/5
20 бюджетных мест
10 платных мест
5 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Статистическая теория обучения

2 года
Очная форма обучения
20/5/5
20 бюджетных мест
5 платных мест
5 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Финансовые технологии и анализ данных

2 года
Очная форма обучения
30/3
30 платных мест
3 платных места для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Статья
Colourings of Uniform Hypergraphs with Large Girth and Applications

Shabanov D. S., Kupavskii A.

Combinatorics Probability and Computing. 2017.

Глава в книге
A Fast Scaling Algorithm for the Weighted Triangle-Free 2-Matching Problem

Artamonov S., Babenko M. A.

In bk.: Combinatorial Algorithms. 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers. Vol. 9538. Switzerland: Springer International Publishing, 2016. P. 25-37.

Глава в книге
Any-Angle Pathfinding for Multiple Agents Based on SIPP Algorithm

Yakovlev K., Andreychuk A.

In bk.: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017). Palo Alto: AAAI Press, 2017. P. 586-594.

Статья
Cohomology of toric origami manifolds with acyclic proper faces

Ayzenberg A., Masuda M., Park S. et al.

Journal of Symplectic Geometry. 2017. Vol. 15. No. 3. P. 645-685.

Междисциплинарный семинар САЕ «Математика, компьютерные науки и информационные технологии»

12 декабря 2017 года состоится очередной междисциплинарный научный семинар САЕ «Математика, компьютерные науки и информационные технологии», на котором сотрудники факультета математики представят доклады о своих научных результатах.

Время проведения: 12 декабря, 16:30 – 19:00

Место проведения: Факультет компьютерных наук, Кочновский пр-д, д.3, ауд. 205

Программа семинара

Пахомов Федор Николаевич

Факультет математики: доцент

Теоремы об ускорении для арифметики Пресбургера

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


Вьюгин Илья Владимирович

Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН: Доцент

Полиномиальные уравнения на подгруппах

В докладе будут рассмотрены линейные и полиномиальные уравнения над полями положительной характеристики, например, над полем вычетов по простому модулю p. Нас будут интересовать верхние оценки числа решений таких уравнений P(x,y)=0, принадлежащих некоторой подгруппе мультипликативной группы поля. Такие оценки находят многочисленные применения как в теории чисел, так и в смежных теориях, некоторые из которых мы постараемся осветить.


Мариани Мауро

Факультет математики: доцент

Characterizing the fluctuations of some random dynamics: particles' systems and stochastic PDEs

The relevant quantities associated to several random systems (for instance the entropy or free energy in Statistical Physics), can be obtained via a sharp description of the fluctuations of such systems. I will try to explain why this can be thought as a problem of (constrained) minimization of the Kullback-Leibler divergence. As time allows, I will give some examples of systems (stochastic particles' systems, stochastic PDEs) where such description is possible.