22C:096
Computation, Information, and Description

Department of Computer Science
The University of Iowa



Last modified: 7 March 1997

Special anchor symbols:

The funny ruled line
%<----------------------------------------------
indicates an approximate break from one class lecture to the next.

Table of Contents

Glossary of terms

The lectures

  • Introduction
  • Defining Computation
  • Simple Computing Systems
  • Descarte's Program: no lecture notes, but see the annotated copy of the Discours
  • Hilbert's Program
  • Foundations: discrete symbols carrying information
  • Combinations of Discrete Symbols; Encoding
  • Formal Systems: Discrete Symbols, Combining Forms, and Computation Rules
    • Maintained by Michael J. O'Donnell, email: [] odonnell@cs.uiowa.edu