diff --git a/notebooks/presentations/ABZ 2021.ipynb b/notebooks/presentations/ABZ 2021.ipynb index d7eaec16c5944fe17d1eb4beeb1c0b517f7d5a3a..86d5ffdce9f878483cb5cbbdb11acd9d2c0609f3 100644 --- a/notebooks/presentations/ABZ 2021.ipynb +++ b/notebooks/presentations/ABZ 2021.ipynb @@ -13,7 +13,7 @@ "### David Geleßus, Michael Leuschel\n", "### ABZ 2021\n", "\n", - "### https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel\n", + "https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel\n", "\n", "" ] @@ -164,7 +164,11 @@ { "cell_type": "code", "execution_count": 3, - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "outputs": [ { "data": { @@ -216,7 +220,11 @@ }, { "cell_type": "markdown", - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "source": [ "Outputs are rendered as $\\LaTeX$ formulas:" ] @@ -246,11 +254,7 @@ }, { "cell_type": "markdown", - "metadata": { - "slideshow": { - "slide_type": "subslide" - } - }, + "metadata": {}, "source": [ "Unicode symbols can also be used in inputs:" ] @@ -365,7 +369,11 @@ { "cell_type": "code", "execution_count": 9, - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "outputs": [ { "data": { @@ -519,7 +527,11 @@ }, { "cell_type": "markdown", - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "source": [ "## Working with Machines" ] @@ -573,7 +585,11 @@ }, { "cell_type": "markdown", - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "source": [ "Expressions are evaluated in the current state of the machine." ] @@ -647,12 +663,16 @@ { "cell_type": "code", "execution_count": 16, - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "outputs": [ { "data": { "text/plain": [ - "0.033 sec, 7 of 7 states processed, 11 transitions" + "0.040 sec, 7 of 7 states processed, 11 transitions" ] }, "metadata": {}, @@ -713,7 +733,10 @@ "cell_type": "code", "execution_count": 18, "metadata": { - "scrolled": true + "scrolled": true, + "slideshow": { + "slide_type": "subslide" + } }, "outputs": [ { @@ -982,7 +1005,11 @@ }, { "cell_type": "markdown", - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "source": [ "### STRING_LENGTH\n", "\n", @@ -1039,7 +1066,11 @@ }, { "cell_type": "markdown", - "metadata": {}, + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, "source": [ "### STRING_SPLIT\n", "\n", @@ -1131,7 +1162,7 @@ "* Course materials/lecture notes as notebooks\n", " * Students can execute examples themselves and experiment with the code\n", " * Visualisation of concepts like relations, finite automata\n", - " * `nbconvert` renders notebooks to standard formats (HTML, PDF)\n", + " * `nbconvert` renders notebooks to HTML, PDF, etc.\n", "* Exercise sheets as notebooks\n", " * An incomplete notebook with exercises is provided\n", " * Students solve the exercises and turn in the finished notebook\n", @@ -1515,6 +1546,21 @@ "* Jupyter Notebook makes it easy to integrate new languages/tools in notebooks\n", "* The Jupyter ecosystem provides a standard file format and useful tools (`nbconvert`, `nbgrader`, ...)" ] + }, + { + "cell_type": "markdown", + "metadata": { + "slideshow": { + "slide_type": "subslide" + } + }, + "source": [ + "### Links\n", + "\n", + "Load this notebook in your browser: https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob2-jupyter-kernel.git/master?filepath=notebooks%2Fpresentations%2FABZ%202021.ipynb\n", + "\n", + "Download and install locally: https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel" + ] } ], "metadata": {