From 7d2c51a9661189612a760d45b2b20130f5af82dd Mon Sep 17 00:00:00 2001 From: Nils Pukropp Date: Fri, 1 Dec 2023 08:40:19 +0100 Subject: [PATCH] updated for katex :) --- Tutorium/tut07/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Tutorium/tut07/README.md b/Tutorium/tut07/README.md index eccf43e..c2f4e32 100644 --- a/Tutorium/tut07/README.md +++ b/Tutorium/tut07/README.md @@ -95,13 +95,13 @@ - Gibt es Rekursionen die nicht iterative berechenbar sind? - $\mu$-Rekursionen oder partiell Rekursionen - erste partiell rekursive Funktion von Wilhelm Ackermann 1926, die "Ackermannfunktion" - \[ + $$ \begin{align*} \alpha(0, m) &= m + 1 \\ \alpha(n, 0) &= \alpha(n - 1, 1) \\ \alpha(n, m) &= \alpha(n, \alpha(n, m - 1)) \end{align*} - \] + $$ ```python def ack(n: int, m: int) -> int: