PRELIMINARY COURSE ANNOUNCEMENT
===============================

	B609/B619:
	B609 Topics in Algorithms and Computing Theory
	B619 Topics in Applied Logic

	Spring'05 Semester
	M,W 2:30-3:45
	Place TBA

	VARIABLE CREDIT: 1-3

The course will consist of three consecutive and **INDEPENDENT** modules:

	1. Introduction to first-order logic and its applications
		1 credit
		Weeks of 	Jan 10
				Jan 17 (no class on the 17, MLK day)
				Jan 24
				Jan 31
				EXAM: W Feb 9

	2. Hoare's logic and the verification of imperative programs
		1 credit
		Weeks of	Feb 14
				Feb 21
				Feb 28
				Mar  7
				EXAM: W Mar 23
				(Spring Break is March 12-20) 

	3. Fundamentals of Computational Complexity
		1 credit
		Weeks of 	Mar 28
				Apr  4
				Apr 11
				Apr 18
				EXAM: W Apr 27

NOTES:
	* Students are free to take any combination of modules, 
	subject to the following pre/co-requisites.

	* Pre-requisite for module 2 is an introductory course 
	in formal logic.  Module 1 will served that purpose.

	* Pre-requisite for module 3 is an introductory course in 
	computation theory, such as 401 or 501.  
	Taking 401 or 501 simultaneously with this module will do.

	* There are no required textbooks.
	Material for each module will be provided.

	* B619 is not yet posted as variable credit,
		to be done soon.

	* B609 is not yet posted at all; hopefully it will be soon.

	* Students registering only to module 3 are encouraged
		to register under B609 (if this number becomes available)