Theoretical Computer Science II (ACS II) - Lectures
| No. | Date | Topic | Slides | Recordings | Update |
|---|---|---|---|---|---|
| 0. | Mon, Oct 24, 2011 | Organisation | (Screen) (Printer) (Printer; 4-up) | ||
| 1. | Mon, Oct 24, 2011 Thu, Oct 27, 2011 |
Motivation | (Screen) (Printer) (Printer; 4-up) | ||
| 2. | Mon, Oct 31, 2011 Thu, Nov 03, 2011 Mon, Nov 07, 2011 Thu, Nov 10, 2011 |
Propositional Logic | (Screen) (Printer) (Printer; 4-up) | Thu, Nov 10, 2011 | |
| 3. | Mon, Nov 14, 2011 Thu, Nov 17, 2011 Mon, Nov 21, 2011 Thu, Nov 24, 2011 |
First-order logic | (Screen) (Printer) (Printer; 4-up) | Tue, Nov 15, 2011 | |
| 4. | Mon, Nov 28, 2011 Thu, Dec 1, 2011 Mon, Dec 5, 2011 Thu, Dec 8, 2011 Mon, Dec 12, 2011 |
Regular Languages | (Screen) (Printer) (Printer; 4-up) | Dec 9, 2011 | |
| 5. | Mon, Dec 12, 2011 Thu, Dec 15, 2011 Mon, Dec 19, 2011 Thu, Dec 22, 2011 |
Context-free Languages | (Screen) (Printer) (Printer; 4-up) | Dec 20, 2011 | |
| 6. | Mon, Jan 09, 2012 Thu, Jan 12, 2012 Mon, Jan 16, 2012 |
Turing Machines | (Screen) (Printer) (Printer; 4-up) | Jan 18, 2012 | |
| 7. | Mon, Jan 16, 2012 Thu, Jan 19, 2012 |
Decidability | (Screen) (Printer) (Printer; 4-up) | Jan 18, 2012 | |
| 8. | Mon, Jan 23, 2012 Thu, Jan 26, 2012 |
Grammars | (Screen) (Printer) (Printer; 4-up) | Jan 26, 2012 | |
| 9. | Mon, Jan 30, 2012 | Time Complexity | (Screen) (Printer) (Printer; 4-up) | Jan 30, 2012 |