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