# HG changeset patch # User Markus Kaiser # Date 1397498523 -7200 # Node ID 2475c634729ac12a24d291f258aaa026f2ee07de # Parent adca05ccaa073a949d7d95faf8d8b385efd3d1c1 show computability and decidability slides diff -r adca05ccaa07 -r 2475c634729a notes/tex/ue01_notes.tex --- 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}