Edsger Dijkstra: berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
11. lerroa:
[[1970]].urtetik aurrera, Dijkstraren interes nagusia baieztapen formala izan zen, eta hainbat inbestigazio egin zituen horren inguruan. Dijkstraren azken lanetako askok argudio matematikoak jariotasunez egiteari buruz hitz egiten dute.
 
{{DEFAULTSORT:Dijkstra, Edsger}}
[[Kategoria:Informatikariak]]
[[Kategoria:Herbeheretarrak]]
[[Kategoria:1930eko jaiotzak]]
[[Kategoria:2002ko heriotzak]]
 
[[ast:Edsger Dijkstra]]