SE 212Logic and Computation
- Units
- 0.50
- Subject
- Software Engineering
When it runs
- F24
- W25
- S25
- F25
- W26
- S26
- F26
- W27
- S27
Ran in 3 of the last 7 terms. Winter 2027: not on the schedule. Spring 2027: schedule not out yet.
Formal logic. Proof systems and styles. Rudimentary model theory. Formal models of computation. Logic-based specification. Correctness proofs. Applications in software engineering.
Prerequisites
Antirequisites
Leads to
Fall 2026 sections
| Section | Class | Enrolled | Meets |
|---|---|---|---|
| LEC 001 | 7604 | 60 / 80 | TTh 08:30–09:50 |
| LEC 002 | 7605 | 79 / 80 | TTh 10:00–11:20 |
Resources
Around the web
Found by uwloo’s link finder, which checks that each page names SE 212.
- SE 212: Home Course website · student.cs.uwaterloo.ca Remove
- PC Set Calculator Other · mta.ca · from UWaterloo Links (SE) Remove
Reviewed on UW Flow
86% liked it31% easy82% useful
From 243 ratings and 52 comments on UW Flow. The most helpful comments, quoted as written, without names. Read them all on UW Flow.
If you hated MATH 135, you'll HATE SE 212.
On the flip-side, if you loved MATH 135, you've LOVE SE 212.
It's more of that same proofy goodness as before, but this time, there is a more direct connection with Software Development and Program Correctness.Mar 2017 · liked it · 3 found this helpfulOn UW FlowRemove this
so useful for thinking logically
Oct 2026 · liked it · 1 found this helpfulOn UW FlowRemove this
Painful course, but if you understand what's going on its pretty cool and applicable. General concepts I found to be pretty easy, but a lot of "you either see it or you don't" kind of questions.
Apr 2018 · liked it · 1 found this helpfulOn UW FlowRemove this
I really enjoyed this course. Our prof - Nancy Day did a great job at explaining the concepts and providing good examples. It's one of my favourite courses so far. She goes through materials quite fast sometimes. Midterm and final were pretty fair
Feb 2016 · liked it · 1 found this helpfulOn UW FlowRemove this
Somewhat challenging, but a fun course overall. The material isn't dry at all, even though it's not terribly applicable.
Dec 2015 · liked it · 1 found this helpfulOn UW FlowRemove this
Discussed on r/uwaterloo
53 posts and comments in 45 threads mention SE 212, October 2011 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
SE212 15 points, 1 comment
u/icanc0: “… premise: I'm a student in SE212. conclusion: I'm gonna AAAAAAAAAAAAAA FUCK to further cooperate with SE212, we have to do the following. identify all possible logical connectives: I have a singular braincell, there are no connections. …”
Fall 2023
Failed se212, what happens next? 8 points, 5 comments
u/Working_Face_5512: “So I just finished 2A (I’m in SE) and I unfortunately didn’t pass SE212 (my overall average is still above a 60%). I heard se212 is a prerequisite for a course in 2B, so what happens to that course? Am I unable to take it since I failed se212? …”
u/qianpoo: “… Two cases: If your SE 212 grade is above 40, you just need to take (and pass) a supplemental exam to clear the failure. You can continue to take CS 240 with no issues and write the supp exam in Fall 2024 when SE 212 is offered next. …”
AFM 212 Final Chaos 164 points, 32 comments
“So we all sat down to write the 212 final, thirty minutes in they realized that they had printed the midterm and given it to us instead so they announced that it’s cancelled LOL Idk wut is happening …”
u/lkz4: “I wish we had this for SE 212 😩 😩 😩”
CS 245 2007 Final - What... 70 points, 20 comments
u/blkmage: “I took this that term (specifically SE 112). I don't remember what happened with this question. The only thing I recognize from this final is the 2 bonus points for making a table of contents in the …”
u/blkmage: “… SE 112 was in 1B back then so it felt weird (nowadays it's called SE 212). I don't think it's a course that's easy to appreciate, even in second or third year, but it has some interesting tidbits that can stick with you. …”
Winter 2021
Transfer to SE from CE in 2B term 9 points, 11 comments
“I am currently in the 2A term for Computer Engineering program and I was wondering what are my requirements to transfer to Software Engineering starting 2B term. …”
[deleted]: [deleted]
u/shit_my_biscuits_rn: “SE 2B has several courses that depend on CS245/ECE208/SE212. Best bet is to ask an advisor tho. Good luck!”
What is your favourite/most interesting course? 13 points, 32 comments
u/softwaremans: “SE 212 - Logic and Computation. Hands down the best course I've taken so far. It's one of those rare courses where it changed the way I think about things and surprisingly still remember a lot of its content.”
Spring 2020
Selling Math 117, Math 119, SE 212 textbooks 2 points, 1 comment
Fall 2019
Need survival tips for next term courses 4 points, 13 comments
u/Dahmoo: “… the courses that I am taking are: CS 240 CS 241 CS 246 MATH 239 SE 212 (basically CS 245) STAT 206 (basically STAT 230/231?) for people who have taken these courses, do you have any advice? things I should look out for? …”
u/UWSE2022: “SE212: Nancy Day is great, assignments weren't too long/difficult. You can do the assignments with a partner. Course was pretty difficult. STAT206: Banerjee is one of my favourites. Attend your tutorials because he'll use them as lectures. There were a few optional problem sets. …”
Spring 2019
SE courses that can be taken as a student in CS 5 points, 8 comments
“If you enroll as a student in CS, I understand that you can still take some courses related to SE, but there are some courses that you can't take, correct? …”
u/Frozen-Penis: “… SE 212 is equivalent to CS 245 and so on. Courses like: seminars (SE 101, 102, 201, ...), physics (ECE 105, 106), circuits (ECE 140, 124), chemistry, diff eqns, and controls are typically taken by SE but not found in CS. …”
What is the difference between CS and Software Eng? 34 points, 19 comments
“I feel like I'm gonna get reamed for this since it seems most of you are CS, but I legit don't know. I'm just a Biology boy who knows nothing about computers”
u/stickysad: “… courses such as their physics, calc, circuit courses Has SE->CS equivalent courses such as SE 212(CS 245) Basically becomes a subset of CS after 1B, except for Calc 3, Feedback Control, and a few additional ECE electives Takes chem Requires 2 science electives, not including …”
Is this a manageable course load for 2A? 5 points, 7 comments
u/pirater1234: “Here’s what I have planned for next term: CHE 102, CO 250, CS 241, ECE 222, SE 212/CS 245, STAT 230 I’m an average student, do you think this is a doable term load? Any tips for the courses?”
Fall 2018
Why is CS 245 a mandatory course for Computer Science? 0 points, 6 comments
“Does anyone know why? Or have any good reason why they think it is justifiable to be mandatory? &x200B; &x200B; It is very common opinion that the content is useless.”
u/Pinkeston: “content is useless for software engineering/developing the program is computer science, not software engineering or programming”
u/Transcendate: “SE has to take SE 212, which is also Logic and Computation. …”
Check it elsewhere for Fall 2026
- Undergraduate Calendar, 2026–27The official entry
- Requirements for Fall 2026Waterloo’s requisite checker
- Schedule of Classes, Fall 2026Instructors, rooms, live seats
- Quest Class SearchWhere you enrol
- Course outlinesSyllabi from past terms (UW login)
- UW FlowStudent ratings and reviews
- WClassesPast sections back to 2004, and who taught them