Berechenbarkeit und Formale Sprachen 2011/2012

These resources are password protected!

This course is recorded by video pool Dept. Computer science. For questions please contact video@fsi.cs.fau.de

Detailed information

Most recent entry on 2012-02-10 

Faculty

Professur für Informatik (Effiziente Algorithmen und Kombinatorische Optimierung)

Recording type

Vorlesungsreihe

Via

Passwort

Language

German

  • 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

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-10-21
Passwort
01:18:18
2
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-10-24
Passwort
01:32:31
3
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-10-28
Passwort
01:29:02
4
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-10-31
Passwort
01:30:05
5
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-04
Passwort
01:19:46
6
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-07
Passwort
01:22:35
7
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-11
Passwort
01:25:58
8
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-14
Passwort
01:30:06
9
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-18
Passwort
01:25:17
10
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-21
Passwort
01:28:31
11
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-25
Passwort
01:27:49
12
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-11-28
Passwort
01:27:37
13
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-02
Passwort
01:31:10
14
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-05
Passwort
01:31:05
15
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-09
Passwort
01:30:37
16
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-12
Passwort
01:31:59
17
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-16
Passwort
01:30:56
18
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-19
Passwort
01:33:11
19
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2011-12-23
Passwort
01:26:32
20
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-09
Passwort
01:37:45
21
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-13
Passwort
01:29:34
22
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-16
Passwort
01:28:09
23
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-20
Passwort
01:27:10
24
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-23
Passwort
01:31:57
25
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-27
Passwort
01:28:20
26
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-01-30
Passwort
01:35:29
27
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-02-03
Passwort
01:31:48
28
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-02-06
Passwort
01:15:18
29
Berechenbarkeit und Formale Sprachen
Prof. Dr. Rolf Wanka
2012-02-10
Passwort
01:04:36

More courses from Prof. Dr. Rolf Wanka

Schloss1
Prof. Dr. Rolf Wanka
2014-07-09
IdM-login
Wanka, Rolf
Prof. Dr. Rolf Wanka
2017-02-06
IdM-login
Wanka, Rolf
Prof. Dr. Rolf Wanka
2013-07-16
Free
Informatikjahr
Prof. Dr. Rolf Wanka
2006-11-09
Free
Wanka, Rolf
Prof. Dr. Rolf Wanka
2012-02-10
Passwort

More courses in this category "Computer Science"

Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2018-07-12
Free
Schloss1
Prof. Dr. Dietmar Fey
2015-07-06
Free / Studon
Stamminger, Marc
Prof. Dr. Marc Stamminger
2015-01-22
Studon
ZKI1
Wolfgang Wiese
2014-03-19
Free
Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2015-01-29
Free