Участник:ZizovVS — различия между версиями

Версия 12:50, 13 мая 2025

Зизов Вадим Сергеевич

• e-mail: vzs815@gmail.com
• Профиль в системе ИСТИНА

Области научных интересов

• Формальная верификация программ и цифровой аппаратуры
• Проверка эквивалентности программ
• Программно-конфигурируемые сети
• Временные автоматы

Семинарские курсы

• Математическая логика (группы 318, 241)
• Основы кибернетики
• Дискретная математика (1 курс)
• Практикум на ЭВМ

Спецсеминары

• Теория управляющих систем и математические модели СБИС