Московский физико-технический институт
Опубликован: 16.09.2014 | Доступ: свободный | Студентов: 489 / 14 | Длительность: 07:15:00
Лекция 4:

Формальное представление многопоточной системы

< Лекция 1 || Лекция 4
Аннотация: Уровни абстракции программы. Корректность программы. Время как абстракция. Вероятность ошибки. Цель: формирование осведомлённости о заблуждениях в разработке, введение абстрактных понятий.
Ключевые слова: корректность

Презентация к лекции: L4.pdf.

Смотреть лекцию на: ИНТУИТ | youtube.com

Если проблемы с видео, нажмите выше ссылку youtube

Get Adobe Flash Player

Краткие итоги: Существуют абстракции программ разной "детализации". Корректность программы есть условная характеристика. "Статистически несущественную ошибку" часто недооценивают. Время можно формализовать для использования в многопоточных системах.

Дополнительные материалы

Рекомендуем прочитать статью: BoundedTS.pdf.

< Лекция 1 || Лекция 4
Игорь Садченко
Игорь Садченко

Добрый день!

Видеоряд лекции 9 не соответсвует звуковой дорожке, а также обрывается на рассмотрении детерминированного объекта. В лекции отсутствует рассмотрение FLP.

Максим Зиганшин
Максим Зиганшин

http://www.intuit.ru/studies/professional_skill_improvements/14005/video_courses/1281/info - это платный курс, а это: http://www.intuit.ru/studies/courses/14040/1281/info - его аналог, но бесплатный, и разница у них лишь в том, что в платном я получаю бумажку, правильно?

Дмитрий Павлик
Дмитрий Павлик
Россия
Andrey Andrey
Andrey Andrey
Россия, Москва