Q&A section for all courses. Add courses and comments anonymously.

University of Waterloo

Waterloo, Ontario

8 votes

CS 245

Logic and Computation

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

Log in with Facebook to add a comment
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.