Spring 2017

CSC5930.002 and CSC9010.007

Meeting on Wednesdays, 3:00 - 5:15 PM, Mendel Hall G88

Homework assignments

Lecture notes

Course Home Page: http://www.csc.villanova.edu/~japaridz/Logic/

Instructor: Dr. G. Japaridze

Textbook: "Language, Proof and Logic" (2nd Edition) by Dave Barker-Plummer, Jon Barwise and John Etchemendy. CSLI Publications, 2011. ISBN 978-1-57586-632-1.  NOTE: Do not purchase a used textbook, because the accompanying software is not reusable.

Online support

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 notably 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. Meets both MATH and CS requirements.

Grading: There will be no examinations. You final grades will be based on Quizzes (50%) and Homework (50%). Presumably the following scale will be used for final grades after taking your average quiz and homework score: 

·       For csc5930: (A) 92+;  (A-) 87+;  (B+) 82+;  (B) 77+;  (B-) 72+;  (C+) 67+;  (C) 62+; (C-) 57; (D+) 52+; (D) 47+; (D-) 42+; (F) 42-.

·       For csc9010: (A) 94+;  (A-) 87+;  (B+) 80+;  (B) 73+;  (B-) 66+;  (C+) 59+;  (C) 52+; (F) 52-.

Quizzes: Quizzes will be given every week, during the first few minutes of the class. Most quiz questions will come from among the questions posted under "Quiz" on the Homework page, including both “new” and “old” questions. Occasionally some closely related (but not explicitly posted) questions may as well be asked.

Homework: In the form of electronic submissions, almost every week. 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%.

Office of Disabilities and Learning Support Services: It is the policy of Villanova to make reasonable academic accommodations for qualified individuals with disabilities. You must present verification and register with the Learning Support Office by contacting 610-519-5176 or at learning.support.services@villanova.edu or for physical access or temporary  disabling conditions, please contact the Office of Disability Services at 610-519-4095 or email Stephen.mcwilliams@villanova.edu Registration is needed in order to receive accommodations.


Academic Integrity: All students are expected to uphold Villanova’s Academic Integrity Policy and Code. Any incident of academic dishonesty will be reported to the Dean of the

College of Liberal Arts and Sciences for disciplinary action. For the College’s statement on Academic Integrity, you should consult the Enchiridion. You may view the university’s Academic Integrity Policy and Code, as well as other useful information related to writing papers, at the Academic Integrity Gateway web site: http://library.villanova.edu/Help/AcademicIntegrity