Schedule for CS3311
Formal Models of Computation
Spring 2015


Week Date Topic/Read Before Class Assignment
1 M, 01/12 Course information, go over the syllabus
Section 1.1 Set Theory
 
  W, 01/14 Section 1.1 Set Theory (cont'd)
  Set operations and set relations
Homework 1 (pdf)
  W, 01/14 Extra Tuesday class due to conference cancellations
time: 6:05pm-6:55pm
location: Rekhi G09
Section 1.6 Recursive definitions (cont'd)
 
  F, 01/16    
2 M, 01/19 no class -- Martin Luther King, Jr. Day recess  
  Tu, 01/20 Extra Tuesday class due to conference cancellations
time: 6:05pm-6:55pm
location: Rekhi G09
 
  W, 01/21 no class -- Conference  
  F, 01/24 no class -- Conference  
3 M, 01/26    
  W, 01/28   Homework 2 (pdf)
  F, 01/30    
4 M, 02/02    
  W, 02/04   Homework 3 (pdf)
  F, 02/06 no class -- Winter Carnival  
5 M, 02/09    
  W, 02/11   Homework 4 (pdf)
  R, 02/12 Midterm exam 1
Time: 6:00pm-7:30pm        Location: Fisher 139
Sections covered:
  Section 1.1 Set Theory
  Section 1.2 Cartesian Product, Relations, and Functions
  Section 1.6 Recursive Definitions
  Section 1.7 Mathematical Induction
  Section 2.1 Strings and Languages
  Section 2.2 Finite Specification of Languages
  Section 2.3 Regular Sets and Expressions
Sections NOT covered: 1.3, 1.4, 1.5, 1.8, 2.4
 
  F, 02/13    
6 M, 02/16 (Note: the MTU Career Fair is tomorrow, on Tuesday, 2/17.)  
  W, 02/18   Homework 5 (pdf)
  F, 02/20    
7 M, 02/23    
  W, 02/25   Homework 6 (pdf)
  F, 02/27    
8 M, 03/02    
  W, 03/04   Homework 7 (pdf)
  R, 03/05 Midterm exam 2
Time: 6:00pm-7:30pm        Location: Fisher 139
Sections covered:
   Section 1.6 Recursive Definitions
   Section 2.3 Regular Sets and Expressions
   Section 5.1 A Finite-State Machine
   Section 5.2 Deterministic Finite Automata
   Section 5.3 State Diagrams and Examples
   Section 5.4 Nondeterministic Finite Automata
   Section 5.5 Lambda-transitions
   Section 5.6 Removing Nondeterminism
   Section 5.7 DFA Miminization
 
  F, 03/06 no class -- Exam 2 day  
-- M, 03/09 no class -- Spring recess  
  W, 03/11 no class -- Spring recess  
  F, 03/13 no class -- Spring recess  
9 M, 03/16    
  W, 03/18   Homework 8 (pdf)
  F, 03/20    
10 M, 03/23    
  W, 03/25   Homework 9 (pdf)
  F, 03/27    
11 M, 03/30    
  W, 04/01   Homework 10 (pdf)
  R, 04/02 Midterm exam 3
Sections covered: TBA
Sections NOT covered: TBA
Location: Fisher 139
 
  F, 04/03    
12 M, 04/06    
  W, 04/08   Homework 11 (pdf)
  F, 04/10    
13 M, 04/13    
  W, 04/15   Homework 12 (pdf)
  F, 04/17    
14 M, 04/20    
  W, 04/22    
  F, 04/24    
Finals M, 04/27 Final Exam
Time: 10:15am-12:15pm        Location: Dow 642
Sections covered: TBA
Sections NOT covered: TBA
Good luck!

Note: A week-long homework is assigned almost every Wednesday.
 

(Created: January 6, 2015)