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