Vue d'ensemble

Computer Science (Sci) : Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.

Trimestres : Ce cours n’est pas au programme de l’année universitaire 2012-2013.

Chargés de cours : Aucun professeur n’est associé à ce cours pour l’année universitaire 2012-2013.

• 3 hours
• Prerequisite: COMP 302
• Restriction: Not open to students who have taken COMP 426