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

В Википедии есть статьи о других людях с фамилией Дейкстра.
Эдсгер Вибе Дейкстра
нидерл. Edsger Wybe Dijkstra
Имя при рождении нидерл. Edsger Wybe Dijkstra[2]
Дата рождения 11 мая 1930(1930-05-11)[1][2][…]
Место рождения
Дата смерти 6 августа 2002(2002-08-06)[1][2][…] (72 года)
Место смерти
  • Нюнен[вд], Нидерланды[1][3]
Страна
Род деятельности математик, физик, специалист в области информатики, инженер, преподаватель университета, учёный в области информации, программист
Научная сфера информатика
Место работы Национальный исследовательский институт математики и информатики
Технический университет Эйндховена
Техасский университет в Остине
Альма-матер
Научный руководитель Адриан ван Вейнгаарден[4]
Известен как

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

один из создателей операционной системы THE
Награды и премии Премия Тьюринга
Логотип Викицитатника Цитаты в Викицитатнике
Логотип Викисклада Медиафайлы на Викискладе

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

Биография

Родился 11 мая 1930 года в Роттердаме, в семье учёных (отец — химик, мать — математик)[6].

По окончании школы поступил на факультет теоретической физики Лейденского университета.

В 1951 году увлёкся программированием, поступил на трёхнедельные компьютерные курсы в Кембридже, с 1952 года работал программистом в Математическом центре Амстердама под руководством профессора Адриана ван Вейнгаардена, впоследствии — автора одного из способов формального описания грамматики формальных языков — так называемых двухуровневых грамматик ван Вейнгаардена.

Уже в 1952 году принял решение окончательно специализироваться на программировании, но всё же окончил курс теоретической физики.

Во второй половине 1950-х годов в поисках путей оптимизации разводки плат[источник не указан 3943 дня] разработал алгоритм поиска кратчайшего пути на графе, ставший известным как «алгоритм Дейкстры».

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

В 1958—1960 годах принимал участие в разработке языка программирования Алгол, работал в команде по созданию компилятора языка; соревнуясь с датской командой Петера Наура, поклялся не бриться до завершения проекта и победил, написав компилятор за шесть недель, заодно изобретя новое правило компиляции — «вызов по имени».

В 1960-е годы участвовал в создании операционной системы THE, построенной в виде множества параллельно исполняющихся взаимодействующих процессов[8]. Именно в ходе этой работы появились понятия синхронизации процессов, идея семафора, а также была чётко осознана необходимость в структуризации процесса программирования и самих программ.

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

В последние годы жизни преподавал в Техасском университете.

Умер 6 августа 2002 года после долгой борьбы с раком[9][10].

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

Известность Дейкстре принесли его работы в области применения математической логики при разработке компьютерных программ.

Он активно участвовал в разработке языка программирования Алгол и написал первый компилятор Алгол-60.

Будучи одним из авторов концепции структурного программирования, он проповедовал отказ от использования инструкции GOTO.

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

Также предложил алгоритм сортировочной станции — способ разбора математических выражений, представленных в инфиксной нотации.

В 1972 году стал лауреатом премии Тьюринга.

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

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

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

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

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

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

В 1975 году на примере положения дел в Германии Дейкстра показал, что развитие программирования как науки на основе одного выбранного языка программирования невозможно.

Результатом такого подхода стал полный разрыв теории и практики программирования. Дейкстра отмечал, что принятие в Германии на правительственном уровне языка ALGOL 68 в качестве фундаментального средства дальнейшего развития имело столь же парализующее действие, как и решение правительства СССР о переходе советской промышленности к копированию модельного ряда IBM/360 в конце 1960 годов, которое учёный назвал величайшей победой Запада в холодной войне[11].

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

Интересные факты о Дейкстре:[12]

  1. Свои статьи Дейкстра нумеровал EWD0, EWD1, EWD2 и т. д.
  2. Факт о Дейкстре: «Известно, что он мало заинтересован в приеме на старшие курсы университета, где он преподает, студентов со знанием Фортрана по той причине, что вместе с этими знаниями могли привиться дурные привычки программирования».
  3. Еще одна цитата из Дейкстры[13]: «Изящество, ясность и тому подобное в значительной степени определяются количественными аспектами. (Этим владел Моцарт: многие его произведения, от которых замирает дыхание, обманчиво просты; кажется, будто они созданы практически из ничего!)»

Награды

Публикации

