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

%ue08
\showUnit{wohlfundierteinduktion}
\showUnit{landausymbole}

%ue09
\showUnit{zaehlen}
\showUnit{doppeltesabzaehlen}
\showUnit{schubfachprinzip}
\end{document}