Schedule

Weekly Schedule

Equipping Proofgrammers

Ensure Success in Theorectical Machines

Introduce Theoretical Machines

Exploring the Limits of Computation

Impossible Python Programs

Explore Limits of Python Programming

Grasp Computational Problems

Explore Foundational Concepts of Computation

Exploring Turing Machines

Create and Use Simple Computers

Module One Retrospective

Review content in the first module

Grasping Universal Computation

Create and Use Universally Powerful Programs

Applying Turing Reductions

Explore a new way to prove uncomputability

Exploring Nondeterminism

Nondeterminism does not change computability