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

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

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

Семинаристы