comparison 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
comparison
equal deleted inserted replaced
55:1cb55fb1c934 56:1cbb4a5e6ce7
1 \defineUnit{klausurstoff}{%
2 \begin{frame}
3 \frametitle{Klausurstoff}
4
5 \begin{columns}
6 \begin{column}{.45\textwidth}
7 \begin{itemize}
8 \item Basics
9 \begin{itemize}
10 \item Mengenoperationen
11 \item Relationen
12 \item Funktionen
13 \end{itemize}
14 \vspace{1em}
15 \item Logik
16 \begin{itemize}
17 \item Äquivalenzregeln
18 \item \structure{KNF und DNF}
19 \item \structure{DPLL}
20 \item \structure{Resolution}
21 \item Natürliches Schließen
22 \item (Wohlfundierte) Induktion
23 \end{itemize}
24 \vspace{1em}
25 \item Landausymbole
26 \begin{itemize}
27 \item Quantorenschreibweise
28 \item Grenzwertschreibweise
29 \end{itemize}
30 \vspace{1em}
31 \item Kombinatorik
32 \begin{itemize}
33 \item Binomialkoeffizienten
34 \item Doppeltes Abzählen
35 \item Schubfachprinzip
36 \item Inklusion/Exklusion
37 \item Stirlingzahlen
38 \end{itemize}
39 \end{itemize}
40 \end{column}
41 \begin{column}{.55\textwidth}
42 \begin{itemize}
43 \item Graphentheorie
44 \begin{itemize}
45 \item Einfache \& gerichtete Graphen
46 \item \structure{Prüfercode}
47 \item \structure{Gradfolgen}
48 \item \structure{Spannbäume \& Eulertouren}
49 \item Färung \& Planarität
50 \item (Matchings)
51 \end{itemize}
52 \vspace{1em}
53 \item Algebra
54 \begin{itemize}
55 \item Gruppendefinition
56 \item Untergruppen
57 \item Erzeugnisse
58 \item Modulo-Rechnung
59 \item \structure{Erweiterter Euklid}
60 \item Isomorphien
61 \item (RSA)
62 \end{itemize}
63 \end{itemize}
64 \end{column}
65 \end{columns}
66 \end{frame}
67 }