Edsger Dijkstra: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
t added Category:Informatikariak using HotCat |
|||
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]]
|