From f971b1a195279af936764a6f4bb1ad030de11b86 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Wed, 17 Jun 2020 17:56:58 +0200 Subject: [PATCH] fix NAT symbols --- info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb index 7584e75..eb25817 100644 --- a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb +++ b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb @@ -12,7 +12,7 @@ "Funktionen auffassen.\n", "\n", "\n", - " Eine Funktion $f: \\nats^k \\rightarrow \\nats$ heißt \n", + " Eine Funktion $f: ℕ^k \\rightarrow ℕ$ heißt \n", " __Turing-berechenbar__, falls es eine deterministische\n", " Turingmaschine $M=(\\Sigma, \\Gamma, Z, \\delta ,z_0, \\Box, F)$ \n", " mit $\\Sigma = \\{0,1\\}$ \n", @@ -32,7 +32,7 @@ "cell_type": "markdown", "metadata": {}, "source": [ - " Die (total definierte) \\alert{\\em Nachfolgerfunktion} $f: \\nats \\rightarrow \\nats$ mit\n", + " Die (total definierte) __Nachfolgerfunktion__ $f: ℕ \\rightarrow ℕ$ mit\n", "* $f:n\\rightarrow n+1$\n", "ist Turing-berechenbar." ] -- GitLab