Как программисту мыслить ясно с помощью математики и TLA+ — Лесли Лэмпорт @ HLF 2019
Автор: ZME Science
Загружено: 2019-10-14
Просмотров: 12697
Лесли Лэмпорт наиболее известен своими основополагающими работами в области распределённых систем, а также как разработчик системы подготовки документов LaTeX и автор первого руководства по ней. Лесли Лэмпорт стал лауреатом премии Тьюринга 2013 года за то, что он привнёс чёткую, чётко определённую согласованность в, казалось бы, хаотичное поведение распределённых вычислительных систем, в которых несколько автономных компьютеров взаимодействуют друг с другом, передавая сообщения.
В этом видео Лэмпорт рассказывает о том, как программист мыслит с помощью TLA+, разработанной им платформы. Доклад был записан на 7-м Гейдельбергском форуме лауреатов (HLF).
Источник: ZME Science, 2019.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
