Теоретические проблемы программирования
Материал из Кафедра математической кибернетики
Версия от 13:40, 23 сентября 2018; ZakharovVA (обсуждение | вклад)
Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 612.
Начало работы спецсеминара 28 сентября 2018 г.
Тематика семинара
Математические модели программ и вычислений.
Формальные методы анализа и верификации программ.
Проблема эквивалентности и эквивалентных преобразований в моделях вычислений.
в 2014-15 учебном году семинар проводился совместно с научно-исследовательским семинаром Математическая криптография (рук. М.И. Анохин, Н.П. Варновский).
