Uni-Logo

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, 2011Jan 09, 2012
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