COSC5100 	Course syllabus             	Fall 2007.

	Instructor:	Dr. Hikyoo Koh
			Professor of CS
			E-Mail: hkoh@my.LAMAR.EDU 
			        HKPK32@Yahoo.com (My Preference)
			HTTP:   HAL.LAMAR.EDU/~KOH (Soon to be relocated)
	  Office:	MA68
	  Office Phone: 880-8779
	  Office hours: 	
		MW:	11:00-12:00
		TTh:	13:00-14:00
		Sat:	11:00-14:00
			(About every other Saturday,
			 with appointments preferred)

	Reference:
		LOGIC for Applications by Anil Nerode and Richard Shore,
		Springer-Vertag, 1993	

	Objectives:
	        By completing this course, students will
		1. be exposed to current research projects undergoing
		   in the Department.
		2. understand the proper style to be used in writing a 
		   research paper.
		3. understand the regulations of Lamar Graduate School 
		   regarding research projects/theses for potential MS 
		   students and
		4. attain an in-depth understanding of Logic

	Organization:
	  1. The course will have a seminar structure, which means that
	     everyone in the class will actively participate with 
	     questions/comments during any class session including faculty 
	     presentations as well as student presentations.
	  2. Schedule:
		The instructor lectures:		5 classes
		  on logic and research methods
		Other CS faculty members:		6 classes
		Student group paper presentations:	3 classes
	          on any CS topics.
		  Up to four people can form a group and each group membership and
		  the title of the research paper must be approved
		  by the instructor no later than the class meeting of week#6.

	Grading:	
			2 programs:    		30%
			Research Paper:		50%
			Participation:		20%
		 	(As part of this requirement, you are to turn in
			 a one-page summary of a CS faculty member's talk)
			No exam.
			Every missed class will cost students 5% of the class
			average toward the final grade.

	Final grade will be determined by the class average as follows:
			88% or above:	A
			Else > 78%:  	B
			Else > 68%:	C
			Else:        	D
	Students with Disabilities:
	This course complies with the University Policies on Disability,
	Accommodations and Academic Honesty as published in the Student Handbook 
	and also in the Computer Science Department Policy on Academic Honesty.