http://www.cis.ksu.edu/~schmidt/teaching/870.syllabus.html CIS870 syllabus fall 1995

CIS870: Computability Theory

Autumn 1995

MWF 10:30pm N127
Dave Schmidt, Instructor
Office: N219A, 532-6350

Text: Computability, by Nigel Cutland. Supplemental notes will be available later in the course.

Objectives: to understand and appreciate

Lectures:

TOPIC/NUMBER OF LECTURES

Prerequisites:

CIS770 or CIS775.

Grading:

is based primarily on homework exercises, but there might also be one or two take-home exams.
Dave Schmidt (schmidt@cis.ksu.edu)