Vorlesung 3 Nerlich
Aus ProgrammingWiki
Archivierte Version vom 2021-04-11T16:01:15+00:00. Aktuelle Version
Inhaltsverzeichnis |
S.9
S.10
Berechenbarkeit = \exists Algorithmus, der für jedes x \in D_f den Funktionswert f effektiv ermittelt (effektiv = es muss ein entsprechendes Verfahren geben)
| A | endlich |
| A^\ast | abzählbar unendlich |
| \mathcal{P}(A^\ast) | überabzählbar unendlich |
| \mathcal{X}_M | überabzählbar unendlich |
| \mathcal{X}_M berechenbar | ????? |
| \mathcal{X}_M implementierbar | abzählbar unendlich |
S.15
G (gerade Zahlen)
G \subset \mathbb{N}
kann \mathbb{N} auf G abbilden: 0→0, 1→2, 2→4, etc.
P (Primzahlen)
P \subset \mathbb{N}, \exists berechenbare Methode für Entscheidung n \in P \hspace{4mm} \longrightarrow \hspace{4mm} f: durchprobieren
A^\ast
längenlexikografisch aufzählen