Framingham State University
Scheduled for Spring 2012
This site is under construction. Assignments are not yet
posted.
Topics (slides):
Introduction (slides)
D. Keil,
Abstraction, functions, and recursion
1. Algebras,
logics, and inductive proofs (slides)
D. Keil, Sample problems in algorithm verification and analysis
2.
Sets, relations, and recurrences (slides)
3.
Graphs and transition systems (slides)
4.
Trees (slides)
5.
Decidability and countability (slides)
6.
Combinatorics and discrete probability (slides)
7. Information theory, randomness, chaos,
and complex systems (slides)
Summary (slides)
This page last edited 9/2/11