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:44:11 +01:00
parent 10e5a739db
commit 36a6e83054
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
Tutorium/tut07/README.md
View File

@ -95,11 +95,10 @@
- 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}
\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}$$
```python ```python
def ack(n: int, m: int) -> int: def ack(n: int, m: int) -> int: