Vorlesung 8 Lemke

Aus ProgrammingWiki

Wechseln zu: Navigation, Suche

Inhaltsverzeichnis

Übungsaufgabe S. 4

Gödelisierungseigenschaften

Goedel umkehr.jpg

Ableitung der 4. Eigenschaft aus den ersten 3

Goedel umkehr2.jpg

Übungsaufgabe S. 11

Prozeduren für G (Primzahlverschlüsselung) und $G^{−1} : G(A^∗) → A^∗$

Übungsaufgabe S. 13

f ist eine berechenbare Funktion genau dann, wenn h eine berechenbare Funktion ist

Beweis f h berechenbar aequivalenz.jpg

Kreativaufgabe

Ist MU Teil der MIU-Sprache?

MIU-Grammatik.jpg

Toni: Aber warum muss das den ungerade sein?

Persönliche Werkzeuge