diff --git a/semester3/ti/parts/04_computability/00_intro.tex b/semester3/ti/parts/04_computability/00_intro.tex new file mode 100644 index 0000000..e69de29 diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index a79088b..96f53b4 100644 Binary files a/semester3/ti/ti-summary.pdf and b/semester3/ti/ti-summary.pdf differ diff --git a/semester3/ti/ti-summary.tex b/semester3/ti/ti-summary.tex index 48a82eb..a20a466 100644 --- a/semester3/ti/ti-summary.tex +++ b/semester3/ti/ti-summary.tex @@ -89,6 +89,11 @@ \setcounter{subsection}{2} \input{parts/03_turing_machines/00_intro.tex} \input{parts/03_turing_machines/01_multi-band-church-thesis.tex} +\input{parts/03_turing_machines/02_non-deterministic.tex} +\newsection +\section{Berechenbarkeit} +\stepcounter{subsection} +\input{parts/04_computability/00_intro.tex} \end{document}