CSCI 581 , Spring 2004
Logic and its Applications

Instructor

Professor Leonard M. Adleman
Office Hours: by appointment
Email : adleman@usc.edu

Textbook

A Mathematical Introduction To Logic 
H.B.Enderton. 

Lectures

2-3:30 MW 
CLASS PARTICIPATION IS TAKEN SERIOUSLY. YOU WILL BE ASKED QUESTIONS AND YOU WILL BE EXPECTED TO ASK QUESTIONS. CLASS PARTICIPATION WILL ACCOUNT FOR 15% OF YOUR GRADE

Grades

The final grade will be primararily based on class participation(15%), midterm(35%),  and a final exam (50%). With respect to exams: questions may come from  any topic covered in class lectures (except when the professor explicitly indicates otherwise) and/or topics in parts of the text  indicated in the course outline. The grading policy is subject to change at any time for any reason.

Exams

The midterm and final will be closed book. Precision will matter, sloppy answers even if correct will receive fewer points than clean crisp ones. Bring a blue-book and be prepared to stay in your seat during the entire exam

Homeworks

Homework problems will be assigned periodically (see course outline).Homework will not be graded; however it  will form the basis for the quizzes and you are encouraged to complete it. Homework answers will be provided. 

Integrity

Plagiarism and other anti-intellectual behavior will be dealt with severely. This includes the possibility of failing the course or being expelled from the University.