80-211: Logic and Mathematical Inquiry
(Spring 2012)

Course Information  [  Logistics  |  Course Links  |  Calendar of Classes  |  Coursework Calendar  ]



   (Your comments will be sent anonymously to the instructors)

Logistics

Lectures: Mo,We   14:30 - 15:50 (room 1190)

Class Webpage:   http://qatar.cmu.edu/cs/80211


Instructors: Wilfried Sieg
Office hours:  by appointment
Office:  CMU-Q 2040
Email:  sieg@cmu.edu
Iliano Cervesato
Office hours:  by appointment (check schedule)
Office:  CMU-Q 1008
Email:  iliano@cmu.edu

Course Links

Calendar of Classes

Click on a class day to go to that particular lecture or recitation. Due dates for homeworks are set in bold. The due date of the next homework blinks.

January 2012
UMTWRFS
1234567
891011121314
15161718192021
22232425262728
293031    
       
February 2012
UMTWRFS
   1234
567891011
12131415161718
19202122232425
26272829   
       
March 2012
UMTWRFS
    123
45678910
11121314151617
18192021222324
25262728293031
       
April 2012
UMTWRFS
1234567
891011121314
15161718192021
22232425262728
2930     
       
May 2012
UMTWRFS
  12345
6789101112
13141516171819
20212223242526
2728293031  
       

Coursework Calendar

Test
Percentage
(learning obj.)		Hw1
6.25%		Hw2
6.25%		Hw3
6.25%		Hw4
6.25%		Exam
15%		Hw5
6.25%		Hw6
6.25%		Hw7
6.25%		Hw8
6.25%		Hw9
6.25%		Hw10
6.25%		Final
30%
Posted25 Jan1 Feb8 Feb15 Feb29 Feb22 Feb14 Mar21 Mar28 Mar4 Apr11 Apr3 May
(8:30-11:30)
[2152]
Due
(23:59)		29 Jan5 Feb12 Feb19 Feb11 Mar18 Mar25 Mar1 Apr8 Apr15 Apr
Corrected1 Feb8 Feb15 Feb22 Feb4 Mar14 Mar21 Mar28 Mar4 Apr11 Apr18 Apr6 May
© 2012 Iliano Cervesato iliano@cmu.edu