Человек, который произвел революцию в информатике с помощью математики скачать в хорошем качестве

Человек, который произвел революцию в информатике с помощью математики

Лесли Лэмпорт произвел революцию в том, как компьютеры взаимодействуют друг с другом. Этот учёный, лауреат премии Тьюринга, стал пионером в области распределённых систем, где множество компонентов в разных сетях координируют работу для достижения общей цели. (Интернет-поиск, облачные вычисления и искусственный интеллект — всё это подразумевает организацию легионов мощных вычислительных машин для совместной работы.) В начале 1980-х годов Лэмпорт также создал LaTeX, систему подготовки документов, которая предоставляет сложные способы набора сложных формул и форматирования научных документов. В 1989 году Лэмпорт изобрел Paxos, «алгоритм консенсуса», позволяющий нескольким компьютерам выполнять сложные задачи; без него современные вычисления не могли бы существовать. Он также привлёк больше внимания к нескольким проблемам, дав им характерные названия, такие как «алгоритм пекарни» и «задача византийских генералов». С 1990-х годов работа Лэмпорта была сосредоточена на «формальной верификации», использовании математических доказательств для проверки корректности программных и аппаратных систем. В частности, он создал «язык спецификаций» TLA+ (Temporal Logic of Actions, что означает «временная логика действий»), который использует точный математический язык для предотвращения ошибок и изъянов проектирования. Подробнее в журнале Quanta: https://www.quantamagazine.org/bringi... ПОСЕТИТЕ наш сайт: https://www.quantamagazine.org ПОДПИШИТЕСЬ на нас в Facebook:   / quantanews   ПОДПИШИТЕСЬ на нас в Twitter:   / quantamagazine   Журнал Quanta — независимое издание, поддерживаемое Фондом Саймонса https://www.simonsfoundation.org/ #компьютернаянаука #математика