nvrl/eidp-2023
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

updated for katex :)

Browse Source
This commit is contained in:
Nils Pukropp
2023-12-01 08:42:34 +01:00
parent 7d2c51a966
commit 10e5a739db
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Tutorium/tut07/README.md
View File

@ -95,13 +95,11 @@
- Gibt es Rekursionen die nicht iterative berechenbar sind? - Gibt es Rekursionen die nicht iterative berechenbar sind?
- $\mu$-Rekursionen oder partiell Rekursionen - $\mu$-Rekursionen oder partiell Rekursionen
- erste partiell rekursive Funktion von Wilhelm Ackermann 1926, die "Ackermannfunktion" - erste partiell rekursive Funktion von Wilhelm Ackermann 1926, die "Ackermannfunktion"
$$ $$\begin{align}
\begin{align*}
\alpha(0, m) &= m + 1 \\ \alpha(0, m) &= m + 1 \\
\alpha(n, 0) &= \alpha(n - 1, 1) \\ \alpha(n, 0) &= \alpha(n - 1, 1) \\
\alpha(n, m) &= \alpha(n, \alpha(n, m - 1)) \alpha(n, m) &= \alpha(n, \alpha(n, m - 1))
\end{align*} \end{align}$$
$$
```python ```python
def ack(n: int, m: int) -> int: def ack(n: int, m: int) -> int: