Fall 2013 – Summer 2014
Note: This is the 2013–2014 edition of the eCalendar. For the most recent publication, click here.
Offered by: Computer Science (Faculty of Science)
Computer Science (Sci) : Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.
Terms: Winter 2014
Instructors: Brigitte Pientka (Winter)