Computing and Software 701
Logic and Discrete Mathematics in Software Engineering
Fall 2008

Instructor: William M. Farmer

Course Outline (1-SEP-2008)

Questionnaire

Slides

Exercises

Exams

Students Presentations

References

Logical and Mathematical Notation

TA's Office Hours

Midterm Test: Thursday, 30-OCT-2008, 14:30-16:20

Final Exam: Friday, 12-DEC-2008, 13:00-15:00 in ITB 225