\BOOKMARK [2][]{Outline0.1}{Intuitiver Berechenbarkeitsbegriff und Church'sche These}{}% 1 \BOOKMARK [2][]{Outline0.2}{Berechenbarkeit mittels Turingmaschinen}{}% 2 \BOOKMARK [2][]{Outline0.3}{LOOP- und WHILE-Berechenbarkeit}{}% 3 \BOOKMARK [2][]{Outline0.4}{Primitiv rekursive und -rekursive Funktionen}{}% 4 \BOOKMARK [2][]{Outline0.5}{Eine totale WHILE-, aber nicht LOOP-berechenbare Funktion}{}% 5 \BOOKMARK [2][]{Outline0.6}{Standardnotationen f\374r berechenbare Funktionen}{}% 6 \BOOKMARK [2][]{Outline0.7}{Entscheidbarkeit und rekursive Aufz\344hlbarkeit}{}% 7 \BOOKMARK [2][]{Outline0.8}{Das Postsche Korrespondenzproblem}{}% 8 \BOOKMARK [2][]{Outline0.9}{Unentscheidbare Grammatikprobleme}{}% 9 \BOOKMARK [2][]{Outline0.10}{Der G\366delsche Satz}{}% 10 \BOOKMARK [2][]{Outline0.11}{Der -Kalk\374l}{}% 11 \BOOKMARK [2][]{Outline0.12}{Komplexit\344tsklassen und das P-NP-Problem}{}% 12 \BOOKMARK [2][]{Outline0.13}{NP-Vollst\344ndigkeit}{}% 13 \BOOKMARK [2][]{Outline0.14}{Weitere NP-vollst\344ndige Probleme}{}% 14 \BOOKMARK [2][]{Outline0.15}{`Harte' Probleme}{}% 15 \BOOKMARK [3][]{Outline0.15.1.2771}{Typische Problemklassen}{Outline0.15}% 16 \BOOKMARK [3][]{Outline0.15.2.2846}{Exakte Verfahren}{Outline0.15}% 17 \BOOKMARK [3][]{Outline0.15.3.3132}{Approximative Verfahren}{Outline0.15}% 18 \BOOKMARK [3][]{Outline0.15.4.3572}{Randomisierte Verfahren}{Outline0.15}% 19