CSL 303: Logic for Computer Science (3-0-2-4)

I Semester 2011-2012
Instructor: S. Arun-Kumar

Roll List Last modified: Tue Nov 29 18:09:07 IST 2011 Lecture slides Course Outline
Marked major scripts will be available on 30 Nov 2011 15:00-17:00 for "dekko" only
Lectures
Tuesday10:00IIA 301
Wednesday10:00IIA 301
Thursday10:00IIA 301
 Evaluation
I Minor 25% Sun 04 Sep 2011 16:00-17:00 WS-209 Sample Solutions
II Minor 25% Mon 10 Oct 2011 16:00-17:00WS-209 Sample Solutions
Major 35% Fri 25 Nov 2011 13:00-15:00 WS-209 Sample Solutions
Assignments 15%
Audit Pass B grade

Notes:

Assignments:

TBA

Important general notes on assignments
Assignment 2 (deadline Midnight Mon 31 Oct 2011) Click here to submit Assignment 2
Assignment 1 (deadline Midnight 28 Aug 2011) Click here to submit Assignment 1

Notes related to Logic:

  1. Tautology checker
  2. An Algebraic fallacy
  3. A Geometrical fallacy
  4. Introduction
  5. All about Gods and Cats
  6. Induction Principles
  7. Propositional Resolution (ps.gz)
  8. Axiomatics -- Part I
  9. Axiomatics -- Part II
  10. Axiomatics -- Part III
  11. Prenex Normal Forms and Skolemization(ps.gz)

Tutorial sheets:

  1. Sets, Relations and Functions (pdf)
  2. Boolean algebra (pdf)
  3. Propositional Logic: Semantics (pdf)
  4. Propositional Logic: Proof Theory (pdf)
  5. Propositional Logic: Soundness and Completeness (pdf)
  6. Propositional Logic: Normal Forms and Resolution
  7. Predicate Logic: Semantics
  8. Predicate Logic: Proof Theory (ps.gz)
  9. Predicate Logic: Normal Forms and Resolution (ps.gz)

References:

  1. M. Huth, M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems , Cambridge University Press, 2000.
  2. H.-D. Ebbinghaus , J. Flum , W. Thomas, Mathematical Logic, Undergraduate Texts in Mathematics, Springer-Verlag, 1994.
  3. S. Arun-Kumar, Notes on Introduction to Logic for Computer Science (PDF) and occasional handouts
  4. John Kelly, The Essence of Logic, Prentice-Hall India, Eastern Economy Edition, 1997.
  5. M. Fitting, First-Order Logic and Automated Theorem Proving, Springer-Verlag, 1990.
  6. L. C. Paulson, Logic and Proof, Notes for Computer Science Tripos, Cambridge University, 1996.
  7. I. M. Copi, Symbolic Logic, Prentice-Hall India, reprint of 1979 edition by Macmillan.
S. Arun-Kumar
<sak@cse.iitd.ernet.in>