Edsger Dijkstra: Porovnání verzí
Smazaný obsah Přidaný obsah
Přepsání biografie |
m Oprava referencí s interpunkcí |
||
Řádek 40:
}}
'''Edsger Wybe Dijkstra''' {{IPA2|ˈɛtˌsxər ˈdɛɪkˌstra}} ([[11. květen|11. května]] [[1930]] [[Rotterdam]] – [[6. srpen|6. srpna]] [[2002]] [[Nuenen]]) byl [[Nizozemsko|nizozemský]] [[informatika (počítačová věda)|informatik]].<ref>[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</ref>
Řádek 116:
Od 70. let se Dijkstra věnoval [[formální verifikace|formální verifikaci]] programů: tehdejším běžným způsobem verifikace byla konstrukce [[matematický důkaz|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.
Dijkstra vytvořil mnoho rukopisů, jejichž kopie rozesílal svým kolegům (a od nich se šířily po prakticky celé informatické komunitě<ref>[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1000.html ''Twenty-eight years'' (EWD 1000)]</ref>). 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 EWD dokumentů a mnoho z nich bylo [[scanner|nascannováno]] a je dostupné online.<ref>[http://www.cs.utexas.edu/users/EWD/ Souborné dílo včetně EWD rukopisů]</ref>
== Reference ==
| |||