[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)
Exercise 451, confusion about the notation (1)
Example in Ch 9.1.7 (2)
Questions on Recursive Definition (4)
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)