Институт системного программирования им. В.П. Иванникова РАН


Математическая логика

К.ф.-м.н. Захаров В.А. ВМК МГУ, МФТИ.

Курс группы

Теоретическая информатика

Перейти к учебным курсам ИСП РАН