From cce33d138a7151873ce604a38232457cdafb4d7e Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Tue, 2 Apr 2024 10:39:33 +0200
Subject: [PATCH] Added example exam

---
 .gitignore                                    |  2 +-
 exam/.vscode/ltex.dictionary.de-DE.txt        |  2 +
 .../ltex.hiddenFalsePositives.de-DE.txt       |  0
 exam/.vscode/settings.json                    | 42 ++++++++++
 exam/main.tex                                 | 83 +++++++++++++++++++
 5 files changed, 128 insertions(+), 1 deletion(-)
 create mode 100644 exam/.vscode/ltex.dictionary.de-DE.txt
 create mode 100644 exam/.vscode/ltex.hiddenFalsePositives.de-DE.txt
 create mode 100644 exam/.vscode/settings.json
 create mode 100644 exam/main.tex

diff --git a/.gitignore b/.gitignore
index d53be04..951c276 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,7 +23,7 @@
 # *.pdf
 
 ## Generated if empty string is given at "Please type another file name for output:"
-.pdf
+*.pdf
 
 ## Bibliography auxiliary files (bibtex/biblatex/biber):
 *.bbl
diff --git a/exam/.vscode/ltex.dictionary.de-DE.txt b/exam/.vscode/ltex.dictionary.de-DE.txt
new file mode 100644
index 0000000..31ea9c1
--- /dev/null
+++ b/exam/.vscode/ltex.dictionary.de-DE.txt
@@ -0,0 +1,2 @@
+Milius
+fold-Schema
diff --git a/exam/.vscode/ltex.hiddenFalsePositives.de-DE.txt b/exam/.vscode/ltex.hiddenFalsePositives.de-DE.txt
new file mode 100644
index 0000000..e69de29
diff --git a/exam/.vscode/settings.json b/exam/.vscode/settings.json
new file mode 100644
index 0000000..285582b
--- /dev/null
+++ b/exam/.vscode/settings.json
@@ -0,0 +1,42 @@
+{
+  "latex-workshop.latex.tools": [
+    {
+      "name": "latexmk-main",
+      "command": "latexmk",
+      "args": [
+        "-synctex=1",
+        "-interaction=nonstopmode",
+        "-file-line-error",
+        "-shell-escape",
+        "-pdf",
+        "-xelatex",
+        "-outdir=%OUTDIR%",
+        "main.tex"
+      ],
+      "env": {}
+    }
+  ],
+  "latex-workshop.latex.recipes": [
+    {
+      "name": "latexmk-main",
+      "tools": [
+        "latexmk-main"
+      ]
+    }
+  ],
+  "ltex.latex.commands": {
+    "\\customlabel{}": "ignore",
+    "\\setminted[]{}": "ignore",
+    "\\setmintedinline[]{}": "ignore",
+    "\\setmathfont[]{}": "ignore",
+    "\\setmathfont{}": "ignore",
+    "\\qformat{}": "ignore",
+    "\\header{}{}{}": "ignore",
+    "\\footer{}{}{}": "ignore",
+    "\\titleformat{}[]{}{}{}": "ignore",
+    "\\pgfplotsset{}": "ignore"
+  },
+  "ltex.latex.environments": {
+    "cases": "ignore"
+  }
+}
\ No newline at end of file
diff --git a/exam/main.tex b/exam/main.tex
new file mode 100644
index 0000000..17c56f2
--- /dev/null
+++ b/exam/main.tex
@@ -0,0 +1,83 @@
+% chktex-file 1
+\documentclass[11pt, a4paper]{exam}		%Doc : https://mirrors.ircam.fr/pub/CTAN/macros/latex/contrib/exam/examdoc.pdf
+\usepackage[ngerman]{babel}
+
+%Format Header and footer
+\pagestyle{headandfoot}
+\header{\footnotesize Algebra des Programmierens}{}{\footnotesize 2024\\Prof.\ Dr.\ Stefan Milius}
+\headrule{}
+\footrule{}
+\setlength{\columnsep}{0.25cm}
+\footer{}{Seite \thepage}{}
+
+% Change section command behaviour
+\usepackage{titlesec}
+\titleformat{\section}[frame]{\Huge\bfseries\filright}{}{2mm}{\centering Beispielprüfung }
+%Format the name of each exercise
+\qformat{\underline{\textbf{\thequestion. \thequestiontitle}}\hfill}
+\extrawidth{1.5cm}
+
+\title{Algebra des Programmierens}
+
+\begin{document}
+\section{P1}
+\begin{questions}
+  \titledquestion{Induktive Datentypen}
+  \begin{parts}
+    \part Erklären Sie induktive Datentypen anhand von Listen.
+    \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{F-Algebren}
+  \begin{parts}
+    \part Was sind F-Algebren?
+    \part Was sind initiale Algebren?
+    \part Hat jede Algebra eine initiale Algebra? Wenn nein Gegenbeispiel
+    \part Wie beweist man Lambeks Lemma?
+    \part Wie konstruiert man 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}
+
+  \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}
+  \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}
+
+\newpage
+\section{P2}
+\begin{questions}
+  \titledquestion{Induktive Datentypen}
+
+
+  \titledquestion{F-Algebren}
+
+
+  \titledquestion{CPO}
+
+
+  \titledquestion{F-Koalgebren}
+
+
+  \titledquestion{Koinduktion}
+
+\end{questions}
+\end{document}
\ No newline at end of file