Участник:PodymovVV — различия между версиями
Материал из Кафедра математической кибернетики
Root (обсуждение | вклад) |
PodymovVV (обсуждение | вклад) м |
||
| Строка 5: | Строка 5: | ||
* [http://istina.msu.ru/profile/pellman/ Профиль в системе ИСТИНА] | * [http://istina.msu.ru/profile/pellman/ Профиль в системе ИСТИНА] | ||
| − | + | = [[Области научных интересов]] = | |
* Формальная верификация программ и цифровой аппаратуры | * Формальная верификация программ и цифровой аппаратуры | ||
| Строка 12: | Строка 12: | ||
* Временные автоматы | * Временные автоматы | ||
| − | + | = Лекционные курсы = | |
* [[Математическая логика (группы 318, 241)]] | * [[Математическая логика (группы 318, 241)]] | ||
| Строка 19: | Строка 19: | ||
* [[Языки описания схем]] | * [[Языки описания схем]] | ||
| − | + | = Спецсеминары = | |
* [[Теоретические проблемы программирования]] | * [[Теоретические проблемы программирования]] | ||
Текущая версия на 14:49, 3 июня 2026
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ и цифровой аппаратуры
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
Лекционные курсы
- Математическая логика (группы 318, 241)
- Математические методы верификации схем и программ
- Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- Языки описания схем
