Log in with Facebook to participate in the Q&A.

Waterloo, Ontario

C### CS 245

#### Logic and Computation

8 votes

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.