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)

Aendlich
A^\astabzählbar unendlich
\mathcal{P}(A^\ast)überabzählbar unendlich
\mathcal{X}_Müberabzählbar unendlich
\mathcal{X}_M berechenbar?????
\mathcal{X}_M implementierbarabzä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