Mercurial > 13ws.ds
view notes/tex/complete_notes.tex @ 34:189900976413
add complete notes tex file without build
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 02 Dec 2013 23:35:45 +0100 |
parents | |
children | 0b7b90f84986 |
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} \end{document}