http://www.multimediaexpo.cz/mmecz/index.php?action=history&feed=atom&title=Edsger_Dijkstra 2026-06-22T06:01:02Z Historie editací této stránky MediaWiki 1.16.5 http://www.multimediaexpo.cz/mmecz/index.php?title=Edsger_Dijkstra&diff=673922&oldid=prev 2014-05-21T11:57:50Z

<p>1 revizi</p> <table style="background-color: white; color:black;"> <tr valign='top'> <td colspan='1' style="background-color: white; color:black;">← Starší verze</td> <td colspan='1' style="background-color: white; color:black;">Verze z 21. 5. 2014, 11:57</td> </tr></table>

Ivan Drago http://www.multimediaexpo.cz/mmecz/index.php?title=Edsger_Dijkstra&diff=673921&oldid=prev 2007-12-08T09:55:20Z

<p>+ Nový článek...</p> <p><b>Nová stránka</b></p><div>[[Soubor:Edsger Dijkstra.jpg|thumb|Edsger Dijkstra]]<br /> '''Edsger Wybe Dijkstra''' (* [[11. květen|11. května]] [[1930]] Rotterdam, † [[6. srpen|6. srpna]] [[2002]] Nuenen) byl nizozemský [[informatika (počítačová věda)|informatik]]. V roce [[1972]] obdržel [[Turingova cena|Turingovu cenu]] za své příspěvky rozvoji [[programovací jazyk|programovacích jazyků]].<br /> <br /> == Biografie ==<br /> Dijkstrova matka byla matematička, otec byl chemik. Dijkstra studoval matematiku a teoretickou fyziku na Leidenské univerzitě, před koncem třetího roku absolvoval kurz o programování elektronického počítače (kterým byl tehdy [[EDSAC]]), což mělo za následek jeho příklon ke studiu informatiky a programování. V letech [[1952]]–[[1960]] pracoval pro Matematické centrum v Amsterdamu, v roce [[1962]] se přestěhoval do Eindhovenu, kde na místní technice získal profesuru; na začátku 70. let pracoval jako výzkumný pracovník pro Burroughs Corporation, později přednášel informatiku na Texaské univerzitě v Austinu. V roce [[1999]] odešel do důchodu. V únoru [[2002]] se vrátil do svého starého domu v Nuenenu už s vědomím nevyléčitelné rakoviny, na kterou o několik měsíců později zemřel.<br /> <br /> Dijkstrovo jméno použil pro jednu z postav v sérii fantasy knih ''[[Zaklínač]]'' spisovatel [[Andrzej Sapkowski]].<br /> <br /> == Dílo ==<br /> Mezi Dijkstrovy nejznámější příspěvky informatice patří [[algoritmus]] pro nalezení [[problém nejkratší cesty|nejkratší cesty]] v grafu, označovaný dnes jako [[Dijkstrův algoritmus]], a idea [[semafor (synchronizace)|semaforu]], [[synchronizační primitivum|nástroje pro synchronizaci]] vícero procesorů a programů.<br /> <br /> Jeho slavný dokument ''[[Go To Statement Considered Harmful]]'' (''Příkaz Go To považován za škodlivý''; název je nicméně dílem [[Niklaus Wirth|Niklause Wirtha]], tehdejšího editora [[Communications of the ACM]]) kritizoval použití příkazu [[GOTO]] a byl jedním z důležitých kroků k jeho všeobecnému zavržení a téměř úplnému nahrazení [[řídící struktura|řídícími strukturami]], jakou je např. [[cyklus (informatika)|cyklus]].<br /> <br /> Dijkstra byl členem týmu, který vytvářel úplně první [[překladač]] programovacího jazyka [[ALGOL|ALGOL 60]]. Spolu s Jaapem Zonneveldem se dohodli, že se až do dokončení projektu nebudou holit; na rozdíl od Zonnevelda poté Dijkstra nosil bradku až do smrti.<br /> <br /> Od 70. let se Dijkstra věnoval formální verifikaci programů: tehdejším běžným způsobem verifikace byla konstrukce matematického důkazu k již dokončenému programu; konstrukce takových důkazů je však velice náročná a z výsledků nelze poznat myšlenky, podle kterých byl program vytvořen. Dijkstrův alternativní způsob spočívá v opačném postupu: začíná se matematicky formulovanou specifikací, co a jak má program dělat; z této specifikace se pak pomocí matematických transformací postupně vytváří program, který je posléze možno spustit. Takový program je pak zaručeně správný již způsobem své konstrukce.<br /> <br /> Dijkstra vytvořil mnoho rukopisů, jejichž kopie rozesílal svým kolegům (a od nich se šířily po prakticky celé informatické komunitě). Tyto rukopisy, které většinou pojednávají o počítačových a matematických tématech (ale některé obsahují i např. zprávy z cest), jsou označeny zkratkou EWD a pořadovým číslem. Celkem existuje přes 1300&amp;nbsp;EWD dokumentů a mnoho z nich bylo [[scanner|naskenováno]] a je dostupné online ([http://www.cs.utexas.edu/users/EWD/ Souborné dílo včetně EWD rukopisů]).<br /> <br /> == Externí odkazy ==<br /> * [http://homepages.cwi.nl/~apt/ps/dijkstra.pdf Krzysztof R. Apt: Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius - nekrolog pro časopis Formal Aspects of Computing včetně stručné biografie (anglicky)]<br /> * [http://awards.acm.org/citation.cfm?id=4860551&amp;srt=all&amp;aw=140&amp;ao=AMTURING Turingova cena za rok 1972 (anglicky)]<br /> * [http://www.acm.org/classics/oct95/ ''Go To Statement Considered Harmful'', Communications of the ACM, Vol. 11 (1968) 147–148 (anglicky)]<br /> * [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1000.html ''Twenty-eight years'' (EWD 1000 - anglicky)]<br /> <br /> <br /> {{Článek z Wikipedie}}<br /> <br /> [[Kategorie:Informatici|Dijkstra, Edsger]]<br /> [[Kategorie:Nositelé Turingovy ceny|Dijkstra, Edsger]]</div>

Sysop