Mercurial > 13ss.theoinf
changeset 47:67f995b2c412
recompile everything; add all notes in one file
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Thu, 11 Jul 2013 22:25:48 +0200 |
| parents | 31c052a2fad5 |
| children | 903e6a8959d7 |
| files | notes/complete_notes.pdf notes/tex/complete_notes.tex notes/tex/frames.tex notes/ue01_notes.pdf notes/ue02_notes.pdf notes/ue03_notes.pdf notes/ue04_notes.pdf notes/ue05_notes.pdf notes/ue06_notes.pdf notes/ue07_notes.pdf notes/ue08_notes.pdf notes/ue09_notes.pdf notes/ue10_notes.pdf notes/ue11_notes.pdf |
| diffstat | 14 files changed, 100 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/notes/tex/complete_notes.tex Thu Jul 11 22:25:48 2013 +0200 @@ -0,0 +1,96 @@ +\input{preamble.tex} +\input{frames.tex} + +\title{Übersichtsfolien zur Übung} +\subtitle{Theoretische Informatik Sommersemester 2013} +\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} + +\begin{document} +\showUnit{titel} + +% ue01 +\showUnit{organisatorisches} +\showUnit{wasisttheo} + +\showUnit{alphabet} +\showUnit{dfa} +\showUnit{nfa} +\showUnit{enfa} +\showUnit{automatenkonversionen} +\showUnit{name} + +% ue02 +\showUnit{regex} +\showUnit{rezuenfa} +\showUnit{rezuenfazwei} +\showUnit{enfazunfa} +\showUnit{nfazudfa} +\showUnit{produktautomat} + +% ue03 +\showUnit{regexrechnen} +\showUnit{arden} +\showUnit{nfazure} +\showUnit{rpl} +\showUnit{rplanwenden} +\showUnit{regulaeresprachen} + +% ue04 +\showUnit{aequivalentezustaende} +\showUnit{unterscheidbarezustande} +\showUnit{quotientenautomat} + +% ue05 +\showUnit{grammatik} +\showUnit{ableitung} +\showUnit{cfl} +\showUnit{induktivesprachdefinition} + +% ue06 +\showUnit{cnf} +\showUnit{cnfkonstruktion} +\showUnit{nuetzlichessymbol} +\showUnit{cfpl} + +% ue07 +\showUnit{cyk} +\showUnit{cykbeispiel} +\showUnit{pda} +\showUnit{pdaakzeptanz} +\showUnit{pdabeispiel} + +% ue08 +\showUnit{tmdefinition} +\showUnit{tmvisualisierung} +\showUnit{ndtm} + +% ue09 +\showUnit{chomsky} +\showUnit{berechenbarkeit} +\showUnit{berechenbarkeitbeispiel} +\showUnit{loop} +\showUnit{pr} +\showUnit{prrekursion} +\showUnit{prprogramme} +\showUnit{prerweitert} +\showUnit{tmif} +\showUnit{while} +\showUnit{goto} + +% ue10 +\showUnit{loop} +\showUnit{prerweitert} +\showUnit{prmax} +\showUnit{murekursion} +\showUnit{berechenbarkeit} +\showUnit{entscheidbarkeit} +\showUnit{breduktion} + +% ue11 +\showUnit{spezielleshalteproblem} +\showUnit{halteproblem} +\showUnit{aufzaehlbarkeit} +\showUnit{rice} +\showUnit{pcp} +\showUnit{pcpbeispiel} +\end{document}
--- a/notes/tex/frames.tex Thu Jul 11 22:07:24 2013 +0200 +++ b/notes/tex/frames.tex Thu Jul 11 22:25:48 2013 +0200 @@ -13,14 +13,15 @@ \begin{itemize} \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org} - \item Web: \href{tutor.zfix.org}{tutor.zfix.org} + \item Web: \href{theo.zfix.org}{theo.zfix.org} + \item Hg: \href{tutor.zfix.org}{tutor.zfix.org} \vfill \item Wann? \begin{itemize} \item Dienstag 10:15-11:45 00.08.038 - \item Dienstag 12:05-13:35 00.08.038 + \item Dienstag 12:10-13:45 00.08.038 \end{itemize} - \item Übungsablauf, Aufgabentypen + %\item Übungsablauf, Aufgabentypen \item Hausaufgaben \begin{itemize} \item Abgabe am Montag 14h, \alert{allein}