Ausdrucksfähigkeit der Alg.-Modelle

Weitere Magazine

Empfehlungen

Info

$LaTeX-Kurs SS11 - Handzettel 1$

$LaTeX-Kurs SS11 - Handzettel 2$

Veranschaulichung des Halteproblems 2 Konstruktion einer neuen Maschine SELTSAM mit STOP x SELTSAM x JA STOP x NEIN OK 256
Verhalten von SELTSAM Hält SELTSAM bei der Eingabe von SELTSAM? 1. Wenn ja, so wird der JA-Ausgang von STOP angelaufen und SELTSAM gerät in die Endlosschleife, hält also nicht. Widerspruch! 2. Wenn nein, so wird der NEIN-Ausgang von STOP angelaufen und SELTSAM stoppt mit OK. Widerspruch! 257
Seite 1 und 2: Ausdrucksfähigkeit der Alg.-Modell
Seite 3 und 4: Universelle Algorithmenmodelle Ein
Seite 5 und 6: Teil VI Eigenschaften von Algorithm
Seite 7 und 8: Berechenbarkeit und Entscheidbarkei
Seite 9 und 10: Einschub: Abzählbarkeit (1) Eine
Seite 11 und 12: Existenz nichtberechenbarer Funktio
Seite 13 und 14: Konkrete nichtberechenbare Funktion
Seite 15 und 16: Halteproblem Funktion h basiert au
Seite 17: Veranschaulichung des Halteproblems
Seite 21 und 22: Formaler Beweis (2) Da g berechenb
Seite 23 und 24: Post’sches Korrespondenzproblem
Seite 25 und 26: Post’sches Korrespondenzproblem:

Ausdrucksfähigkeit der Alg.-Modelle

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?