Mercurial > 14ss.theoinf

changeset 8:2475c634729a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
show computability and decidability slides
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 14 Apr 2014 20:02:03 +0200
parents adca05ccaa07
children f96446e678c8
files notes/tex/ue01_notes.tex
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/notes/tex/ue01_notes.tex	Mon Apr 14 20:01:38 2014 +0200
+++ b/notes/tex/ue01_notes.tex	Mon Apr 14 20:02:03 2014 +0200
@@ -13,4 +13,6 @@
 \showUnit{grammatik}
 \showUnit{sprachtypen}
 \showUnit{chomsky}
+\showUnit{berechenbarkeit}
+\showUnit{entscheidbarkeit}
 \end{document}