Книги

  • Structured Programming / ed. O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare. — London: Academic Press, 1972.
    • Дал У., Дейкстра Э., Хоор К. Структурное программирование. — М.: Мир, 1975. — 247 с.
  • Dijkstra E.W. A Discipline of Programming. — Prentice-Hall, 1976.
    • Дейкстра Э. Дисциплина программирования. — М.: Мир, 1978. — 275 с.
  • Dijkstra E.W. Selected Writings on Computing: A personal Perspective. — Springer, 1982.
  • Dijkstra E.W., Feijen W.H.J. A Method of Programming. — Addison-Wesley, 1988.
  • Dijkstra E.W., Scholten C.S. Predicate Calculus and Program Semantics. — Springer, 1990.

Основные статьи

  • Dijkstra E.W. A note on two problems in connexion with graphs // Numerische Mathematik. — 1959. — Vol. 1. — P. 269–271. — doi:10.1007/BF01386390.
  • Dijkstra E.W. Recursive Programming // Numerische Mathematik. — 1960. — Vol. 2. — P. 312–318. — doi:10.1007/BF01386232.
  • Dijkstra E.W. Solution of a problem in concurrent programming control // Communications of the ACM. — 1965. — Vol. 8. — P. 569. — doi:10.1145/363095.363143.
  • Dijkstra E.W. Go to statement considered harmful // Communications of the ACM. — 1968. — Vol. 11. — P. 147–148. — doi:10.1145/362929.362947.
  • Dijkstra E.W. The structure of the “THE”-multiprogramming system // Communications of the ACM. — 1968. — Vol. 11. — P. 341–346. — doi:10.1145/363095.363143.
  • Dijkstra E.W. Cooperating Sequential Processes // Programming Languages: NATO Advanced Study Institute. — London: Academic Press, 1968. — P. 43–112.
  • Dijkstra E.W. Self-stabilizing systems in spite of distributed control // Communications of the ACM. — 1974. — Vol. 17. — P. 643–644. — doi:10.1145/361179.361202.
  • Dijkstra E.W. Programming as a Discipline of Mathematical Nature // American Mathematical Monthly. — 1974. — Vol. 81. — P. 608–612. — doi:10.1080/00029890.1974.11993624.
  • Dijkstra E.W. Guarded commands, nondeterminacy and formal derivation of programs // Communications of the ACM. — 1975. — Vol. 18. — P. 653–657. — doi:10.1145/360933.360975.
  • Dijkstra E.W., Scholten C.S. Termination detection for diffusing computations // Information Processing Letters. — 1980. — Vol. 11. — P. 1–4. — doi:10.1016/0020-0190(80)90021-6.

См. также

Примечания

  1. ↑ 1 2 3 4 5 6 7 8 http://amturing.acm.org/award_winners/dijkstra_1053701.cfm
  2. ↑ 1 2 3 4 5 Архив по истории математики Мактьютор — 1994.
  3. ↑ Edsger Dijkstra // Encyclopædia Britannica (англ.)
  4. ↑ Mathematics Genealogy Project (англ.) — 1997.
  5. ↑ [ˈɛtsxər ˈʋibə ˈdɛikstra] прослушать
  6. ↑ O'Connor, J. J.; Robertson, E. F. (July 2008). "Dijkstra biography". MacTutor. School of Mathematics and Statistics, University of St Andrews, Scotland. Archived from the original on 11 October 2013. Retrieved 18 January 2014.
  7. ↑ Edsger Dijkstra. The Humble Programmer Архивная копия от 26 июня 2014 на Wayback Machine // Communications of the ACM, vol. 15 (1972), 10: 859—866]
  8. ↑ Haldar, Sibsankar and Aravind, Alex A. Operating Systems. — Pearson, 2010. — С. 198. — 580 с. — ISBN 978-81-317-3022-5.
  9. ↑ Умер Эдсгер Вайб Дейкстра.
  10. ↑ Rupert.
  11. ↑ Edsger W. Dijkstra. Trip report E.W.Dijkstra: NATO Summer School Marktoberdorf 1975 (англ.). The University of Texas at Austin (11 августа 1975). Дата обращения: 25 июля 2017. Архивировано 13 июля 2017 года.
  12. ↑ Авачева Т. Г., Пруцков А. В. Современный взгляд на концепцию структурного программирования // Cloud of Science. — 2019. — Т. 6, № 4. Архивировано 7 ноября 2019 года.
  13. ↑ Дал У., Дейкстра Э., Хоор К. Структурное программирование. — Москва: Мир, 1972.

Литература

Ссылки

Read other articles:

Filmografi Amitabh Bachchan

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Amitabh Bachchan filmography di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: pan...

 

Sherrod Brown

