This is an archived page from the Fall 2019 version of the course.
For the latest version, see https://uvatoc.github.io.

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 26 August Materials Posted, TCS Chapter 0, TCS Chapter 1
Wed 26 August (3:30-4:45pm) Full Class Welcome Meeting
Tue 1 Sept – Mon 7 Sept Assessed Cohort Meetings

Week 2: Bit Strings and Computing Models

Wed 2 September Materials Posted, TCS Chapter 2
Tue 8 Sept – Mon 14 Sept Assessed Cohort Meetings
Finite Computation

Week 3: Boolean Circuits and Universality

Wed 9 September Materials Posted, TCS Chapter 3
Tue 15 Sept – Mon 21 Sept Assessed Cohort Meetings

Week 4: Sugar and Complexity

Wed 16 September Materials Posted, TCS Chapter 4
Tue 22 Sept – Mon 28 Sept Assessed Cohort Meetings

Week 5: Code as Data Data as Code

Wed 23 September Materials Posted, TCS Chapter 5
Tue 29 Sept – Mon 5 Oct Assessed Cohort Meetings
Uniform Computation

Week 6: Automata

Wed 30 September Materials Posted, TCS Chapter 6
Tue 6 Oct – Mon 12 Oct Assessed Cohort Meetings

Week 7: Non-Determinism

Wed 7 October Materials Posted
Tue 13 Oct – Mon 19 Oct Assessed Cohort Meetings

Week 8: Machines and Computability

Wed 14 October Materials Posted, TCS Chapter 7
Tue 20 Oct – Mon 26 Oct Assessed Cohort Meetings

Week 9: Uncomputability

Wed 21 October Materials Posted, TCS Chapter 9
Tue 27 Oct – Mon 2 Nov Assessed Cohort Meetings

Week 10: Reductions

Tuesday, 3 November is Election Day. We will not have any assessed cohort meetings on November 3. The Tuesday cohorts will have their Week 10 cohort meeting on November 10 (effectively having 2 weeks between meetings, and switching from being the first cohort to meet to being the last one to meet for the remainder of the semester.

Wed 28 October Materials Posted, TCS Chapter 12, 13
Wed 4 Nov – Tue 10 Nov Assessed Cohort Meetings
Tractable and Intractable Computation

Week 11: NP-Completeness

Wed 4 November Materials Posted, TCS Chapter 14, 15
Wed 11 Nov – Tue 17 Nov Assessed Cohort Meetings

Week 12: Synthesis

Mon 9 November Materials Posted
Wed 18 Nov – Tue 24 Nov Assessed Cohort Meetings
Finals Week
Monday 7 December (2-5pm) The registrar has scheduled a final exam for this course on Monday, 7 December 2020 (2-5:00 pm). We do not anticipate using this for an exam or anything that would be required, but may use it for a different end-of-course activity.