Schedule for CS3311
Formal Models of Computation
Fall 2017


Week Date Topic/Read Before Class Handed out
1 M, 09/04 No class: Labor Day  
  W, 09/06 Course information, go over the syllabus
Section 1.1 Set Theory
   Methods of defining infinite sets
Section 1.6 Recursive definitions
Homework 1 (pdf)
  Th, 09/07 Make-up Thursday class to cancel class on the Career Fair day
Time: 6:05pm-6:55pm
Location: Fisher TBD
Section 1.1 Set Theory (cont'd)
   Set operations
   Set relations
 
  F, 09/08 No class: K-Day  
2 M, 09/11 Section 1.6 Recursive definitions (cont'd)
   More examples
 
  W, 09/13 Review Homework 1 answers
Section 1.7 Mathematical induction
   Inductive proof for a summation
Homework 2 (pdf)
  F, 09/15 Section 1.7 Mathematical induction (cont'd)
   Inductive proof for a program with a loop
   Inductive proof for a recursive definition
   Inductive proof fallacies
 
3 M, 09/18 Chapter 2 Languages
   Section 2.1 Strings and languages
   Section 2.2 Finite specification of languages
 
  W, 09/20 Review Homework 2 answers
Section 2.2 Finite specification of languages (cont'd)
   Concatenation and Kleene Star
   Examples
Homework 3 (pdf)
  Th, 09/21 Exam 1 Part 1 of 2
Time: 6:00pm - 7:30 pm
Location: Fisher 329
 
  F, 09/22 Section 2.3 Regular sets and expressions
   Regular set examples
   Compare regular sets and regular expressions
   Regular expression examples
 
4 M, 09/25    
  W, 09/27 Michigan Tech Fall Career Fair is on September 27, 2017.
Today's class in cancelled so that you can have more time at the Career Fair.
 
  F, 09/29   Homework 4 (pdf)
5 M, 10/02    
  W, 09/04 Review Homework 3 answers
Review Homework 4 answers
Homework 5 (pdf)
  Th, 10/05 Exam 1 Part 2 of 2
Time: 6:00pm - 7:30 pm
Location: Fisher 328
 
  F, 10/06    
6 M, 10/09    
  W, 10/11 Review Homework 5 answers Homework 6 (pdf)
  F, 10/13    
7 M, 10/16    
  W, 10/18    
  F, 10/20 Review Homework 6 answers Homework 7 (pdf)
8 M, 10/23    
  W, 10/25 Review Homework 7 answers Homework 8 (pdf)
  Th, 10/26 Exam 2
Time: 6:00pm - 7:30 pm
Location: Fisher 329
 
  F, 10/27    
9 M, 10/30    
  W, 11/01 Review Homework 8 answers Homework 9 (pdf)
  F, 11/03    
10 M, 11/06    
  W, 11/08 Review Homework 9 answers Homework 10 (pdf)
  F, 11/10    
11 M, 11/13    
  W, 11/15 Review Homework 10 answers Homework 11 (pdf)
  Th, 11/16 Exam 3
Time: 6:00pm - 7:30 pm
Location: Fisher 328
 
  F, 11/17 No class -- evening exam 3  
Break M, 11/20 Thanksgiving recess  
  W, 11/22 Thanksgiving recess  
  F, 11/24 Thanksgiving recess  
12 M, 11/27    
  W, 11/29    
  F, 12/01 Review Homework 11 answers Homework 12 (pdf)
13 M, 12/04    
  W, 12/06    
  F, 12/08 Review Homework 12 answers Homework 13 (pdf)
14 M, 12/11    
  W, 12/13    
  F, 12/15 Review Homework 13 answers  
Finals   Final Exam
Date, Time, Location: TBA
 

 
(Created: September 2, 2017)