Sherrod Brown Sherrod Campbell Brown (/ˈʃɛrəd/, lahir 9 November 1952) adalah seorang politikus Amerika Serikat yang menjabat sebagai Senator Amerika Serikat senior dari Ohio, sebuah jabatan yang mula-mula ia emban pada 2006. Sebagai anggota Partai Demokrat, ia menjadi anggota DPR Amerika Serikat dari 1993 sampai 2007 dan Sekretaris Negara Bagian Ohio dari 1983 sampai 1991. Ia memulai karier politiknya pada 1975 sebagai anggota DPRD Ohio. Pranala luar Wikimedia Commons memiliki media meng...

 

الإمبراطورية البلغارية

تحتاج النصوص المترجمة في هذه المقالة إلى مراجعة لضمان معلوماتها وإسنادها وأسلوبها ومصطلحاتها ووضوحها للقارئ، لأنها تشمل ترجمة اقتراضية أو غير سليمة. فضلاً ساهم في تطوير هذه المقالة بمراجعة النصوص وإعادة صياغتها بما يتناسب مع دليل الأسلوب في ويكيبيديا. بلغاريا الإمبراطو�...

FAI Cup 2008

FAI Cup 2008 Competizione FAI Cup Sport Calcio Edizione 85ª Date dal 30 marzo 2008al 23 novembre 2008 Risultati Vincitore  Bohemians Secondo  Derry City Statistiche Incontri disputati 50 Cronologia della competizione 2007 2009 Manuale La FAI Cup 2008 è stata la 85ª edizione dell'omonima manifestazione. La finale è stata disputata il 23 novembre 2008 al Royal Dublin Society di Dublino tra Derry City e Bohemians, terminando con il successo di questi ultimi per 6-4 do...

 

The Hobbit: The Desolation of Smaug

The Hobbit: The Desolation of SmaugThe Hobbit:The Desolation of SmaugPoster filmIndeks kartuSutradaraPeter JacksonProtagonisIan McKellenMartin FreemanRichard ArmitageBenedict CumberbatchEvangeline LillyLee PaceLuke EvansStephen FryKen StottJames NesbittAntony SherOrlando BloomMikael PersbrandtSylvester McCoyAidan TurnerDean O'GormanGraham McTavishAdam BrownPeter HambletonJohn CallenMark HadlowJed BrophyWilliam KircherStephen HunterRyan GageJohn BellManu BennettLawrence MakoareProduksi seni p...

 

Clásica de San Sebastián

Clásica de San SebastiánRincian balapanPelaksanaanAgustusLokasiPais Vasco, SpanyolNama dalam bahasa InggrisClassic of San SebastiánNama lokalClásica de San Sebastián (Spanyol)Donostia-Donostia Klasikoa (Basque)DisiplinJalan rayaKompetisiUCI World TourTipeSatu hariSejarahEdisi pertama1981 (1981)Edisi terbaru41 (pada 2021)Juara pertama Marino Lejarreta (ESP)Juara terbanyak Marino Lejarreta (ESP) (3 kemenangan)Juara bertahan R...

Стеллерова корова

† Стеллерова корова Муляж стеллеровой коровы в Лондонском музее естествознания Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:Челюстно�...

 

Mohd Amri Yahyah

Pour les articles homonymes, voir Amri. Mohd Amri Yahyah Biographie Nationalité Malaisien Naissance 21 janvier 1981 (43 ans) Tanjung Karang (en) Poste Attaquant Parcours senior1 SaisonsClubsM (B.)2001-2013 Selangor FA374 (118)depuis 2014 Johor FC Sélections en équipe nationale2 AnnéesSélectionM (B.)depuis 2004 Malaisie 1 Matchs de championnat uniquement.2 Matchs officiels (amicaux validés par la FIFA compris).Tout ou partie de ces informations sont extraites de Wiki...

 

马哈茂德·艾哈迈迪内贾德

馬哈茂德·艾哈迈迪-内贾德محمود احمدی‌نژاد第6任伊朗總統任期2005年8月3日—2013年8月3日副总统帷爾維茲·達烏迪穆罕默德-禮薩·拉希米领袖阿里·哈梅內伊前任穆罕默德·哈塔米继任哈桑·魯哈尼不结盟运动秘书长任期2012年8月30日—2013年8月3日前任穆罕默德·穆尔西继任哈桑·魯哈尼德黑蘭市長任期2003年6月20日—2005年8月3日副职阿里·賽義德盧前任哈桑·馬利克邁達尼�...

Edmond de Fels

