Nn + 1 → N, h :
Nn → N primitiv rekursive Funktionen und sei f :
Nn → N definiert durch:
www-madlener.informatik.uni-kl.deNn + 1 → N, h :
Nn → N be primitivly recursive functions and let f :
Nn → N be defined by:
www-madlener.informatik.uni-kl.deBeweis der Korrektheit der Prozedur 4-way-merge mit Hilfe des 0-1-Prinzips
Durch rekursive Anwendung der Prozedur 4-way-merge kann ein völlig unsortiertes Feld grobsortiert werden:
Prozedur roughsort(k)
www.iti.fh-flensburg.deProof of the correctness of procedure 4-way merge using the 0-1-principle
By recursive application of procedure 4-way merge a totally unsorted array is roughly sorted:
Procedure roughsort (k)
www.iti.fh-flensburg.deHierfür genügen 2k oets-Schritte.
Durch rekursive Anwendung der Prozedur ls3Merge kann ein völlig unsortiertes Feld sortiert werden:
www.iti.fh-flensburg.deSince it consists of at most 2k elements, 2k oets-steps are sufficient.
By recursive application of procedure ls3-merge an unsorted array is sorted:
www.iti.fh-flensburg.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.Hier kannst du uns Verbesserungen dieses PONS-Eintrags vorschlagen:
Wie kann ich Übersetzungen in den Vokabeltrainer übernehmen?
Bitte beachte, dass die Vokabeln in der Vokabelliste nur in diesem Browser zur Verfügung stehen. Sobald sie in den Vokabeltrainer übernommen wurden, sind sie auch auf anderen Geräten verfügbar.