Log in with Facebook to participate in the Q&A.
Waterloo, Ontario
Formal logic. Proof systems and styles. Rudimentary model theory. Logic-based specification. Reasoning about programs. Correctness proofs.
Assignments, midterm, final. Course is confusing and profs can't teach it well.
Added by anon_red on 2010-02-09 12:45:58
| BCSinUWloo - 2013-09-08 16:59:47 If you got at least a 40% in MATH 135 which is the hardest shit since diamonds, then this course is a joke. |
| carlosh - 2013-03-27 12:56:48 Pretty easy if you get at least a 60% in MATH 135. |
| your_face - 2012-09-06 17:44:06 Not too bad. Expected it to be harder. Majority of proofs in this course are actually intuitive. |
| gimpy - 2010-03-03 15:51:55 This is a proof course, so it's kinda confusing |
Log in with Facebook to participate in the Q&A.