Uni-Logo

Theoretical Computer Science II (ACS II) - Lectures

No. Date Topic Slides Recordings Update
0. Wed, Oct 21, 2009 Organisation (Screen) (Printer) (Printer; 4-up) Recording 1
1. Wed, Oct 21, 2009
Thu, Oct 22, 2009
Motivation (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
2. Thu, Oct 22, 2009
Wed, Oct 28, 2009
Thu, Oct 29, 2009
Wed, Nov 4, 2009
Thu, Nov 5, 2009
Propositional Logic (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Recording 4
Recording 5
Recording 6
Recording 7
Nov 4, 2009
3. Wed, Nov 11, 2009
Thu, Nov 12, 2009
Wed, Nov 18, 2009
First-order logic (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Recording 4
Recording 5
Nov 14, 2009
4. Thu, Nov 19, 2009
Wed, Nov 25, 2009
Thu, Nov 26, 2009
Wed, Dec 2, 2009
Thu, Dec 3, 2009
Wed, Dec 9, 2009
Regular Languages (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Recording 4
Recording 5
Recording 6
Dec 4, 2009
5. Wed, Dec 9, 2009
Thu, Dec 10
Wed, Dec 16
Thu, Dec 17
Wed, Dec 23
Context-free Languages (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Recording 4
Recording 5
Feb 24, 2010
6. Wed, Dec 23, 2009
Thu, Jan 7, 2010
Wed, Jan 13, 2010
Turing Machines (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Jan 14, 2010
7. Wed, Jan 13, 2010
Thu, Jan 14, 2010
Wed, Jan 20, 2010
Decidability (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Jan 14, 2010
8. Thu, Jan 21, 2010 Grammars (Screen) (Printer) (Printer; 4-up) Recording 1
9. Wed, Jan 27, 2010
Thu, Jan 28, 2010
Wed, Feb 3, 2010
Thu, Feb 4, 2010
Wed, Feb 10, 2010
Thu, Feb 11, 2010
Time Complexity (Screen) (Printer) (Printer; 4-up) Recording 1
Recording 2
Recording 3
Recording 4
Recording 5
Recording 6
Recording 7
Recording 8
Recording 9
Feb 11, 2010

Note on the Recordings

The Lecturnity Player is needed for watching the recorded lectures and can be downloaded here.

Windows: after installing the player, one can play the .lpd-files by double-clicking on the file or by starting the player and then opening the appropriate file.

Linux / Mac: the java-based player is started by entering
java -jar playerxxxxx.jar .lpd-file, where xxxxx is the corresponding version number.