“Begin at the beginning,” the King said, very gravely, “and go on till you come to the end: then stop.” ― Lewis Carroll, Alice in Wonderland

Welcome to the “Logic and Computation” for Fall 2020. We hope this will be an education and enjoyable experience. We endeavor to spotlight the logical underpinnings of skills you have previously learned, and also to contextualize the deep connections between mathematical logic and computation. This course will teach you how to prove theorems about your programs. You will learn the importance of thinking logically when designing your programs, and the benefits of tooling that helps to check your programs are correct.

Classes and Labs

This being a NUflex class, students may attend in different ways. Please defer to the dynamic scheduler on how to attend on any given day.

Lecture 18279 Jason M, W, R 13:15-14:40 East Village 002 or Zoom

Students registered for one of several lab sections. The registrar has combined our lab sections with Prof. Tripakis’s. We will ask you to tell us for which lab section you registered. We will use this information to compile a roster of our lab students.

Lab Section Instructor Day Time Virtual Location
10682 Tingwei Shi F 13:35-14:25 Teams Lab
11072 Richard Li F 14:30-15:20 Teams Lab
12053 Richard Li F 15:25-16:15 Teams Lab
13901 Harshul Sahni F 16:20-17:10 Teams Lab
18857 Harshul Sahni F 17:15-18:05 Teams Lab