SE 212: Logic and Computation (Fall 2026)

Course Navigation

Welcome to SE212 for the fall term Fall 2026! The first lectures are on Thu Sep 10th. Lectures will be in person. These web pages are under development and they will contain lots of useful information. Look here during the term for regular updates.

All course content will be posted on these web pages and NOT on LEARN. The SE212 deadlines will appear in the LEARN calendar. All times on these web pages are in Waterloo's time zone.

  • Schedule
    • Tuesdays
      • Sec 001 Lecture 8:30-9:50am DWE 2527
      • Sec 002 Lecture 10:00-11:30am DWE 2527.
      • Assignments/projects due at 21:00 (9pm) most weeks.
      • Next assignment/project posted.
      • Midterm exams.
    • Thursdays
      • Sec 001 Lecture 8:30-9:50am DWE 2527
      • Sec 002 Lecture 8:30-9:50am DWE 2527.
  • Lectures - On the Lectures web page, there will be a pdf for each lecture, which are the slides used in class. There will also be helpful Summary Pages posted.
  • Textbook - While the lecture notes cover all the course content, we have some textbook chapters to help you with learning the material. These will be referenced in the lecture material. The textbook is freely available for you on the SE212 LEARN page.
  • Homework - Each week there will be a set of Homework problems posted to help you learn this week's material. The solution sets will be posted on the Solution Sets web page.
  • Discussion/Announcements - We will use Piazza for announcements, questions and discussions. Participation marks can come from good posts made to piazza; questions regarding the course notes and solution sets; and contributions to our software george.
  • Office Hours - We have office hours on Mondays and Fridays. Please see the Office Hours page.
  • Assessment - The schedule for assessments can be found at: Assessment Descriptions. Assignments may be completed in groups of up to two. Project may be completed in groups of up to three. The assignments and projects will all be submitted via MarkUs. And marks will be returned to you on MarkUs. The solution sets for assessments will be posted on the Solution Sets web page. The marking scheme is described on the Marking Scheme page.
  • Questions? Suggestions? - I'm sure you've got lots of them! And we're here to help. You can send email to the instructor at: course email. We aim to create an open and welcoming environment for all students. If at any point, you have any concerns or suggestions regarding the course environment, please contact the instructor so we can improve the situation as soon as possible.

Last modified on Monday 14th of September 2026 12:25:08 PM

Course Supported by Instructional Support Group