Дейкстра Эдсгер Вибе (Dijkstra, Edsger Vibe).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

Дейкстра Эдсгер Вибе.

 ›

Эдсгер Вибе Дейкстра
Edsger Wybe Dijkstra
Дата рождения:

11 мая 1930

Место рождения:

Роттердам (Нидерланды)

Дата смерти:

6 августа 2002 (72 года)

Место смерти:

Нюэнен (Нидерланды)

Страна:

 Нидерланды

Научная сфера:

информатика

Место работы:

Национальный исследовательский институт математики и информатики
Технический университет Эйндховена
Техасский университет в Остине

Альма-матер:

Лейденский университет

Известен как:

создатель алгоритма Дейкстры и семафоров
один из основателей структурного программирования
один из создателей операционной системы THE

Награды и премии


Премия Тьюринга

Эдсгер Вибе Дейкстра

Э́дсгер Ви́бе Де́йкстра (нидерл. Edsger Wybe Dijkstra (11 мая 1930, Роттердам, Нидерланды - 6 августа 2002, Нюэнен, Нидерланды) - нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. Тьюринговский лауреат (1972).

Содержание
  • Биография
  • Научные достижения
  • Библиография
  • Интересные факты
  • Награды
  • См. также
  • Примечания
  • Литература
  • Ссылки
Биография

Родился 11 мая 1930 года в Роттердаме, в семье учёных (отец - химик, мать - математик). По окончании школы поступил на факультет теоретической физики Лейденского университета. В 1951 году увлёкся программированием, поступил на трёхнедельные компьютерные курсы в Кембридже, с 1952 года работал программистом в Математическом центре Амстердама под руководством профессора Адриана ван Вейнгаардена, впоследствии - автора одного из способов формального описания грамматики формальных языков - так называемых двухуровневых грамматик ван Вейнгаардена. Уже в 1952 году принял решение окончательно специализироваться на программировании, но всё же закончил курс теоретической физики. Во второй половине 1950-х годов в поисках путей оптимизации разводки плат разработал алгоритм поиска кратчайшего пути на графе, ставший известным как «алгоритм Дейкстры».

В 1957 году женился, по собственным воспоминаниям, в графе «профессия» анкеты, которую положено заполнять при бракосочетании, написал «программист» - и его заставили переписывать документы, заявив, что такой профессии не существует, в результате пришлось указать «физик-теоретик».

В 1958-1960 годах принимал участие в разработке языка программирования Алгол, работал в команде по созданию компилятора языка; соревнуясь с датской командой Петера Наура, поклялся не бриться до завершения проекта и победил, написав компилятор за шесть недель, заодно изобретя новое правило компиляции - «вызов по имени». В 1960-е годы участвовал в создании операционной системы THE (англ.), построенной в виде множества параллельно исполняющихся взаимодействующих процессов. Именно в процессе этой работы появились понятия синхронизации процессов, идея семафора, а также была чётко осознана необходимость в структуризации процесса программирования и самих программ.

Длительное время работал в компании Burroughs. В 1970-е годы вместе с Тони Хоаром и Никлаусом Виртом разработал основные положения структурного программирования.

В последние годы жизни преподавал в Техасском университете. Умер 6 августа 2002 года после долгой борьбы с раком.

Научные достижения

Известность Дейкстре принесли его работы в области применения математической логики при разработке компьютерных программ. Он активно участвовал в разработке языка программирования Алгол и написал первый компилятор Алгол-60. Будучи одним из авторов концепции структурного программирования, он проповедовал отказ от использования инструкции GOTO. Также ему принадлежит идея применения «семафоров» для синхронизации процессов в многозадачных системах и алгоритм нахождения кратчайшего пути на ориентированном графе с неотрицательными весами рёбер, известный как алгоритм Дейкстры.

В 1972 году стал лауреатом премии Тьюринга. В 2002 году получил ежегодную премию, вручаемую Симпозиумом по принципам распределённых вычислений (англ. Symposium on Principles of Distributed Computing) Ассоциации вычислительной техники «за публикацию, оказавшую наибольшее влияние на область распределённых вычислений»; в знак признания заслуг учёного с 2003 года эта премия носит название премии Дейкстры.

Библиография

Автор нескольких книг и множества статей, самые известные публикации - книги «Дисциплина программирования», «Заметки по структурному программированию», статья «О вреде оператора GOTO» (англ. GOTO considered harmful).

Помимо обсуждения специальных вопросов, в своих статьях и книгах Дейкстра последовательно отстаивал необходимость математического подхода к программированию, который предполагает предварительное точное, всестороннее математическое описание задачи и способа её решения, формальное доказательство правильности выбранного алгоритма и последующую реализацию алгоритма в виде максимально простой, структурированной программы, корректность которой должна быть формально доказана. По мнению Дейкстры, господствующий в компьютерной индустрии подход к программированию как к процессу достижения результата методом проб и ошибок («написать код - протестировать - найти ошибки - исправить - протестировать - …») порочен, поскольку стимулирует программистов не думать над задачей, а писать код, что при этом совершенно не гарантирует корректность программ, которая не может быть доказана тестированием в принципе.

Многократно предостерегал от попыток превратить разработку программ в некий тривиальный процесс; по его мнению, программирование в сути своей - чрезвычайно сложная научная и инженерная деятельность, и никакие новые методы и инструменты не смогут кардинально изменить это положение - они лишь освобождают программиста от части рутинной работы. Попытки же превратить программирование в простое занятие, доступное каждому, обречены на провал.

Интересные факты

Когда советское правительство приняло решение о переходе советской промышленности к копированию модельного ряда IBM/360, Дейкстра (работавший в то время в конкурировавшей с IBM фирме Burroughs) назвал это решение величайшей победой Запада в холодной войне, а выбранную для клонирования модель IBM/360 (прообраз советской ЕС ЭВМ) - величайшей диверсией Запада против СССР.

Награды
  • Премия Тьюринга (1972)
  • Премия Дейкстры (2002)
  • C&C Prize (2002)
См. также
  • Considered harmful
Примечания
  1. 1 2 Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека, Австрийская национальная библиотека Record #139688641 Проверено 9 апреля 2014.
  2. прослушать
  3. Edsger Dijkstra. The Humble Programmer // Communications of the ACM, vol. 15 (1972), 10: 859-866]
  4. Haldar, Sibsankar and Aravind, Alex A. Operating Systems. - Pearson, 2010. - С. 198. - 580 с. - ISBN 978-81-317-3022-5.
  5. Умер Эдсгер Вайб Дейкстра
  6. Rupert
  7. E.W.Dijkstra Archive: Trip report E.W.Dijkstra: NATO Summer School Marktoberdorf 1975. (EWD 506)
Литература
  • Дейкстра Э. Дисциплина программирования = A discipline of programming. - 1-е изд. - М.: Мир, 1978. - 275 с.
  • Дал У., Дейкстра Э., Хоор К. Структурное программирование = Structured Programming. - 1-е изд. - М.: Мир, 1975. - 247 с.
  • Умер Эдсгер Вайб Дейкстра (8 августа 2002). Проверено 27 сентября 2013.
  • Goodwins, Rupert. Computer science pioneer Dijkstra dies (8 августа 2002). Проверено 27 сентября 2013.

Доп. информация

 

 










Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2023 / Famous-Birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2023-06-05