Mercurial > 13ws.ds
comparison notes/tex/ue07_notes.tex @ 36:f386dfdaeade
change title to something actually describing the content
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 02 Dec 2013 23:41:32 +0100 |
parents | 010d8f7fa899 |
children |
comparison
equal
deleted
inserted
replaced
35:010d8f7fa899 | 36:f386dfdaeade |
---|---|
1 \input{preamble.tex} | 1 \input{preamble.tex} |
2 \input{frames.tex} | 2 \input{frames.tex} |
3 | 3 |
4 \title{Übung 7: Prädikatenlogik II} | 4 \title{Übung 7: Kalküle II \& Induktion} |
5 \subtitle{Diskrete Strukturen im Wintersemester 2013/2014} | 5 \subtitle{Diskrete Strukturen im Wintersemester 2013/2014} |
6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} | 6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} |
7 | 7 |
8 \begin{document} | 8 \begin{document} |
9 \showUnit{titel} | 9 \showUnit{titel} |