Beruflich Dokumente
Kultur Dokumente
Textbooks:
1. Huth, Michael, and Ryan, Mark, Logic in Computer Science, 2e, Cambridge University Press, 2004.
Reference books
1. Ben-Ari, Mordechai, Mathematical Logic for Computer Science, 2e, Springer, 2003.
2. Enderton, Herbert B. A Mathematical Introduction to Logic, 2e, Academic Press, 2001.
3. John Kelly, the Essence of Logic, Prentice-Hall India, Eastern Economy Edition, 1997.
4. I. M. Copi, Symbolic Logic, Prentice-Hall India, reprint of 1979 edition by Macmillan.
5. Clocksin-mellish, programming in prolog, 5e, Springer, 2003.
Course Plan:
Chapter in
Lecture
Learning objectives Topics to be covered the Text
No.
Book
Introduction to the Introduction: Course overview, Introduction
1 Chapter 1
course to logic.
Understanding
Propositional Logic, Propositional logic: Declarative sentences,
2-10 Proof rules for inferring Deductive systems, Propositional logic as a Chapter 1
formulas, and Normal formal language, Semantics, Normal forms
forms
Understanding Predicate logic: Limitations of
Predicate Logic, propositional logic, Predicate logic as a
differences with formal language, Proof theory, Semantics,
11-20 Chapter 2
propositional logic, Satisfiability & validity, Completeness &
Proof theory, semantics compactness, Undecidability &
of predicate logic. incompleteness
Various approaches to verification: Need
Understanding linear-
for verification, Approaches to verification,
time temporal logic,
21-27 Verification by model checking, Temporal Chapter 3
Model Checking tools,
Logic, LTL, Limitations of LTL, CTL &
planning problems.
CTL*
Various approaches to program
Understanding total verification: Overview of program
correctness proofs and
28-32 verification, Framework for software Chapter4.
verifying program
correctness. verification, Hoare logic, Proofs of
correctness
Extending the modes of Role of modal logic in computer science:
truth, How to represent History of modal logic Syntax & semantics,
33-37 the basic modal logic Kripke's Formulation of Modal Logic, Logic Chapter 5
using Kripkes engineering, Knowledge in multi-agent
formulation. systems
logic programming paradigm: Overview of
Learning logic
logic programming paradigm, Propositional
38-40 programming using Notes
logic programming, First order logic
prolog
programming, Prolog
Evaluation Scheme:
Weightage Nature of
Component Duration Date & Time
(%) Component
Midterm 90 Mins 25%
10/10 (11-12:30 pm) Closed Book
Quizzes(2) Will be 10%
Will be announced Closed Book
announced
Assignments 20%
Open Book
Comprehensive Exam 3 hrs 45%
04/12 AN Closed Book
Notices: All notices related to the course will be displayed on CSIS notice board only and will be announced in
class.
Make-up Policy: Makeup is highly discouraged for this course. Makeup will be given only in genuine cases
and that too with prior notification only (after following ID rules). In any case, the discretion to give makeup for
tests lies with IC.
Academic Honesty and Integrity Policy: Academic honesty and integrity are to be maintained by all the
students throughout the semester and no type of academic dishonesty is acceptable.
INSTRUCTOR-IN-CHARGE
Dr. Tathagata Ray
Email: rayt@hyderabad.bits-pilani.ac.in