Мини-курс Дмитрия Чистикова "Введение в теории линейной арифметики"
С 31 августа по 01 сентября 2018 года Дмитрий Чистиков прочтет мини-курс "Введение в теории линейной арифметики".
Место проведения: Факультет компьютерных наук, Кочновский проезд, 3.
Язык мини-курса: русский
Расписание мини-курса:
31 августа, 12:10-15:00, ауд. 400
01 сентября, 12:10-13:30, ауд. 503
Приглашаются все желающие.
Заказ пропуска: evavilova@hse.ru
Аннотация
- введение в геометрию выпуклых многогранников;
- арифметика Пресбургера и полулинейные множества;
- вопросы выразимости и алгоритмы.