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

Модели вычислений — 1

2019 – 2020, V, VII семестр

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

Изучение математических моделей вычисления началось с таких моделей, как машина Тьюринга — именно эти модели послужили основой для возникновения компьютеров и языков программирования.
В последующие годы изучалось множество иных моделей вычисления, чаще более слабых и иногда более сильных.  Эти модели предназначены описывать разнообразные вычислительные процессы в широком смысле этого слова — начиная от работы всевозможных инженерных объектов и заканчивая природными явлениями, развивающимися во времени и рассматриваемыми в качестве вычислений. Для этого вводятся и изучаются абстрактные вычислительные устройства с определёнными ограниченными структурами данных, параллельные вычисления, вычисления в реальном времени, бесконечные вычисления, и т.д.  Изучение свойств наиболее удачных моделей вычисления, а также рассмотрение новых моделей — это развивающаяся область исследований.

Спецсеминар будет проводиться в формате докладов: участники будут получать научные работы — как классические, так и недавние — разбираться в них и делать доклады.