Теоретические проблемы программирования — различия между версиями
Материал из Кафедра математической кибернетики
(→Руководители) |
|||
| Строка 13: | Строка 13: | ||
== Руководители == | == Руководители == | ||
| − | <-- * [[Подловченко Римма Ивановна]] --> | + | <!-- * [[Подловченко Римма Ивановна]] --!> |
* [[Захаров Владимир Анатольевич]] | * [[Захаров Владимир Анатольевич]] | ||
* [[Подымов Владислав Васильевич]] | * [[Подымов Владислав Васильевич]] | ||
Версия 13:40, 23 сентября 2018
Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 612.
Начало работы спецсеминара 28 сентября 2018 г.
Тематика семинара
Математические модели программ и вычислений.
Формальные методы анализа и верификации программ.
Проблема эквивалентности и эквивалентных преобразований в моделях вычислений.
в 2014-15 учебном году семинар проводился совместно с научно-исследовательским семинаром Математическая криптография (рук. М.И. Анохин, Н.П. Варновский).
