## MAT 200 (Logic, Language and Proof), Fall 2015

### Instructor

### Contact

malik.younsi@stonybrook.edu

### Lecture

MW 4:00pm - 5:20pm, Hariman 116.

### Office hours

Mondays 2:30pm - 4:00pm, Wednesdays 2:30pm - 4:00pm, and by appointment. Math Tower 4-118.

### Special Announcements

- Please note that there will be no class on Monday, November 30 and no office hours during that week. Instead, there will be additional office hours : Monday December 7 and Tuesday December 8, all day (say 9:00-12:00 and 1:00-5:00).

### Exams

Solution to Midterm 1
Solution to Midterm 2
Solution to Final Exam
### Homeworks

Homework 1 (due in class September 2, 2015). Solution
Homework 2 (due in class September 9, 2015). Solution
Homework 3 (due in class September 16, 2015). Solution
Homework 4 (due in class September 23, 2015). Solution
Homework 5 (due in class September 30, 2015). Solution
Homework 6 (due in class October 7, 2015). Solution
Homework 7 (due in class October 21, 2015). Solution
Homework 8 (due in class October 28, 2015). Solution
Homework 9 (due in class November 4, 2015). Solution