Санкт-Петербург, 199178, Россия, 14-я линия Васильевского острова дом 29 Б
(812) 363-68-71, (812) 363-68-72
ru

Модели вычислений – 1, 2

2018 – 2019, V, VI, VII семестр

Информация по курсу

Изучение и обсуждение различных моделей вычисления в теоретической информатике, а также родственных им логических моделей и моделей синтаксиса. Усвоение современных методов исследований и основных мировых тенденций.


Программа курса