Added example exam

This commit is contained in:
Leon Vatthauer 2024-04-02 10:39:33 +02:00
parent 78cd9676f4
commit cce33d138a
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
5 changed files with 128 additions and 1 deletions

2
.gitignore vendored
View file

@ -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

View file

@ -0,0 +1,2 @@
Milius
fold-Schema

View file

42
exam/.vscode/settings.json vendored Normal file
View file

@ -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"
}
}

83
exam/main.tex Normal file
View file

@ -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}