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

COMP- 527: LOGIC AND COMPUTATION

Course Summary

Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.


McGill Course Description (Click Here)


Winter 2014

McGill Course Calendar Details

Instructor:

  • Brigitte Pientka
        Phone: 398-2583
        E-mail: bp AT cs DOT mcgill DOT ca
        Office Hours: M 2:30 - 4:30, W 3:30 - 5:00