Теоретические проблемы программирования — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Руководители)
Строка 13: Строка 13:
  
 
== Руководители ==
 
== Руководители ==
<-- * [[Подловченко Римма Ивановна]] -->
+
<!-- * [[Подловченко Римма Ивановна]] --!>
 
* [[Захаров Владимир Анатольевич]]
 
* [[Захаров Владимир Анатольевич]]
 
* [[Подымов Владислав Васильевич]]
 
* [[Подымов Владислав Васильевич]]

Версия 13:40, 23 сентября 2018

Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 612.

Начало работы спецсеминара 28 сентября 2018 г.

Тематика семинара

Математические модели программ и вычислений.

Формальные методы анализа и верификации программ.

Проблема эквивалентности и эквивалентных преобразований в моделях вычислений.

в 2014-15 учебном году семинар проводился совместно с научно-исследовательским семинаром Математическая криптография (рук. М.И. Анохин, Н.П. Варновский).

Руководители