Halbordnungen


Halbordnungen wird man auch unter den Begriffen Partialordnung, teilweise Ordnung, Teilordnung oder partielle Ordnung finden. Halbordnungen sind Ordnungsrelationen die transitiv, reflexiv, antisymmetrisch aber nicht linear sind. Dargestellt werden können Halbordnungen in Hasse-Diagrammen.

Zitat:



Edsger Wybe Dijkstra:

"Als es noch keine Computer gab, gab es auch das Programmieren als Problem nicht. Als es dann ein paar leistungsschwache Computer gab, wurde das Programmieren zu einem kleinen Problem und nun, wo wir leistungsstarke Computer haben, ist auch das Programmieren zu einem riesigen Problem angewachsen. In diesem Sinne hat die elektronische Industrie kein einziges Problem gelöst, sondern nur neue geschaffen." - The Humble Programmer, ACM Turing Lecture 1972