Skip to content
Snippets Groups Projects
Commit 3ec22536 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add Makefile entry to make slides

parent 5345c957
Branches
No related tags found
No related merge requests found
...@@ -13,3 +13,6 @@ latex: ...@@ -13,3 +13,6 @@ latex:
jupyter nbconvert $$spec --to latex ; \ jupyter nbconvert $$spec --to latex ; \
done done
echo "done" echo "done"
slides:
jupyter nbconvert notebooks/presentations/SETS_RODIN18.ipynb --to slides --post serve
\ No newline at end of file
...@@ -2,21 +2,33 @@ ...@@ -2,21 +2,33 @@
"cells": [ "cells": [
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"## Introduction to B ##" "## Introduction to B ##"
] ]
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"### Basic Datavalues ###" "### Basic Datavalues ###"
] ]
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"source": [ "source": [
"B provides the booleans, strings and integers as built-in datatypes." "B provides the booleans, strings and integers as built-in datatypes."
] ]
...@@ -24,7 +36,11 @@ ...@@ -24,7 +36,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 1, "execution_count": 1,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"outputs": [ "outputs": [
{ {
"data": { "data": {
...@@ -44,7 +60,11 @@ ...@@ -44,7 +60,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 2, "execution_count": 2,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"outputs": [ "outputs": [
{ {
"data": { "data": {
...@@ -64,7 +84,11 @@ ...@@ -64,7 +84,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 3, "execution_count": 3,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"outputs": [ "outputs": [
{ {
"data": { "data": {
...@@ -83,7 +107,11 @@ ...@@ -83,7 +107,11 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"Users can define their own datatype in a B machine.\n", "Users can define their own datatype in a B machine.\n",
"One distinguishes between explicitly specified enumerated sets and deferred sets." "One distinguishes between explicitly specified enumerated sets and deferred sets."
...@@ -92,7 +120,11 @@ ...@@ -92,7 +120,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 5, "execution_count": 5,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"outputs": [ "outputs": [
{ {
"name": "stdout", "name": "stdout",
...@@ -125,7 +157,11 @@ ...@@ -125,7 +157,11 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"source": [ "source": [
"For animation and constraint solving purposes, ProB will instantiate deferred sets to some finite set (the size of which can be controlled)." "For animation and constraint solving purposes, ProB will instantiate deferred sets to some finite set (the size of which can be controlled)."
] ]
...@@ -133,7 +169,11 @@ ...@@ -133,7 +169,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 6, "execution_count": 6,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "subslide"
}
},
"outputs": [ "outputs": [
{ {
"data": { "data": {
...@@ -152,7 +192,11 @@ ...@@ -152,7 +192,11 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"### Pairs ###\n", "### Pairs ###\n",
"B also has pairs of values, which can be written in two ways:" "B also has pairs of values, which can be written in two ways:"
...@@ -161,7 +205,11 @@ ...@@ -161,7 +205,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 7, "execution_count": 7,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "fragment"
}
},
"outputs": [ "outputs": [
{ {
"data": { "data": {
...@@ -181,7 +229,11 @@ ...@@ -181,7 +229,11 @@
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 8, "execution_count": 8,
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "fragment"
}
},
"outputs": [ "outputs": [
{ {
"data": { "data": {
...@@ -227,7 +279,11 @@ ...@@ -227,7 +279,11 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"### Sets ###\n", "### Sets ###\n",
"Sets in B can be specified in multiple ways.\n", "Sets in B can be specified in multiple ways.\n",
...@@ -398,14 +454,22 @@ ...@@ -398,14 +454,22 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"## Expressions vs Predicates vs Substitutions ##" "## Expressions vs Predicates vs Substitutions ##"
] ]
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"\n", "\n",
"### Expressions ###\n", "### Expressions ###\n",
...@@ -521,7 +585,11 @@ ...@@ -521,7 +585,11 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"## Predicates\n", "## Predicates\n",
"ProB can also be used to evaluate predicates (B distinguishes between expressions which have a value and predicates which are either true or false)." "ProB can also be used to evaluate predicates (B distinguishes between expressions which have a value and predicates which are either true or false)."
...@@ -628,7 +696,11 @@ ...@@ -628,7 +696,11 @@
}, },
{ {
"cell_type": "markdown", "cell_type": "markdown",
"metadata": {}, "metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [ "source": [
"### Substitutions ###\n", "### Substitutions ###\n",
"B also has a rich syntax for substitutions, aka statements.\n", "B also has a rich syntax for substitutions, aka statements.\n",
...@@ -645,6 +717,7 @@ ...@@ -645,6 +717,7 @@
} }
], ],
"metadata": { "metadata": {
"celltoolbar": "Slideshow",
"kernelspec": { "kernelspec": {
"display_name": "ProB 2", "display_name": "ProB 2",
"language": "prob", "language": "prob",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment