uwloo

CS 245ELogic and Computation (Enriched)

Units
0.50
Faculty
Mathematics
Subject
Computer Science

When it runs

  1. F24
  2. W25
  3. S25
  4. F25
  5. W26
  6. S26
  7. F26
  8. W27
  9. S27

Ran in 3 of the last 7 terms. Winter 2027: not on the schedule. Spring 2027: schedule not out yet.

Enriched version of CS 245.

Prerequisites

  • Complete all of the following
    • Earned a minimum grade of 85% in at least 1 of the following:
      • CS136 - Elementary Algorithm Design and Data Abstraction (0.50)
      • CS146 - Elementary Algorithm Design and Data Abstraction (Advanced Level) (0.50)
    • Enrolled in an Honours Mathematics program

Antirequisites

  • Not completed nor concurrently enrolled in any of the following:
    • CS245 - Logic and Computation (0.50)
    • ECE208 - Discrete Mathematics and Logic 2 (0.50)
    • PMATH330 - Introduction to Mathematical Logic (0.50)
    • SE212 - Logic and Computation (0.50)

Leads to

Fall 2026 sections

Enrolment from UW Open Data, which can trail Quest by up to two days. Instructors and rooms: Schedule of Classes.
SectionClassEnrolledMeets
LEC 001655532 / 60TTh 08:30–09:50
TUT 101655632 / 60F 13:30–14:20
TST 201655732 / 60Oct 29 16:30–18:20

Resources

Around the web

Found by uwloo’s link finder, which checks that each page names CS 245E.

Suggest a resource.

Reviewed on UW Flow

78% liked it56% easy50% useful

From 49 ratings and 18 comments on UW Flow. The most helpful comments, quoted as written, without names. Read them all on UW Flow.

  • Before taking this course, you should know, it is not a CS course. It is a Pure Math course. Regardless, it is a good course and one of the most interesting ones I've taken. It gives a great explanation of how mathematical proofs fundamentally work and some very interesting limits they have.

    Dec 2025 · liked it · 1 found this helpfulOn UW FlowRemove this

  • good for math oriented people

    Jan 2018 · liked it · 1 found this helpfulOn UW FlowRemove this

  • math course disguised as cs; bird

    Mar 2026 · liked itOn UW FlowRemove this

  • This course was easier than CS245-regular but mildly more interesting (we got to skip a lot of slop that CS245-regular did to get to a bit of advanced content.) Eric Blais is a good prof when he's not improvising his lecture (which unfortunately happens regularly). Recommend taking this over CS245-regular but if you're not obligated to take CS245(E) then you should take PMATH 432 instead.

    Dec 2025 · liked itOn UW FlowRemove this

  • This course consisted of three main sections: propositional logic, first-order logic, and computation. The propositional and first-order logic parts were very cool. They formalized different concepts in logic and proofs, which helped me to reason about mathematical proofs and think about them from a different angle in other courses. The computation part was much tricker than the logic parts in my opinion. Turing machines were super abstract and hard for me to understand, and I still barely understand Gödel's Incompleteness Theorems. Overall, this course was not too challenging (at least the offering I had) and at times felt easier than the regular section (their midterm was much longer than…

    Dec 2025 · liked itOn UW FlowRemove this

Discussed on r/uwaterloo

102 posts and comments in 87 threads mention CS 245E, May 2016 to December 2024. Quoted word for word, newest first; each reply sits under the post and the comment that started its branch. Search r/uwaterloo for newer posts.

Fall 2024

compsci program 1 point, 16 comments

“could anyone tell me what sets apart waterloo's comp sci program from other comp sci programs in other universities? would be greatly appreciated :)”

u/Opening_Kiwi6441: “as far as the actual academics go, i’d say it’s on par with most other unis, like UofT, UBC, McGill, Mac, etc. …”

u/mreifslp: “… For CS 245E, it was a fairly rigorous treatment of logic, we covered the basics of propositional logic and predicate logic, and proved Godel's Incompleteness Theorem. Big theorems included the compactness theorem, soundness theorem, and completeness theorem. …”

View on RedditRemove this

Winter 2024

Fall 2023

Is CS245 doable without lectures? 1 point, 8 comments

“I might have to take cs245 on coop term and return only to take exams. is it possible to pass cs245 without lectures? I'm a pretty mid student average around 75 gpa, so not the smartest cs student lol”

u/ftgxttg: “I know that prof Shai Ben David has lectures videos for CS245E on youtube, I think there were also videos for the regular section but I'm not sure.”

View on RedditRemove this

Winter 2023

2a courses 2 points, 13 comments

“cs 245, cs 246, math 239, econ 344/ cs 251, stat 230, &x200B; am I committing suicide taking these courses?”

u/gamesatosi: “wait for fall, cs245E, cs246E, cs 251, Math 249, Stat 240 are better, especially stat 240 with AJ.”

View on RedditRemove this

Fall 2022

How ruined am I for getting a 50 in a course? 11 points, 11 comments

“I'm in 3A CS btw. I haven't gotten a mark in the 50s before but I think it's very likely I'm going to get one (maybe 2) of them in this range this term. …”

u/Straight_Fix5895: “it’s definitely something you’ll be able to bounce back from, but might be an issue if you let it”

u/clean_mint_mouthwash: “5A CS DD here, I got a 56 in CS245E in 2B and since then I've gotten coops at Facebook, 2 other big tech companies, and several $200k+ USD new grad offers full disclosure tho, my gpa is still barely above 80”

View on RedditRemove this

Fall 2021

Check it elsewhere for Fall 2026

Calendar versions

Undergraduate Calendar