2011 Rajasthan Technical University B.Tech 5 Semester (Back) Computer science & engineering "Logic & Functional Programming" question paper

Question Paper Details:

University: Rajasthan Technical University
Course: B.Tech Computer science & engineering 
Subject Logic & Functional Programming (back)
Exam Year:  Dec 2010/ Jan 2011
Year or Semester: Third year/ Fifth Semester

Paper Code: 5E3164 

a)      Define tantology, contradiction and contingency by giving suitable examples. [Marks 8]
b)      Explain implications of propositional logic with an example. [Marks 8]
a)      Convert the following statements to if-then form in English then convert them into propositional form.
i)                    I go to the beach only if it is sunny.
ii)                   For me to go to the beach then it is sunny.
iii)                 Whenever it is sunny. I go to the beach.
iv)                 I go to the beach on a sunny day.                             [Marks 4*2=12]
b)      Convert the following directly into propositional  form.
i)                    Either it is raining, or it is snowing and the sun is shining.
ii)                   It is raining but the sun is shining. [Marks 2*2=4]
a)      Prove that –T=F is equivalence, using the rule of substitution and transitivity. [Marks 8]
b)      Prove that –F=T is equivalence, using the rule of substitution and transitivity. [Marks 8]
a)      Prove the law of contradiction –(b^ -b).                                [Marks 8]
b)      Prove the law of implication. (-b=>c)=(bVc)         [Marks 8]
     Explain quantification? Explain all different types of quantifiers. [Marks 16]
a)      Explain free and bound identifiers with an example. [marks 8]
b)      Explain textual substitution with an example. [Marks 8]
a)      Why the prolog is considered most popular logic programming language in the world. [marks 8]
b)      What is unification? How it is achieved in prolog. [Marks 8]
a)      Write application areas of prolog. [marks 6]
b)      Write a prolog program which displays numbers from N to O, where N is supplied by user. [Marks 10]
a)      How arrays are used in LISP? Explain with code. [Marks 8]
b)      Explain different types of iterative construct in LISP. [Marks 8]
a)      Compare functional and imperative programming languages.  [Marks 8]

Explain declaration and use of functions in LISP? Give suitable example. [Marks 8]

Return to Question Paper