BuK/IIm20/Vorlesung 4 Grüning

Wiki-Quelltext dieser Seite.

<language>Python</language>
== Seite 10/11 ==

$\frac{\sqrt{8 \cdot \frac{(w+1)^2 + w + 1}{2} + 1} - 1}{2}$

[[Bild:Pi_function.jpg]]

$\pi(1, 3) = 13 = \frac{2}{(1 + 3) (1 + 3 +1)} + y = 4 \cdot 5 / 2 + 3 = 10+3 = 13$


== Seite 26 ==

entscheidbar: $\chi$ liefert für alle Wörter ob sie in der Menge M sind oder nicht und ist berechenbar

aufzählbar: total surjektive berechenbare Funktion welche $\mathbf{N} \rightarrow M$

Wenn M entscheidbar dann M aufzählbar

Wir iterrieren durch $A^*$ g: $\mathbf{N} \rightarrow A^*$. Wir bekommen somit alle Wörter von $A^*$ und fragen die charakteristische Funktion $\chi$, ob das Wort w in $M$ ist oder nicht.
Falls nicht dann bildet man $n$ auf ein Element aus $M$ (a) ab. Falls es enthalten ist, dann $n \rightarrow w$

'''Falsch:''' Wenn $M$ aufzählbar dann $M$ entscheidbar

Notbremse nicht immer vorhanden

== Seite 28 ==

entscheidbar: $\chi$ liefert für alle Wörter ob sie in der Menge M sind oder nicht und ist berechenbar

aufzählbar: total surjektive berechenbare Funktion welche $\mathbf{N} \rightarrow M$

Wenn $M$ entscheidbar, dann $M$ und $A^* \setminus M$ aufzählbar

Wir iterrieren durch $A^*$ g: $\mathbf{N} \rightarrow A^*$. Wir bekommen somit alle Wörter von $A^*$ und fragen die charakteristische Funktion $\chi$, ob das Wort w in $M$ ist oder nicht.
$M$: Falls nicht dann bildet man $n$ auf ein Element aus $M$ (a) ab. Falls es enthalten ist, dann $n \rightarrow w$
$A^* \setminus M$: Falls nicht dann $n \rightarrow w$. Falls es enthalten ist, dann $n \rightarrow a$ aus $A^* \setminus M$

== Seite 32 ==

<code id="607c265f453e4">
def M(n):
  return 2 * n + 1

def A_M(n):
  return 2 * n
def menge_bis(M, n):
  print([M(i) for i in range(n)])
</code>

<run id="607c265f454bd">
menge_bis(M, 10)
menge_bis(A_M, 10)
</run>

<code id="607c265f45460">
def chi_M(n):
  c = 0
  while True:
    if M(c) == n:
      print(True)
      return
    if A_M(c) == n:
      print(False)
      return
    c += 1
</code>
<run id="607c265f45511">
chi_M(9199)
</run>

== Seite 33 ==

[[Bild:Mengen.png]]