Logic provides computer science with both a unifying foundational
framework and a tool for modeling. In fact, logic has been called "the calculus of computer science", playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.
If you do not fullfill the prerequisites, please send the instructor email.
This course is designed to provide a thorough introduction to modern
constructive logic, its numerous applications in computer science, and its mathematical properties. Some of the topics to be covered are
intuitionistic logic, functional and logic programming, type theory,
theorem proving, unification, first-order logic, non-classical logics.
Starting in Winter 2008, this course has been renumbered and moved to COMP 527: Logic and Computation.