Schedule

For the open help schedule, see Open Student Hours.

For the detailed weekly schedule for each cohort, see one of the week postings (e.g., Week 1).

Introduction

Week 1: Mathematical Definitions

Wed 25 August Materials Posted, TCS Chapter 0, TCS Chapter 1
Wed 25 August (3:30-4:45pm)

Full class meeting: open question time (come by Maury Hall 209 to meet with the instructors and ask any questions you have about the course)

Mon 30 Aug, Wed 1 Sept Class meetings: Questions on Week 1 content and assignment
Tue 31 Aug – Fri 3 Sept Assessed Cohort Meetings

Week 2: Bit Strings and Computing Models

Wed 1 September Materials Posted, TCS Chapter 2
Mon 6 Sept, Wed 8 Sept Class meetings: Questions on Week 2 content and assignment
Tue 7 Sept – Fri 10 Sept Assessed Cohort Meetings
Finite Computation

Week 3: Boolean Circuits and Universality

Wed 8 September Materials Posted, TCS Chapter 3
Mon 13 Sept, Wed 15 Sept Class meetings: Questions on Week 3 content and assignment
Tue 14 Sept – Fri 17 Sept Assessed Cohort Meetings

Week 4: Sugar and Complexity

Wed 15 September Materials Posted, TCS Chapter 4
Mon 20 Sept, Wed 22 Sept Class meetings: Questions on Week 4 content and assignment
Tue 21 Sept – Fri 24 Sept Assessed Cohort Meetings

Week 5: Code as Data Data as Code

Wed 22 September Materials Posted, TCS Chapter 5
Mon 27 Sept, Wed 29 Sept Class meetings: Questions on Week 5 content and assignment
Tue 28 Sept – Fri 1 Oct Assessed Cohort Meetings
Uniform Computation

Week 6: Automata

Wed 30 September Materials Posted, TCS Chapter 6
Mon 4 Oct, Wed 6 Oct Class meetings: Questions on Week 6 content and assignment
Tue 5 Oct – Fri 8 Oct Assessed Cohort Meetings

Week 7: Reading Days / Review

Wed 6 October Materials Posted (including self-assessment ``midterm'')
Wed 13 Oct Review and Special Topics (No class on 11 Oct, Reading Days break)
Week of 11-15 October No Assessed Cohort Meetings (Reading Days are 11-12 October)

Week 8: Non-Determinism

Wed 13 October Materials Posted
Mon 18 Oct, Web 20 Oct Class meetings: Questions on midterm self-assessment and Week 8 content and assignment
Tue 19 Oct – Fri 22 Oct Assessed Cohort Meetings

Week 9: Machines and Computability

Wed 20 October Materials Posted, TCS Chapter 7
Mon 25 Oct, Wed 27 Oct Class meetings: Questions on Week 9 content and assignment
Tue 26 Oct – Fri 29 Oct Assessed Cohort Meetings

Week 10: Uncomputability

Wed 27 October Materials Posted, TCS Chapter 9
Mon 1 Nov, Wed 3 Nov Class meetings: Questions on Week 10 content and assignment
Tue 2 Nov – Fri 5 Nov Assessed Cohort Meetings

Week 11: Reductions

Wed 3 November Materials Posted, TCS Chapter 12, 13
Mon 8 Nov, Wed 10 Nov Class meetings: Questions on Week 11 content and assignment
Tue 9 Nov – Fri 12 Nov Assessed Cohort Meetings
Tractable and Intractable Computation

Week 12: NP-Completeness

Wed 10 November Materials Posted, TCS Chapter 14, 15
Mon 15 Nov, Wed 17 Nov Class meetings: Questions on Week 12 content and assignment
Tue 16 Nov – Fri 19 Nov Assessed Cohort Meetings

Week 13: Review

Wed 9 November Materials Posted
Mon 22 Nov Class meeting on Monday, Review and Synthesis
Tue 23 Nov – Fri 26 Nov No Assessed Cohort Meetings, Thanksgiving Week

Week 14: Synthesis and Review

Mon 29 Nov, Wed 1 Dec Class meetings: Week 14 topics
Wed 1 Dec – Tue 7 Dec Assessed Cohort Meetings (note schedule change - Monday and Tuesday cohorts will meet following week)

Week 15: Final

Mon 6 December Class meeting: Wrapping up the Course, Review for Final
No Assessed Cohort Meetings (UVA courses end 7 December)
Friday 10 December (2-5pm) Final Exam (scheduled by the registrar)