Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Academic Courses Course Profile

COMP- 426: AUTOMATED REASONING (now COMP 527)

Course Summary

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.


McGill Course Description (Click Here)