[General boards] [Fall 2018 courses] [Summer 2018 courses] [Winter 2018 courses] [Older or newer terms]

CSC465H1/2104H: Formal Methods in Software Design


About the CSC465H1/2104H: Formal Methods in Software Design category (1)
Final marks posted (1)
Exam solutions posted (1)
Ex373 (2)
Final exam minimum grade (2)
Questions on Recursive Definition (6)
Exercise 451, confusion about the notation (2)
Example in Ch 9.1.7 (2)
Chinese textbook (1)
Evaluations (1)
Test 2 marks posted (1)
Test 2 solutions posted (1)
Question about Exercise 417 (2)
Confused about Question 344 - Fixed Point Construction (4)
Question from the textbook (2)
Are you there? (1)
Test 1 (2)
Confusion about One-Point Law (2)
A bit confused with the final question of the first test (7)
Test 0 marks (1)
Tests (1)
A bit confused with Polish Notation, and other things (4)
Cheatsheet (2)
Quantifiers and Infinite Sets (4)
Additional Office Hours (2)
Welcome (1)