15-859(F) - Applied Logic
INSTRUCTOR: Dana Scott
TIME: MW 3:00-4:20
ROOM: WeH 4601 (or maybe NSH 3002)
UNITS: 12
TEXTBOOK: Anil Nerode and Richard A. Shore, LOGIC FOR APPLICATIONS (Second Edition) Springer Verlag, 1997, 456 pp. ISBN: 0-387-94893-7

PREREQUISITES: Reasonable undergraduate mathematics background; the course is open to undergraduates.

DESCRIPTION: Various models for propositional, equational, predicate, modal, temporal, and intuitionistic logics; survey of formalizations and proof systems; survey of automatic theorem-proving systems; introduction to higher-order and set-theoretical reasoning.

GRADING: Weekley homework (from the textbook) and a take-home final.