Thread Terminologie: Sortieren nach anderswo definierter Reihenfolge (6 answers)
Opened by payx at 2014-05-06 09:23

payx
 2014-05-07 17:53
#175412 #175412
User since
2006-05-04
564 Artikel
BenutzerIn

user image
Hallo murphy,

vielen Dank, das Stichwort Wohlordnung (engl. Well-order) ist wohl in der Tat das richtige.

Einen griffigen Terminus für das beschriebene Vorgehen habe ich zwar immer noch nicht, aber ich kann es jetzt zumindest gut darstellen.

Dein Code-Beispiel ist beeindruckend, auch dafür vielen Dank.

Grüße
payx

View full thread Terminologie: Sortieren nach anderswo definierter Reihenfolge