Schedule for CS3311
Formal Models of Computation
Fall 2014


Week Date Topic/Read Before Class Assignment
1 M, 09/01 No class: Labor Day  
  W, 09/03 Course information, go over the syllabus
Section 1.1 Set Theory
Section 1.6 Recursive definitions
Homework 1
  Th, 09/05 Extra Thursday class due to cancellations in week 5
time: 6:05pm-6:55pm
location: Rekhi 214
Section 1.1 Set Theory (cont'd)
Section 1.2 Cartesian Product, Relations
 
  F, 09/06 No class -- K-day recess  
2 M, 09/09 Section 1.6 Recursive definitions (cont'd)
Section 1.7 Mathematical Induction
 
  W, 09/11 Review Homework 1
Section 1.7 Mathematical Induction (cont'd)
Homework 2
  Th, 09/12 Extra Thursday class due to cancellations in week 5
time: 6:05pm-6:55pm
location: Rekhi 214
 
  F, 09/13    
3 M, 09/16    
  W, 09/18   Homework 3 (pdf)
  F, 09/20    
4 M, 09/23    
  T, 09/24 (Reminder: Michigan Tech Fall Career Fair is on September 24th this year)  
  W, 09/25   Homework 4 (pdf)
  Th, 09/26 Exam 1
Time: 6:00pm - 7:30 pm
Location: Fisher 326
 
  F, 09/27 No class -- evening exam 1  
5 M, 09/30    
  W, 10/02 No class -- conference Homework 5 (pdf)
  F, 10/04 No class -- conference  
6 M, 10/07    
  W, 10/09   Homework 6 (pdf)
  F, 10/11    
7 M, 10/14    
  W, 10/16   Homework 7 (pdf)
  F, 10/18    
8 M, 10/21    
  W, 10/23   Homework 8 (pdf)
  Th, 10/24 Exam 2
Time: 6:00pm - 7:30 pm
Location: Fisher 326
 
  F, 10/25    
9 M, 10/28    
  W, 10/30   Homework 9 (pdf)
  F, 11/01    
10 M, 11/04    
  W, 11/06   Homework 10 (pdf)
  F, 11/08    
11 M, 11/11    
  W, 11/13   Homework 11 (pdf)
  F, 11/15    
12 M, 11/18    
  W, 11/20    
  Th, 11/21 Exam 3
Time: 6:00pm - 7:30 pm
Location: Fisher 326
 
  F, 11/22    
Break M, 11/25 Thanksgiving recess  
  W, 11/27 Thanksgiving recess  
  F, 11/29 Thanksgiving recess  
13 M, 12/02    
  W, 12/04   Homework 12 (pdf)
  F, 12/06    
14 M, 12/09    
  W, 12/11    
  F, 12/13    
Finals W, 12/18 Final Exam (exam 4)
Time: 12:45pm - 2:45pm
Location: Rekhi 214
 

 
(Created: August 29, 2013)