Vorlesung 8 Lemke

Aus ProgrammingWiki

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?