update notebooks

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

update notebooks
e27af931 · Michael Leuschel · 4b876e81 · e27af931 · e27af931
Commit e27af931 authored 2 years ago by Michael Leuschel
--- a/info4/kapitel-9/Ackermann.ipynb
+++ b/info4/kapitel-9/Ackermann.ipynb
@@ -2,7 +2,7 @@
 "cells": [
  {
   "cell_type": "markdown",
-   "id": "05d7c16f",
+   "id": "4f85588b",
   "metadata": {},
   "source": [
    "## Die Ackermann Funktion"
@@ -11,7 +11,7 @@
  {
   "cell_type": "code",
   "execution_count": 1,
-   "id": "dc177e49",
+   "id": "fba4a5ee",
   "metadata": {},
   "outputs": [],
   "source": [
@@ -24,7 +24,7 @@
  {
   "cell_type": "code",
   "execution_count": 2,
-   "id": "4adf4ed2",
+   "id": "64a68f66",
   "metadata": {},
   "outputs": [
    {
@@ -44,7 +44,7 @@
  {
   "cell_type": "code",
   "execution_count": 3,
-   "id": "c26e7fa4",
+   "id": "0ff57d9f",
   "metadata": {},
   "outputs": [
    {
@@ -64,7 +64,7 @@
  {
   "cell_type": "code",
   "execution_count": 4,
-   "id": "d682c1fc",
+   "id": "190a83b9",
   "metadata": {},
   "outputs": [
    {
@@ -84,7 +84,7 @@
  {
   "cell_type": "code",
   "execution_count": 5,
-   "id": "0e1603db",
+   "id": "3617d235",
   "metadata": {},
   "outputs": [
    {
@@ -104,7 +104,7 @@
  {
   "cell_type": "code",
   "execution_count": 6,
-   "id": "41d483da",
+   "id": "5c189808",
   "metadata": {},
   "outputs": [
    {
@@ -124,7 +124,7 @@
  {
   "cell_type": "code",
   "execution_count": 7,
-   "id": "19e3c25f",
+   "id": "ed5076a9",
   "metadata": {},
   "outputs": [
    {
@@ -144,7 +144,7 @@
  {
   "cell_type": "code",
   "execution_count": null,
-   "id": "95f45975",
+   "id": "0097f444",
   "metadata": {},
   "outputs": [],
   "source": []

-%% Cell type:markdown id:05d7c16f tags:
+%% Cell type:markdown id:4f85588b tags:
 ## Die Ackermann Funktion
-%% Cell type:code id:dc177e49 tags:
+%% Cell type:code id:fba4a5ee tags:
 ``` prolog
 ack(0,N,R) :- !, R is N+1.
 ack(M1,0,R) :- !, M is M1-1, ack(M,1,R).
 ack(M1,N1,R) :- M is M1-1, N is N1-1, ack(M1,N,R1),ack(M,R1,R).
 ```
-%% Cell type:code id:4adf4ed2 tags:
+%% Cell type:code id:64a68f66 tags:
 ``` prolog
 ?- ack(1,1,R).
 ```
 %% Output
-%% Cell type:code id:c26e7fa4 tags:
+%% Cell type:code id:0ff57d9f tags:
 ``` prolog
 ?- ack(1,2,R).
 ```
 %% Output
-%% Cell type:code id:d682c1fc tags:
+%% Cell type:code id:190a83b9 tags:
 ``` prolog
 ?- ack(3,3,R).
 ```
 %% Output
-%% Cell type:code id:0e1603db tags:
+%% Cell type:code id:3617d235 tags:
 ``` prolog
 ?- ack(3,5,R).
 ```
 %% Output
-%% Cell type:code id:41d483da tags:
+%% Cell type:code id:5c189808 tags:
 ``` prolog
 ?- ack(3,6,R).
 ```
 %% Output
-%% Cell type:code id:19e3c25f tags:
+%% Cell type:code id:ed5076a9 tags:
 ``` prolog
 ?- ack(4,0,R).
 ```
 %% Output
-%% Cell type:code id:95f45975 tags:
+%% Cell type:code id:0097f444 tags:
 ``` prolog
 ```

--- a/info4/kapitel-9/PrimitiveRekursion.ipynb
+++ b/info4/kapitel-9/PrimitiveRekursion.ipynb