SE 212: Logic and Computation (Fall 2023)

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

Assessments

• Asn/Projects
• George (Software)
• Boole 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 every day except Thursday as follows:

• Mon 3:30-4:30pm online Aditya (IA)
• Tue 7pm-8pm online Nancy (prof)
• Wed 11:30-12:30pm in person/online DC2335 Nancy (prof)
• Thu none
• Fri 2:30pm-3:30pm online/in person in DC2577 (SE Lab) Owen (IA)

For all office hours the prof/IA will post to the office hour channel on MS Team SE212. Please add your name to the channel, and we will call you in order. If someone comes in person, we will add that person to the queue. 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.