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