Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!husc6!bloom-beacon!gatech!hubcap!fpst
From: fpst@hubcap.UUCP
Newsgroups: comp.edu
Subject: Junior level theory course
Message-ID: <423@hubcap.UUCP>
Date: Wed, 2-Sep-87 08:11:34 EDT
Article-I.D.: hubcap.423
Posted: Wed Sep  2 08:11:34 1987
Date-Received: Fri, 4-Sep-87 02:20:16 EDT
Organization: Clemson University, Clemson, SC
Lines: 18


	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