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, inductive definitions, functional and logic programming, type theory, theorem proving, model checking.
If you are interested, send me e-mail (bp at cs.mcgill.ca).
Prerequisites:: This is an upper-level undergraduate course. Prerequisites: COMP 424 or COMP 302 with MATH 340. Please send me e-mail, if you do not fullfill the prerequisites. If you are a graduate student interested in this course, please contact me.