Software Engineering 2F03
Logic for Software Engineering
Fall 2005

Instructor: William M. Farmer

Course Outline (2-SEP-2005)

Questionnaire

Slides

Assignments

Exams

TA's Office Hours

Midterm Test 1: Thursday, 13-OCT-2005, 12:30-13:20 in REF 102

Midterm Test 2: Tuesday, 15-NOV-2005, 13:30-14:20 in REF 102

Final Exam: Monday, 19-DEC-2005, 7:30-10:30 p.m., Convocation Hall in University Hall