|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Математические модели вычисленийучебный курс
- Авторы: Кривчиков М.А., Васенин В.А.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: Рассматриваются фундаментальные вопросы формальных моделей вычислений и утверждения, ограничивающие применимость методов формальной верификации. Слушатели получат представление о теоретических основаниях дедуктивных методов формальной верификации программ на примере разновидностей типизированного λ-исчисления.
- Добавил в систему: Кривчиков Максим Александрович
Преподавание курса
- с 6 октября 2015 Васенин Валерий Александрович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Авторы: Кривчиков М.А., Васенин В.А.
- с 6 октября 2015 Кривчиков Максим Александрович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра вычислительной математики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Авторы: Кривчиков М.А., Васенин В.А.