On this page:
CS 245E:   Logic and Computation (Enriched)

CS 245E: Logic and Computation (Enriched)

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.

    1 For Prospective Students

    2 Outline

    3 Logistics

      3.1 Textbook

      3.2 Getting Help

      3.3 Lectures

      3.4 Homework

      3.5 Software

    4 Handouts

      4.1 Intellectual Property

    5 Assignments

      5.1 Plagiarism Policy

    6 Resources