Commit 3fe2f41e authored by Niklas Rieken's avatar Niklas Rieken

changed README

parent b76b988b
No preview for this file type
......@@ -64,6 +64,7 @@
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\bin}{bin}
\DeclareMathOperator{\xor}{xor}
\let\emptyset\varnothing
\lstset{numbers=left, xleftmargin=.2\textwidth, xrightmargin=.2\textwidth, basicstyle=\ttfamily\bfseries}
......
# PDFs aus FoSAP und BuK
Für meine FoSAP- und BuK-Tutorien habe ich regelmäßig Zusammenfassungen des Stoffs geschrieben, diese befinden sich nun auch hier.
# Lernmaterialien für FoSAP und BuK
Für meine Tutorien, die ich beim i7 für die Veranstaltungen *Formale Systemen,
Automaten, Prozesse* und *Berechenbarkeit und Komplexitätstheorie* gehalten
habe, habe ich regelmäßig Zusammenfassungen des Stoffs geschrieben und ein paar
Lösungen zu Beispielaufgaben zur Verfügung gestellt. Diese befinden sich nun
auch in diesem Repo.
Außerdem habe ich begonnen ein Vorlesungsskript für die Vorlesung *Formale
Systeme, Automaten, Prozesse* zu schreiben auf Basis der Vorlesungen von Prof.
Grohe und Prof. Thomas. Der aktuelle Stand befindet sich im Ordner
`FoSAP/Skript`. Ich freue mich über Fehlermeldungen oder auch Pull Requests.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment