January 15th, 2018 04:07 PM | |
prince karak | Re: sllp book ptu I am providing you the syllabus of Symbolic Logic & Logic Processing SLLP program of B.Tech CSE VIII Sem of I.K. Gujral Punjab Technical University Jalandhar (IKGPTU) IKGPTU B.Tech CSE VIII Sem Symbolic Logic & Logic Processing SLLP syllabus CS 402 Symbolic Logic & Logic Processing Total Marks: 100 PREREQUISITIESiscrete Structures. OBJECTIVES:Representation of world knowledge using symbolic logic, Deductive strategies employed in symbolic logic and Programming in Prolog. COURSE CONTENTS: Prepositional logic: syntax and semantics: Validity and consequence. Normal forms. Representing world knowledge using prepositional logic. [15 %] First order logic: World knowledge representation and the need for quantifiers. Syntax, semantics validity consequence clause normal from. [20 %] Introduction to prolog: Syntax of prolog, Structured data representation. Execution model Introduction to Programming in Prolog, Illustrative examples. [20 %] The connection between logic and logic programming interpreting logic programs in terms of Horn clauses Deduction from clause form formulas resolution for prepositional logic Ground resolution. Unification and first order resolution SLD resolution; the computation and search rules. SLD trees and interpretation of non-declarative features of Prolog.[ 20 %] Advanced prolog features: programming techniques: Structural Induction and Recursion, Extra Logical features: Cut and Negation Case studies.[ 20 %] Introduction to Fuzzy logic neural networks [15 %] TEXT BOOKS 1) Stoll, set Theory and logic, Dover publishers, New York, 1963. 2) Clocksin, W.F. and Mellish, C.S., Programming in Prolog 2nd edition, Springer - Verlag, 1984 REFERENCES 1) Gries, The Science of Programming, Narosa Publishers, 1985 2) O' Keefe, R., The Craft of Prolog. The MIT Press, 1991. 3) Lloyd, J. W., Foundation of Logic Programming, Springer, 1984. Contact- I. K. Gujral Punjab Technical University Jalandhar-Kapurthala Highway, Near Pushpa Gujral Science City, Ibban, Kapurthala, Punjab 144603 |
January 15th, 2018 04:06 PM | |
Unregistered | Re: sllp book ptu I want the book/ syllabus of Symbolic Logic & Logic Processing SLLP program of I.K. Gujral Punjab Technical University Jalandhar (IKGPTU) so can you provide me? |
November 30th, 2015 03:27 PM | |
nilesh | sllp book ptu Discuss about sllp book ptu here. Welcome to Courses.ind.in and this page is for sllp book ptu discussion. If you are looking for information on sllp book ptu then ask your question is as much details as possible in the “Reply” box provided below. The more detailed your question will be, the more easy will it be for our experts to answers your query. And if you have any updated or latest information on sllp book ptu, then please share you knowledge with our experts in the “Reply” box below. Your reply will be published here and your knowledge can help many people. Thanks for stopping by at Courses.ind.in. Please visit again. |