CSC 233: Foundations of Computation, Spring 2011
Schedule
This schedule is only approximate and subject to change.
Week | Topics | Notes |
1/31-2/4 |
Introduction; Scala |
Chapter 1 |
2/7-11 |
Induction and Recursion |
Chapter 2 |
2/14-18 |
Recurrences |
Chapter 3 |
2/21-25 |
Trees and Lists |
Chapters 5 and 6 |
2/28-3/4 |
Sets and Relations |
Chapters 7 and 8 |
3/7-11 |
|
Exam 1; No Class 3/11 |
3/14-18 |
Graphs |
Chapter 9 |
Spring Break |
3/28-4/1 |
Finite-State Automata |
Chapter 10 |
4/4-8 |
Grammars and Regular Expressions |
Chapters 10 and 11 |
4/11-15 |
Grammars, cont. |
Chapter 11 |
4/18-22 |
Propositional Logic |
Chapter 12 |
4/25-29 |
|
Exam 2 |
5/2-6 |
Digital Logic |
Chapter 13 |
5/9-11 |
Predicate Logic; Wrap-up |
Chapter 14 |
Final Exam: Thursday, May 19, 8:30 am |
DePauw University,
Computer Science Department,
Spring 2011
Maintained by Brian Howard
(bhoward@depauw.edu
).
Last updated