Update: inhaltlich (noch) nichts, aber als Aufbau zu KE6 entsprechend verwurstelt. Alle weiteren Beiträge findet Ihr hier: TIA: Rekursive und rekursiv-aufzählbare Mengen (Lernziele KE6, 1/4) TIA: Bild- und Projektionssatz (Lernziele KE6 2/4) TIA: Halte- Äquivalenz- und Korrektheitsproblem, Reduzierbarkeit, Satz von Rice (Lernziele KE6, 3/4) TIA: Gödel'scher Unvollständigkeitssatz (Lernziele KE6, 4/4) Zwar sind dem Thema im […]

Update: mir sind einige Schnitzer beim Halteproblem aufgefallen, die ich mittlerweile ausgeräumt haben sollte. Hoffe ich. Auch habe ich den Beitrag um den Beweis zum Bild- und Projektionssatz erweitert (der nun in einem eigenen Beitrag steht), was ihn leider um ein paar Seiten verlängert hat. Es gibt insg. drei vier Beiträge zur KE6. TIA: Rekursive […]

Update: Index-Fehler zu (Danke, Martin!) Update: auch hier habe mich mich noch strikter an die Lernziele gehalten. Zusätzlich dazu wurden noch ein paar Beispiele zu entscheidbaren und semi-entscheidbaren Funktionen eingepflegt um das Verständnis zu erleichtern, was mir hoffentlich gelungen ist 😉 Update 2: ich merke gerade, dass die Einträge zu lang sind. Selbst die Ladezeiten […]

Update: Formulierungen etwas verständlicher gemacht. Wenn euch das smn-Theorem noch nicht ganz klar, war bitte den Beitrag nochmal lesen. Update: aus zwei macht drei. Das ist nun hoffentlich der letzte Teil zu KE5 mit einem riesen Beispiel zum smn-Theorem. Noch einmal die Wiederholung der zwei Anforderungen an vernünftige Programmiersprachen: (U) Es soll einen Computer geben, […]

Update 2: Fehler korrigiert. Danke Max. Update 2: Merksatz zum Lernziel hinzugefügt. Update: aus zwei Beiträgen habe ich mittlerweile drei gemacht. Die Ladezeiten vom smn-Theorem waren ja nicht zu ertragen. Nun Teil 2 der Kurseinheit 5. Nachdem wir in Teil 1 die Standardnummerierung und die Standardkomplexität und das -Theorem behandelt haben, folgen in diesem und dem […]