Mercurial > 13ws.ds
changeset 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 | f4b50c94431d |
children | 010d8f7fa899 |
files | notes/tex/complete_notes.tex |
diffstat | 1 files changed, 49 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/notes/tex/complete_notes.tex Mon Dec 02 23:35:45 2013 +0100 @@ -0,0 +1,49 @@ +\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}