Участник:PodymovVV — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) |
PodymovVV (обсуждение | вклад) |
||
| Строка 15: | Строка 15: | ||
* [[Математическая логика и логическое программирование (группа 318)]] | * [[Математическая логика и логическое программирование (группа 318)]] | ||
| + | * [[Математическая логика и теория алгоритмов]] | ||
| + | * [[Математические методы верификации схем и программ]] | ||
| + | * [[Математические модели и методы проектирования архитектуры сверхбольших интегральных схем]] | ||
| + | * [[Языки описания схем]] | ||
== Спецсеминары == | == Спецсеминары == | ||
* [[Теоретические проблемы программирования]] | * [[Теоретические проблемы программирования]] | ||
| − | |||
| − | |||
Версия 13:42, 19 сентября 2017
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
Лекционные курсы
- Математическая логика и логическое программирование (группа 318)
- Математическая логика и теория алгоритмов
- Математические методы верификации схем и программ
- Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- Языки описания схем
