CategoryTheory/algprog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add second example exam

Browse source
This commit is contained in:
Leon Vatthauer 2024-04-02 16:09:35 +02:00
parent 568cc110a9
commit 43ad4706b0
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
2 changed files with 40 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
exam/.vscode/ltex.dictionary.de-DE.txt vendored
View file

@ -13,3 +13,4 @@ Koinduktion
bisimilar bisimilar
verhaltensäquivalent verhaltensäquivalent
bisimilarität bisimilarität
Yoneda

53
exam/main.tex
View file

@ -4,7 +4,7 @@
%Format Header and footer %Format Header and footer
\pagestyle{headandfoot} \pagestyle{headandfoot}
\header{\footnotesize Algebra des Programmierens}{}{\footnotesize 2024\\Prof.\ Dr.\ Stefan Milius} \header{\footnotesize Algebra des Programmierens}{}{\footnotesize WS23/24\\Prof.\ Dr.\ Stefan Milius}
\headrule{} \headrule{}
\footrule{} \footrule{}
\setlength{\columnsep}{0.25cm} \setlength{\columnsep}{0.25cm}
@ -29,20 +29,20 @@
\part Wie lauten die zwei Regeln bezüglich des fold-Schemas? \part Wie lauten die zwei Regeln bezüglich des fold-Schemas?
\end{parts} \end{parts}
\titledquestion{CPO}
\begin{parts}
\part Was sind CPOs?
\part Was besagt der Kleensche Fixpunktsatz?
\part Wie beweist man ihn?
\end{parts}
\titledquestion{F-Algebren} \titledquestion{F-Algebren}
\begin{parts} \begin{parts}
\part Was sind F-Algebren? \part Was sind F-Algebren?
\part Was sind initiale Algebren? \part Was sind initiale Algebren?
\part Hat jeder Funktor eine initiale Algebra? Gegenbeispiel, wenn nein. \part Hat jeder Funktor eine initiale Algebra? Gegenbeispiel, wenn nein.
\part Wie beweist man Lambeks Lemma? \part Wie beweist man Lambeks Lemma?
\part Wie konstruiert man F-Algebren? \part Wie konstruiert man initiale F-Algebren?
\end{parts}
\titledquestion{CPO}
\begin{parts}
\part Was sind CPOs?
\part Was besagt der Kleensche Fixpunktsatz?
\part Wie beweist man ihn?
\end{parts} \end{parts}
\titledquestion{F-Koalgebren} \titledquestion{F-Koalgebren}
@ -66,18 +66,43 @@
\section{P2} \section{P2}
\begin{questions} \begin{questions}
\titledquestion{Induktive Datentypen} \titledquestion{Induktive Datentypen}
\begin{parts}
\part Erklären Sie induktive Datentypen anhand von Bäumen (mit Daten in den Knoten).
\titledquestion{F-Algebren} \part Wie sieht das fold-Schema für diesen Datentyp aus?
\part Wie lauten die zwei Regeln bezüglich des fold-Schemas?
\end{parts}
\titledquestion{CPO} \titledquestion{CPO}
\begin{parts}
\part Was sind CPOs?
\part Was besagt der Kleensche Fixpunktsatz?
\part Wie beweist man ihn?
\end{parts}
\titledquestion{F-Algebren}
\begin{parts}
\part Was sind F-Algebren?
\part Was sind initiale Algebren?
\part Hat jeder Funktor eine initiale Algebra? Gegenbeispiel, wenn nein.
\part Wie lautet das Yoneda Lemma?
\part Wie konstruiert man initiale F-Algebren?
\end{parts}
\titledquestion{F-Koalgebren} \titledquestion{F-Koalgebren}
\begin{parts}
\part Was ist eine Koalgebra und wofür verwendet man sie?
\part Nennen Sie 2 Beispiele mit ihren terminalen Koalgebren.
\part Wie konstruiert man terminale Koalgebren?
\part Was kann man bei nicht finitären Funktoren machen?
\end{parts}
\titledquestion{Koinduktion} \titledquestion{Koinduktion}
\begin{parts}
\part Was ist eine Bisimulation?
\part Wann sind zwei Zuständen bisimilar?
\part Wann sind zwei Zustände verhaltensäquivalent?
\part Wie folgert man aus bisimilarität Verhaltensäquivalenz und wann gilt die Umkehrung?
\end{parts}
\end{questions} \end{questions}
\end{document} \end{document}