Участник:PodymovVV — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) |
PodymovVV (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
{{DISPLAYTITLE:Подымов Владислав Васильевич}} | {{DISPLAYTITLE:Подымов Владислав Васильевич}} | ||
| − | [[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, | + | [[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, научный сотрудник |
* e-mail: valdus@yandex.ru | * e-mail: valdus@yandex.ru | ||
Версия 20:44, 8 июля 2019
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
Лекционные курсы
- Математическая логика и логическое программирование (группа 318)
- Математическая логика и теория алгоритмов
- Математические методы верификации схем и программ
- Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- Языки описания схем
