Описание:В курсе представлены наиболее широко известные и используемые математические модели существующих и перспективных информационных систем, описаны вычислительные возможности этих моделей и области их применения, рассмотрены основные алгоритмические проблемы построения и анализа введенных моделей. Курс состоит из 4 разделов: "Теория схем программ", "Сети Петри", "Алгебры взаимодействующих процессов", "Молекулярные и биологические модели вычислений".