Spring 2008
CSC 5930, MAT 5930, PHI 2990
Course Home Page: http://www.csc.villanova.edu/~japaridz/Logic/
Instructor: Dr. G. Japaridze
Teaching Assistant: Ms. Lauren Palcho
กก
Textbook:
"Language, Proof and Logic"
By J.Barwise and J.Etchemendy. CSLI Publications, 1999. ISBN 1-57586-374-X
NOTE: Do not purchase a used textbook, because
the accompanying software is not reusable.
Description and goals: Logic is the study of the laws of truth and the fundamental principles of correct reasoning. As such, it forms the very basics of mathematics, at the same time being highly relevant to a wide range of other disciplines, most noteably computer science (artificial intelligence, computability theory, etc.) and philosophy. For this reason, this course could be equally interesting for mathematics, computer science and philosophy students, as well as anyone with mathematical and theoretical inclinations. Meant to be an introductory course to the exciting subject of logic, it is going to be fully self-contained, with no formal or informal prerequisites.
Examination schedule:
Quizzes: Every Thursday, the first few minutes of the class. Missed quizzes cannot be made up no matter what the reason was. One quiz with the lowest grade, however, will be automatically forgiven. All quiz questions will come from among the questions posted under "Quiz" on the Homeworks page.
Homework: In the form of electronic
submissions, about twice a week during the first half of the semester and more
rarely during the second half. Each submission is due before the start of the
class. Late submissions will only receive 50% of the score, and submissions
overdue more than one week will receive 0%.
Grading:
Homework 25%, Quizzes 25%, Midterm 25%, Final 25%.