Pomona College, Fall 2018
|
Time/location: |
Monday/Wedneday 1:15-2:30am, Lincoln 1125 |
|
Instructor: |
Prof. Yuqing Melanie Wu |
|
Student Mentors: |
Alice Tan, Gerald Bentley, Deny Rosen |
An introduction to formal systems, mathematical models of machines and computability. Topics include predicate logic, regular languages, context free languages and recursive and recursively enumerable sets. Students will learn to understand and construct formal proofs.
CSCI54, or one of following two courses: CSCI52 PO or CSCI60 HM, and one of the following three courses: CSCI55 PO, Math55 HM or Math103 PO.
All other course materials, including syllabus, slides, homework assignments, solutions, etc., will be shared via piazza.