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 (pdf)
  Th, 09/04 Extra Thursday class due to conference cancellations
time: 6:05pm-6:55pm
location: Rekhi 214
Section 1.6 Recursive definitions (cont'd)
Section 1.1 Set Theory (cont'd)
  set vs. sequence
  set relations: equal, subset, proper subset
  set operations: union, intersection, difference, complement, power set
 
  F, 09/06 No class -- K-day recess  
2 M, 09/08 Section 1.2 Cartesian Product, Relations  
  W, 09/10 Review Homework 1
Section 1.7 Mathematical Induction
Homework 2 (pdf)
  Th, 09/11 Extra Thursday class due to conference cancellations
time: 6:05pm-6:55pm
location: Rekhi 214
Section 1.7 Mathematical Induction (cont'd)
Section 2.1 Strings and Languages
  Alphabet (Σ), string, language
  Definition of Σ*
 
  F, 09/12 Section 2.1 Strings and Languages (cont'd)
  Definition 2.1.3: Concatenation of two strings
  Definition 2.1.5: Reversal of a string
Section 2.2 Finite Specification of Languages
 
3 M, 09/15 Section 2.2 Finite Specification of Languages
  Definition 2.2.1: Concatenation of Languages
  Definition 2.2.2: The Kleene star of a language
Section 2.3 Regular Sets and Expressions
 
  W, 09/17 Review Homework 2
Section 2.3 Regular Sets and Expressions (cont'd)
Homework 3 (pdf)
  F, 09/19    
4 M, 09/22    
  W, 09/24   Homework 4 (pdf)
  Th, 09/25 Exam 1
Time: 6:00pm - 7:30 pm
location: Rekhi 214
 
  F, 09/26    
5 M, 09/29    
  T, 09/30 (Reminder: Michigan Tech Fall Career Fair is on September 30th this year)  
  W, 10/01   Homework 5 (pdf)
  F, 10/03    
6 M, 10/06    
  W, 10/08   Homework 6 (pdf)
  F, 10/10    
7 M, 10/13    
  W, 10/15   Homework 7 (pdf)
  F, 10/17    
8 M, 10/20    
  W, 10/22   Homework 8 (pdf)
  Th, 10/23 Exam 2
Time: 6:00pm - 7:30 pm
location: Rekhi 214
 
  F, 10/24    
9 M, 10/27    
  W, 10/29   Homework 9 (pdf)
  F, 10/31    
10 M, 11/03    
  W, 11/05   Homework 10 (pdf)
  F, 11/07    
11 M, 11/10    
  W, 11/12   Homework 11 (pdf)
  F, 11/14    
12 M, 11/17    
  W, 11/19    
  Th, 11/20 Exam 3
Time: 6:00pm - 7:30 pm
Location: Rekhi 214
 
  F, 11/21 No class: evening exam 3 day  
Break M, 11/24 Thanksgiving recess  
  W, 11/26 Thanksgiving recess  
  F, 11/28 Thanksgiving recess  
13 M, 12/01    
  W, 12/03   Homework 12
  F, 12/05    
14 M, 12/08    
  W, 12/10    
  F, 12/12    
Finals W, 12/17 Final Exam (exam 4)
Time: 12:45pm-2:45pm
Location: Rekhi 214
 

 
(Created: August 31, 2014)