“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
|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|