SE 212: Logic and Computation (Fall 2026)

• Home
• Piazza
• Schedule
• Lectures
• Summary Pages
• Textbooks
• Homework
• Office Hours

Assessments

• Asn/Projects
• Ask George
• James interface
• George User Manual
• MarkUs
• MarkUs Instructions
• Solutions
• Exam Information
• Marking Scheme

General

• Course Personnel
• Course Outline and Policies

Homework

This page will contain suggested homework exercises for each week. The solutions to these problems can be found on the Solutions web page at the end of the week.

These files are accessible directly in the James interface to george.

• Homework 1 (L02,L03)
• Homework 2 (L04,L05,L06)