next next up down toc toc mail


A.	Preliminaries
	1.	Sets, Relations, Graphs
	2.	Induction and Recursion
	3.	Formal Systems

B.	Logic
	1.	Boolean Algebra and Switching Theory
	2.	Computer Logic Networks
	3.	Propositional Calculus
	4.	Predicate Calculus

C.	Machines and Grammars
	1.	Finite State Machines and Regular Expressions
	2.	Context Free Grammars
	3.	Turing Machines
	4.	Production Systems

D.	Computability and Complexity
	1.	Unsolvability
	2.	Intro to Algorithmic Complexity
	3.	Program Verification

The Components of the Course are in no particular order.

back next up down toc toc mail

Created by unroff & hp-tools. © by Hans-Peter Bischof. All Rights Reserved (1998).

Last modified: 27/July/98 (12:14)