This course is about logic and its application to software engineering. Briefly, the course will cover the following topics:

For more detailed course description and philosophy, please click here.

Date/Time/Place:  Wednesdays/5:30 PM-8:20 PM/EIT-3141

The lectures are available here.