From 19b4187d13e142a6d8fa601acaf5397d9a969e25 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Thu, 16 Apr 2020 17:19:30 +0200 Subject: [PATCH] add file for Mengentheorie lecture --- info4/kapitel-0/Mengentheorie.ipynb | 38 +++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 info4/kapitel-0/Mengentheorie.ipynb diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb new file mode 100644 index 0000000..96025b7 --- /dev/null +++ b/info4/kapitel-0/Mengentheorie.ipynb @@ -0,0 +1,38 @@ +{ + "cells": [ + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "# Vorlesung 0 - Teil 2 Mengentheorie\n", + "\n", + "Grundlagen der Logik und Mengentheorie sind nicht im Skript.\n", + "Hier definieren wir einige Grundlagen und Notationen die im Skript verwendet werden.\n", + "Ein gutes Verständnis dieser Grundlagen und Notationen ist für das Verständnis des Skripts, aber auch anderer Teile der Informatik unumgänglich.\n", + "\n" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": {}, + "outputs": [], + "source": [] + } + ], + "metadata": { + "kernelspec": { + "display_name": "ProB 2", + "language": "prob", + "name": "prob2" + }, + "language_info": { + "codemirror_mode": "prob2_jupyter_repl", + "file_extension": ".prob", + "mimetype": "text/x-prob2-jupyter-repl", + "name": "prob" + } + }, + "nbformat": 4, + "nbformat_minor": 2 +} -- GitLab