Instructor:	Gábor Hetyei Office: 602 Snow, Phone: 864-3005, E-mail: hetyei@math.ukans.edu Office hours: Mondays, Wednesdays and Fridays 2:00-3:00 pm, or by appointment.
Text:	The Language of First Order Logic, Jon Barwise & John Etchemendy, CSLI Lecture Notes, 1993. This book comes with the program Tarski's World, upon which much of the homework will be based.
Prerequisite:	EECS 310, or MATH 450, or MATH 588, or MATH 590.
Three hours credit
Topics:	Propositional Logic: the alphabet, satisfiability and logical truth, methods of proof, formal proofs. Quantifiers: syntax, semantics, methods of proof, mixed quantifiers, paraphrasing English. Applications: Set theory and induction. Advanced topics: Horn sentences, resolution, Skolemization and unification. There may be extra time towards the end of the semester to add topics not covered in the text.
Test Dates:	Test I Monday September 20, 12:30-1:20 pm Test II Monday November 1, 12:30-1:20 pm Final Exam Tuesday December 14, 11:30 am-2:30 pm
Homework:	Homework will be handed in nearly every week, and will be usually due on Monday. While much of the homework will be based on the program Tarski's World, I will not ask you to hand in discs or send files by e-mail. I will make an effort to regularly post the homework on the webpage http://www.math.ukans.edu/~hetyei/courses/520/hw.html .  In case of discrepancy, what I said in class is "official".
Evaluation:	Grades will be based on: 25% for the homework, 21 % for each of the tests, and 33 % for the final.
Class meeting:	Mondays, Wednesdays and Fridays 12:30-1:20 pm in 4076 Wescoe.
Homepage:	http://www.math.ukans.edu/~hetyei/courses/520/