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