Previous year question paper for SLLP (B-TECH computer science engineering 7-8th)

Watch More

Symbolic logic and logic processing

Previous year question paper with solutions for Symbolic logic and logic processing from 2006 to 2015

Our website provides solved previous year question paper for Symbolic logic and logic processing from 2006 to 2015. Doing preparation from the previous year question paper helps you to get good marks in exams. From our SLLP question paper bank, students can download solved previous year question paper. The solutions to these previous year question paper are very easy to understand.

Syllabus SLLP (B-TECH computer science engineering 7-8th)

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 %]

Mark Favorite

2015

SLLP(May 2015)

347 Download

2014

SLLP(Dec 2014)

235 Download

SLLP(May 2014)

217 Download

2013

SLLP(May 2013)

197 Download

2012

SLLP(Dec 2012)

1009 Download

SLLP(May 2012)

1243 Download

2011

SLLP(Dec 2011)

1132 Download

2010

SLLP(May 2010)

941 Download

SLLP(Dec 2010)

946 Download

2009

SLLP(Dec 2009)

777 Download

SLLP(May 2009)

766 Download

2008

SLLP(May 2008)

688 Download

SLLP(Dec 2008)

674 Download

2007

SLLP(May 2007)

635 Download

SLLP(Dec 2007)

574 Download

2006

SLLP(Dec 2006)

834 Download

SLLP(May 2006)

655 Download

Explore all data

PTU

B-TECH |
BBA |
BCA |
BCOM |
BSC-IT |
M-TECH |
MBA |
MCA |
PGDCA |
MSC-IT |
MCOM |
MSC-JAMC |
BSIM |
BRDM |
BSC-AGRI |
BAMT |
BHMCT |
BTTM |
BSC-MLS |
BVOC-WTM |

PU

PU-PATIALA

PSBTE

DIPLOMA |
ME |

BFUHS

GNDU

BCOM |
BCA |
BBA |
BA/BSC |
LLB |
BFA |
B.Voc |
BOD |
BMM |
MA |
MSC |