Thread Terminologie: Sortieren nach anderswo definierter Reihenfolge
(6 answers)
Opened by payx at 2014-05-06 09:23
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 |