Welcome

“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