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:40:19 +01:00
parent e46b974f85
commit 7d2c51a966
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Tutorium/tut07/README.md
View File

@ -95,13 +95,13 @@
- 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: