[comp.edu] Junior level theory course

fpst@hubcap.UUCP (09/02/87)

	I am trying to layout a junior level course which would be a
"theory" course in preparation for three subject areas: compiler
sequence, computability sequence, and "verification of programs" course.

Questions:
	What should such a course emphasize?
	Give me 10 "facts" the students must know when they leave the course.
	Give me some (~10 - 15) subject headings.  Don't worry about sequence
		or prerequistes unless absolutely necessary.

Send directly to me and I'll summarize and repost.
	
-- 
Steve Stevenson                            fpst@hubcap.clemson.edu
(aka D. E. Stevenson),                     fpst@clemson.csnet
Department of Computer Science,            comp.hypercube
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell