Mercurial > 13ws.ds
view notes/tex/complete_notes.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 | a9b64faf4b8f |
children |
line wrap: on
line source
\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{binomialkoeffizient} \showUnit{multimengen} \showUnit{doppeltesabzaehlen} \showUnit{schubfachprinzip} %ue10 \showUnit{inklusionexklusion} \showUnit{stirlingzahlen} %ue11 \showUnit{graphdefinition} \showUnit{pruefercode} %ue12 \showUnit{gradfolgen} \showUnit{spannbaeume} \showUnit{eulertouren} \showUnit{gerichtetegraphen} %ue13 \showUnit{graphfaerbung} \showUnit{planaritaet} %ue14 \showUnit{algebradefinitionen} \showUnit{erweitertereuklid} %ue15 \showUnit{klausurstoff} \end{document}