Pour les articles homonymes, voir Frisch. Edmond de FelsEdmond de FelsFonctionPrésidentSociété des amis de Versailles1943-1951Alexandre MillerandPierre de Cossé-BrissacTitre de noblesseComte romainBiographieNaissance 3 juillet 1858MarseilleDécès 29 mars 1951 (à 92 ans)8e arrondissement de ParisNationalité françaiseActivité DiplomateEnfants André de FelsHubert Frisch de Fels (d)Anne Marie Frisch de Fels (d)Edmée de La RochefoucauldAutres informationsPropriétaire de Châ...

 

Saab two-stroke

Swedish automobile engine The Saab two-stroke was a two-stroke cycle, inline, two cylinder, and later three cylinder engine manufactured by Swedish automotive manufacturer Saab that was based on a design by German manufacturer DKW. The two cylinder two-stroke engine in a Saab 92. Two-cylinder The first version was a 764 cc (46.6 cu in) displacement straight-twin that was transversally mounted in the 1950–1956 Saab 92. It had with 25 hp (19 kW), and a top speed of 10...

 

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

Elisabeth Stierncrona

Elisabeth Stierncrona (1714-1769) Elisabeth Stierncrona (Stoccolma, 9 gennaio 1714 – Stoccolma, 28 giugno 1769) è stata una contessa e scrittrice svedese. Biografia I suoi genitori furono il barone Gabriel Stierncrona (1669-1723) e Antoinetta Maria Amija (1687-1721). Nel 27 aprile 1729 Elisabeth Stierncrona sposò il conte Fredrik Gyllenborg (1698-1759), cortigiano e membro di spicco del partito dei Cappelli. Ebbe nove figli durante il suo matrimonio. Come era ancora usanza nell'aristocraz...

 

CONTOUR

COMET Nucleus TOUR (CONTOUR) adalah sebuah probe angkasa kelas Discovery NASA yang gagal tak lama setelah peluncuran Juli 2002 tersebut. CONTOUR diluncurkan pada Delta 7425 (kendaraan peluncuran Delta II Lite dengan empat tali-on penguat solid-roket dan tahap ketiga Bintang 27) pada tanggal 3 Juli 2002, di 06:47:41 UT (02:47:41 WIB ) dari Cape Canaveral Air Force Station. Referensi CONTOUR. NASA Discovery Program. Diarsipkan dari versi asli tanggal 2010-04-25. Diakses tanggal December 27, 20...

 

Diritti LGBT in Papua Nuova Guinea

Nel paese l'omosessualità femminile è legale al contrario di quella maschile che non lo è. Le persone LGBT non godono di alcuna tutela contro le discriminazioni e le coppie formate da persone dello stesso sesso non hanno alcun riconoscimento giuridico. Indice 1 Leggi relative all'omosessualità 2 Condizioni di vita 3 Tabella riassuntiva 4 Note Leggi relative all'omosessualità L'omosessualità maschile nel paese è vietata dalla Sezione 210 del Codice Penale della Papua Nuova Guinea. Gli u...

فرضية كورغان

جزء من سلسلة مقالات عنمواضيع هندوأوروبية اللغات قائمة اللغات الهندوأوروبية تاريخية ألبانية أرمنية بلطيقية سلافية بلطيقية سلافية كلتية جرمانية هيلينية يونانية هندوإيرانية هندوآرية إيرانية إيطاليقية رومانسية منقرضة أناضولية تخارية ميسابية [الإنجليزية] لغات البلقان الب...

 

Julian McMahon

Julian McMahon nel 2011 Julian Dana William McMahon (Sydney, 27 luglio 1968) è un attore ed ex modello australiano. Indice 1 Biografia 2 Vita privata 3 Filmografia 3.1 Cinema 3.2 Televisione 4 Doppiatori italiani 5 Altri progetti 6 Collegamenti esterni Biografia Julian McMahon è nato a Sydney, Nuovo Galles del Sud, Australia, secondo figlio dell'ex primo ministro sir William McMahon. È stato educato alla Sydney Grammar School, una scuola maschile privata. Ha brevemente studiato Legge alla ...

 

Meccanismo europeo di stabilità

Disambiguazione – MES e Mes rimandano qui. Se stai cercando altri significati, vedi Mes (disambigua). Meccanismo europeo di stabilità(DE) Europäischer Stabilitätsmechanismus(EN) European Stability Mechanism(ES) Mecanismo Europeo de Estabilidad(FR) Mécanisme européen de stabilité In blu, i Paesi membri del MES Fondazione25 marzo 2011 Sede centrale Lussemburgo (città) PresidentePierre Gramegna Sito web Modifica dati su Wikidata · Manuale Il Meccanismo europeo di stabilit...

Диффенбахов пастушок

† Диффенбахов пастушок Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Завропсид�...

 

Phú Quốc

Cet article est une ébauche concernant le monde insulaire et le Viêt Nam. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (octobre 2016). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de...