Unverified Commit 03b866de authored by Philip K.'s avatar Philip K. 🌝

initial commit

parents
*~
\#*\#
/auto/
.dir-locals.el
*.aux
*.log
*.fls
*.out
*.toc
*.pdf
# Braindump ThProg SS2019
Hier wird ein Braindump für die [ThProg][thprog] Klausur
zusammengestellt. Gesammeltes Material von nach der Klausur ist
[hier][material] zu finden. Weiteres Material, Aufzeichnungen oder
Notizen gerne [mir][mir] schicken.
[thprog]: https://www8.cs.fau.de/ss19:thprog
[material]: https://wwwcip.informatik.uni-erlangen.de/~oj14ozun/nonpub/thprog-braindump/
[mir]: https://wwwcip.informatik.uni-erlangen.de/~oj14ozun#contact
\RequirePackage[l2tabu, orthodox]{nag} %
\documentclass[a4paper,10pt]{scrartcl}
\usepackage[T1]{fontenc} %
\usepackage[utf8]{inputenc} %
\usepackage[ngerman]{babel} %
\usepackage{hyperref} %
\usepackage{lmodern} %
\usepackage{microtype} %
\usepackage[margin=3.14159265359cm,marginparwidth=2cm]{geometry} %
\usepackage[shortlabels]{enumitem} %
\usepackage[per-mode=fraction,binary-units=true,exponent-product=\cdot]{siunitx}
\usepackage{amsmath} %
\usepackage{tikz} %
\usetikzlibrary{arrows,automata,positioning,matrix} %
\subject{\textsc{Klausur Braindump}\thanks{\textit{Wie Immer:} Keine Garantie auf
Richtigkeit. Angaben werden zum meisten Teil vereinfacht
wiedergegeben. Fehler und Verbesserungen via Gitlab melden:
\url{https://gitlab.cs.fau.de/oj14ozun/thprog-ss19}.}} %
\title{Theorie der Programmierung} %
\date{\textsc{Sommersemester 19}} %
\author{Diverse Teilnehmer}
\renewcommand{\arraystretch}{1.5}
\makeatletter
\newcommand{\points}[1]{
\marginpar{\sffamily{}
#1
\ifnum\pdf@strcmp{\unexpanded{#1}}{1}=0
\expandafter\@firstoftwo
\else
\expandafter\@secondoftwo
\fi
{Punkt}
{Punkte}
}
}
\makeatother
\begin{document}
\maketitle{}
\input{termersetzung}
\input{system-f}
\input{strukturell}
\input{korekursion}
\input{automata}
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
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