CS 245E: Logic and Computation (Enriched)

This is the home page for CS 245E at the University of Waterloo (Fall 2022). The course is an enriched version of CS 245. The approach is the same as I taught in Fall 2020, and close to what I taught in Fall 2016 and Spring 2017, but is quite different from CS 245E as taught by other instructors.

Instructor: Prabhakar Ragde (plragde at uwaterloo dot ca)

Lectures and Tutorials: Lectures Tuesdays and Thursdays 1:00-2:20pm, MC 4042. Tutorials Fridays 10:30-11:20am, MC 4041 (may not be used).

Instructor office hours: Wednesdays 10-11:30am, DC 2633 (masks required; online on Teams from Nov 16 onward).

Instructional Apprentice (Head TA): Jianlin Li.

IA office hours: Tuesdays 4:00-5:00pm (online on Teams, also in person at PLG Lab, DC 3548).

Teaching Assistants: Anupa Murali, Yaoyu Zhao.

TA office hours: Yaoyu Wednesdays 2:00-3:00pm (online on Teams).

Instructional Support Coordinator: Dalibor Dvorski.