# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1386023745 -3600
# Node ID 18990097641350c338cbee740593fdc1ee647a99
# Parent  f4b50c94431dde7cb14ef1a1d37e2b4c9464dae1
add complete notes tex file without build

diff -r f4b50c94431d -r 189900976413 notes/tex/complete_notes.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/notes/tex/complete_notes.tex	Mon Dec 02 23:35:45 2013 +0100
@@ -0,0 +1,49 @@
+\input{preamble.tex}
+\input{frames.tex}
+
+\title{Übersichtsfolien zur Übung}
+\subtitle{Diskrete Strukturen im Wintersemester 2013/2014}
+\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
+
+\begin{document}
+\showUnit{titel}
+%ue01
+\showUnit{organisatorisches}
+\showUnit{uebungsablauf}
+\showUnit{wasistds}
+
+\showUnit{mengen}
+\showUnit{mengenoperationen}
+\showUnit{venn}
+\showUnit{mengenrechenregeln}
+\showUnit{potenzmenge}
+\showUnit{tupel}
+\showUnit{kreuzprodukt}
+
+%ue02
+\showUnit{relationen}
+\showUnit{relationeneigenschaften}
+\showUnit{funktionen}
+
+%ue03
+\showUnit{aussagenlogiksyntax}
+\showUnit{aussagenlogiksemantik}
+
+%ue04
+\showUnit{aussagenlogikaequivalenzen}
+\showUnit{aussagenlogiknormalformen}
+\showUnit{DPLL}
+
+%ue05
+\showUnit{resolution}
+\showUnit{kalkuele}
+\showUnit{natuerlichesschliessen}
+
+%ue06
+\showUnit{praedikatenlogiksyntax}
+\showUnit{praedikatenlogikstruktur}
+
+%ue07
+\showUnit{natuerlichesschliessenquantoren}
+\showUnit{induktion}
+\end{document}