From 2b50c3c76c597a251ffab1daf773e6ec5068d464 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 8 Jun 2021 23:33:23 +0200
Subject: [PATCH] Shorten ABZ 2021 slides slightly
---
notebooks/presentations/ABZ 2021.ipynb | 21 +++------------------
1 file changed, 3 insertions(+), 18 deletions(-)
diff --git a/notebooks/presentations/ABZ 2021.ipynb b/notebooks/presentations/ABZ 2021.ipynb
index 86d5ffd..ed97a25 100644
--- a/notebooks/presentations/ABZ 2021.ipynb
+++ b/notebooks/presentations/ABZ 2021.ipynb
@@ -672,7 +672,7 @@
{
"data": {
"text/plain": [
- "0.040 sec, 7 of 7 states processed, 11 transitions"
+ "0.037 sec, 7 of 7 states processed, 11 transitions"
]
},
"metadata": {},
@@ -908,21 +908,7 @@
}
},
"source": [
- "## Interactive Usage as a REPL\n",
- "\n",
- "* Jupyter Notebook can be used like a REPL\n",
- "* Advantages: easy multi-line input, rich text output, advanced editor features, saveable"
- ]
- },
- {
- "cell_type": "markdown",
- "metadata": {
- "slideshow": {
- "slide_type": "subslide"
- }
- },
- "source": [
- "## Interactive Editing of Models\n",
+ "## Interactive Development\n",
"\n",
"* Any part of a notebook can be edited and re-executed\n",
"* Simplifies testing changes to the code, e.g.:\n",
@@ -1161,7 +1147,7 @@
"\n",
"* 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",
+ " * Visualisation of relations, graphs, etc.\n",
" * `nbconvert` renders notebooks to HTML, PDF, etc.\n",
"* Exercise sheets as notebooks\n",
" * An incomplete notebook with exercises is provided\n",
@@ -1542,7 +1528,6 @@
"* ProB Jupyter notebooks allow conveniently working interactively with B\n",
"* Usable standalone or with existing models\n",
"* Applications: development, documentation, teaching\n",
- "* Also has uses outside of formal methods, e.g. teaching theoretical CS\n",
"* 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`, ...)"
]
--
GitLab