7/22/2019 Roadmap - Unit - II

1/1

1 Mrs. G. Jayanthi, B.E(CSE).,M. Tech(Remote Sensing).,AP, MSAJCE

CP7201 THEORITICAL FOUNDATIONS OF COMPUTER SCIENCE

UNIT II LOGIC AND LOGIC PROGRAMMING

SL.

NO TOPIC CONTENTTEXT

BOOK/WEBSITE

1. PROPOSOTIONAL LOGIC - SYNTAX FORMULAE AND PROBLEM REF 6,82. INTERPRETATIONS AND MODELS THEORY

3. DEDUCTION THEOREMS THEOREMS

4. NORMAL FORMS PROBLEMS

5. INFERENCE RULES FORMULAE, RULES & THEOREMS

6. SAT SOLVERS THEORY

7. PREDICATE LOGIC SYNTAX THEORY REF 6,8

8. PROOF THEORY THEOREMS

9. SEMANTICS OF PREDICTAE LOGIC THEORY

10. UNDECIDABILITY OF PREDICATE LOGIC THEORY, THEOREMS

11. INFERENCES IN FIRST ORDER LOGIC THEOREMS, PROBLEMS REF8

12. LOGIC PROGRAMMING SYNTAX REF813. DEFINITE PROGRAMS THEORY REF814. SLD RESOLUTION THEORY, THEOREMS - PROOFS REF815. NORMAL PROGRAMS THEORY REF816. SLDNF RESOLUTION THEORY, THEOREMS REF817. INTRODUCTION TO PROLOG

PROGRAM SYNTAX, LOGIC, PROGRAMMING

EXAMPLESREF8

TEXTBOOK FOR REFERENCES:

1. Uwe Schoning, Logic for Computer Scientists, Birkhauser, 2008.

2. M. Ben-Ari, Mathematical logic for computer science, Second Edition, Springer,2003.

3. John Harrison, Handbook of Practical Logic and Automated Reasoning, Cambridge

University Press, 2009.

4. Greg Michaelson, An introduction to functional programming through lambdacalculus, Dover

Publications, 2011.

5. Kenneth Slonneger and Barry Kurtz, Formal syntax and semantics of programminglanguages,

Addison Wesley, 1995.

6. Kenneth H. Rosen, Discrete Mathematics and its applications, Seventh Edition, Tata

McGraw Hill, 2011.

7. Sriram Pemmaraju and Steven Skiena, Computational Discrete Mathematics, Cambridge

University Press, 2003.

8. M. Huth and M. Ryan, Logic in Computer Science Modeling and Reasoning about

systems, Second Edition, Cambridge University Press, 2004.

9. Norman L. Biggs, Discrete Mathematics, Second Edition, Oxford University Press, 2002. 10.

Juraj Hromkovic, Theoretical Computer Science, Springer, 1998. 11. J. E. Hopcroft, Rajeev

Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation,

Third Edition, Pearson,