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.