С 24 по 26 апреля пройдут лекции заключительного курса весеннего семестра Computer Science клуба 'Основы теории вычислимости и сложность вычислений'.
Виктор Львович Селиванов проведет серию лекций на тему "Основы теории вычислимости и сложность вычислений".
Виктор Львович - заслуженный работник высшей школы РФ, почетный работник науки и техники РФ, главный научный сотрудник лаборатории теоретического программирования Института систем информатики им. А.П. Ершова СО РАН.
Научные интересы В.Л. Селиванова лежат в области математической логики, теории вычислений, теории автоматов, теории сложности и вычислимости в анализе и топологии. Его работы посвящены, в основном, теории вычислимости, иерархиям регулярных языков и сверхъязыков, теории областей Ершова - Скотта, в частности - классификации объектов в указанных областях с помощью сводимостей и определимости. Исследования ведутся в контакте с рядом известных отечественных и зарубежных специалистов в указанных областях.
Место и время:
24 апреля - 15:20 в ауд.1011
Все лекции пройдут по адресу: ул. Кремлевская, д.35