Berechenbarkeit und Formale Sprachen [SerienID : 810]
- Registermaschinen und Turingmaschinen als Modelle des Berechenbaren, die Churchsche These und unentscheidbare Probleme
-
NP-Vollständigkeit und das P-NP-Problem
-
Endliche Automaten
-
Grammatiken und die Chomsky-Hierarchie
-
Kontextfreie Grammatiken und Kontextfreie Sprachen
-
Kellerautomaten
Lernziele und Kompetenzen:
Die Studierenden
-
erwerben fundierte Kenntnisse über die Grenzen der Berechenbaren, insbesondere lernen sie, wie man beweist, dass bestimmte Aufgaben unlösbar sind bzw. dass sie vermutlich nicht schnell gelöst werden können;
-
lernen die wesentlichen Techniken kennen, mit denen man Programmiersprachen beschreiben und syntaktisch korrekte Programme erkennen kann;
-
erwerben fundierte Kenntnisse in den Beweis- und Analyse-Methoden der algorithmisch orientierten Theoretischen Informatik
Semester
Wintersemester 2011/2012
Lehrenden
Zugang via
Passwortgeschützt
aktualisiert
2019-05-13 10:28:33
Abonnements
10
-
# 1PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-21 Wintersemester 2011/20121Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-21 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 2PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-24 Wintersemester 2011/20122Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-24 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 3PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-28 Wintersemester 2011/20123Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-28 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 4PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-31 Wintersemester 2011/20124Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-10-31 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 5PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-04 Wintersemester 2011/20125Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-04 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 6PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-07 Wintersemester 2011/20126Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-07 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 7PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-11 Wintersemester 2011/20127Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-11 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 8PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-14 Wintersemester 2011/20128Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-14 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 9PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-18 Wintersemester 2011/20129Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-18 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 10PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-21 Wintersemester 2011/201210Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-21 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 11PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-25 Wintersemester 2011/201211Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-25 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 12PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-28 Wintersemester 2011/201212Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-11-28 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 13PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-02 Wintersemester 2011/201213Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-02 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 14PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-05 Wintersemester 2011/201214Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-05 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 15PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-09 Wintersemester 2011/201215Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-09 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 16PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-12 Wintersemester 2011/201216Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-12 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 17PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-16 Wintersemester 2011/201217Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-16 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 18PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-19 Wintersemester 2011/201218Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-19 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 19PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-23 Wintersemester 2011/201219Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2011-12-23 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 20PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-09 Wintersemester 2011/201220Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-09 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 21PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-13 Wintersemester 2011/201221Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-13 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 22PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-16 Wintersemester 2011/201222Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-16 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 23PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-20 Wintersemester 2011/201223Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-20 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 24PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-23 Wintersemester 2011/201224Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-23 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 25PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-27 Wintersemester 2011/201225Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-27 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 26PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-30 Wintersemester 2011/201226Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-01-30 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 27PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-02-03 Wintersemester 2011/201227Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-02-03 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 28PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-02-06 Wintersemester 2011/201228Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-02-06 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
-
# 29PasswortgeschütztBerechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-02-10 Wintersemester 2011/201229Berechenbarkeit und Formale SprachenProf. Dr. Rolf Wanka2012-02-10 Wintersemester 2011/2012PasswortgeschütztGesperrt clip
