Go Back   2023 2024 Courses.Ind.In > Main Category > Main Forum

  #1  
Old November 30th, 2015, 03:27 PM
Super Moderator
 
Join Date: Apr 2013
Default 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.
Reply With Quote Quick reply to this message
  #2  
Old January 15th, 2018, 04:06 PM
Unregistered
Guest
 
Default 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?
Reply With Quote Quick reply to this message
  #3  
Old January 15th, 2018, 04:07 PM
Super Moderator
 
Join Date: Aug 2012
Default 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
Reply With Quote Quick reply to this message
Reply
Similar Threads
Thread
LIC Ado Book Download
Big Book GRE Download
Best IELTS Book
Arihant IPU CET Book
Best Book For RPF Constable
NPCIL Mechanical Book
Best Book For SSC CGL
BPSC Best Book
GUJCET Book
mb publication ssc book
best book for ssc junior engineer
gnfc book value
vb net book pdf
bhu uet exam book
pdf gmat book
best book for bcece
ns book bureau
UPSC Book Com
TET Guide Book


Quick Reply
Your Username: Click here to log in

Message:
Options



All times are GMT +5.5. The time now is 02:54 PM.


Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
Search Engine Friendly URLs by vBSEO 3.6.1
vBulletin Optimisation provided by vB Optimise (Lite) - vBulletin Mods & Addons Copyright © 2024 DragonByte Technologies Ltd.