The notes for lecture 5 has been posted.

The first homework has been posted.

The notes for lecture 4, along with two complementary videos, have been posted.

The notes for lecture 4 will be posted later this afternoon.

The notes for lecture 3 are now available. A reference to a complementary video has been posted, and a link to a common misconception about nondeterminism vs. randomness has been added. This supplementary material is completely optional.

The notes for lecture 1 and lecture 2 are now available.

Welcome to the course! The course pages are currently being restructured.