Редактирование: МФСП
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 8: | Строка 8: | ||
* Экзамен письменный. Пользоваться можно чем угодно, списывать нельзя. | * Экзамен письменный. Пользоваться можно чем угодно, списывать нельзя. | ||
- | * Для оценки нужно иметь зачёт по практикуму, суммарная оценка на экзамене складывается из оценки на коллоквиуме, на экзамене и, возможно, | + | * Для оценки нужно иметь зачёт по практикуму, суммарная оценка на экзамене складывается из оценки на коллоквиуме, на экзамене и, возможно, оценке за практикум |
== Структура курса == | == Структура курса == | ||
Строка 16: | Строка 16: | ||
# (3—4 лекции) Инструментальная поддержка аналитической верификации. В качестве базы испльзуется PVS | # (3—4 лекции) Инструментальная поддержка аналитической верификации. В качестве базы испльзуется PVS | ||
# Коллоквиум | # Коллоквиум | ||
- | # Экзамен | + | # Экзамен |
== Материалы == | == Материалы == | ||
Строка 37: | Строка 37: | ||
== Курс == | == Курс == | ||
- | * [[МФСП: Оформление задач|Оформление задач]] | ||
- | |||
{{Курс МФСП}} | {{Курс МФСП}} | ||
{{Лекции}} | {{Лекции}} |