SE 212: Logic and Computation (Fall 2025)

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

Assessments

• Asn/Projects
• George (Software)
• James interface
• Etherpad (VPN)
• 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)
• Homework 3 (L06,L07,L08)
• Homework 4 (L08,L09,L10)
• Review problems for the midterm (predicate logic ST not covered on midterm)
• Homework 5 (L11,L12)
• Homework 6 (L13,L14)
• Homework 7 (L14,L15)
• Homework 8 (L15,L16)
• Homework 9 (L17,L18)
• Homework 10 (L19,L20)
• Homework 11 (L21,L22)
• Homework 12 (L23,L24)