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

Office Hours

We have office hours available as follows:

• Mon 7:30-8:30pm online Aditya (IA)
• Tue 12:30-1:30 in person DC2335 Nancy (prof)
• Tue 7:30-8:30pm online Nancy (prof)
• Fri 4:30-5:30pm online Aditya (IA)

For all online office hours the prof/IA will post to the office hour channel on MS Teams SE212. Please add your name to the channel, and we will call you in order. Groups are welcome to come together.

Office hours sessions will not be recorded. Attendance at office hours is optional.

Office hours will start on the first Monday of the course.

We will adjust these office hours as needed during the term. If you have a question and cannot attend during office hours, send an email to the prof or IAs.