This is the home page for CS 245E at the University of Waterloo (Fall 2018). The course is an enriched version of CS 245. This is a special informal version of the course, since I could not offer it for credit this term, due to other commitments. The approach is close to what I taught in Fall 2016 and Spring 2017, but is quite different from the Fall 2015, Fall 2017, and Spring 2018 offerings taught by Shai Ben-David.
Instructor: Prabhakar Ragde (plragde at uwaterloo dot ca)
Lectures: There are no lectures, only lecture summaries (and sparse slides). Timing is up to you. I have restricted access to materials to students who have signed up, because I was planning revisions, and don’t want this version widely shared. I will take all of the current material down in early 2019, but watch for Logic and Computation Intertwined, derived from this but structured like a book and accessible to all. It will be posted on my personal Web page.
Instructor office hours: I am off campus until late August. Starting in September, I will have office hours. We have, of course, no TA support.