Цель дисциплины - научить студентов квалифицированно применять математический аппарат для описания, анализа и синтеза формальных моделей вычислительных процессов с направленностью на использование этих моделей в практике проектирования типовых компонентов программного и программно-аппаратного обеспечения вычислительной техники и автоматизированных систем.
- Преподаватель: Галина Литвинова
- Преподаватель: Андрей Степанов