CSC 233: Foundations of Computation, Fall 2010
Schedule
This schedule is only approximate and subject to change.
| Week | Topics | Notes |
| 8/25-27 |
Introduction; Scala |
Chapter 1 |
| 8/30-9/3 |
Induction and Recursion |
Chapter 2 |
| 9/6-10 |
Recurrences |
Chapter 3 |
| 9/13-17 |
Trees and Lists |
Chapters 5 and 6 |
| 9/20-24 |
Sets and Relations |
Chapters 7 and 8 |
| 9/27-10/1 |
Graphs |
Exam 1; Chapter 9 |
| 10/4-8 |
Graphs, cont. |
Chapter 9 |
| 10/11-15 |
Finite-State Automata |
Chapter 10 |
| Fall Break |
| 10/25-29 |
Grammars and Regular Expressions |
Chapters 10 and 11 |
| 11/1-5 |
Grammars, cont. |
Chapter 11 |
| 11/8-12 |
Propositional Logic |
Exam 2; Chapter 12 |
| 11/15-19 |
Digital Logic |
Chapter 13 |
| 11/22 |
Digital Logic, cont., Thanksgiving |
Chapter 13 |
| 11/29-12/3 |
Predicate Logic |
Chapter 14 |
| 12/6-10 |
Wrap-up |
|
| Final Exam: Thursday, December 16, 8:30 am |

DePauw University,
Computer Science Department,
Fall 2010
Maintained by Brian Howard
(bhoward@depauw.edu).
Last updated