Mercurial > 13ws.ds
view notes/tex/outro.tex @ 56:1cbb4a5e6ce7
nicer euklid; ue15 notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Tue, 25 Feb 2014 00:26:19 +0100 |
parents | |
children |
line wrap: on
line source
\defineUnit{klausurstoff}{% \begin{frame} \frametitle{Klausurstoff} \begin{columns} \begin{column}{.45\textwidth} \begin{itemize} \item Basics \begin{itemize} \item Mengenoperationen \item Relationen \item Funktionen \end{itemize} \vspace{1em} \item Logik \begin{itemize} \item Äquivalenzregeln \item \structure{KNF und DNF} \item \structure{DPLL} \item \structure{Resolution} \item Natürliches Schließen \item (Wohlfundierte) Induktion \end{itemize} \vspace{1em} \item Landausymbole \begin{itemize} \item Quantorenschreibweise \item Grenzwertschreibweise \end{itemize} \vspace{1em} \item Kombinatorik \begin{itemize} \item Binomialkoeffizienten \item Doppeltes Abzählen \item Schubfachprinzip \item Inklusion/Exklusion \item Stirlingzahlen \end{itemize} \end{itemize} \end{column} \begin{column}{.55\textwidth} \begin{itemize} \item Graphentheorie \begin{itemize} \item Einfache \& gerichtete Graphen \item \structure{Prüfercode} \item \structure{Gradfolgen} \item \structure{Spannbäume \& Eulertouren} \item Färung \& Planarität \item (Matchings) \end{itemize} \vspace{1em} \item Algebra \begin{itemize} \item Gruppendefinition \item Untergruppen \item Erzeugnisse \item Modulo-Rechnung \item \structure{Erweiterter Euklid} \item Isomorphien \item (RSA) \end{itemize} \end{itemize} \end{column} \end{columns} \end{frame} }