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
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
Unit-I
a) Define tantology, contradiction and contingency by giving suitable examples. [Marks 8]
b) Explain implications of propositional logic with an example. [Marks 8]
OR
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]
Unit-II
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]
OR
a) Prove the law of contradiction –(b^ -b). [Marks 8]
b) Prove the law of implication. (-b=>c)=(bVc) [Marks 8]
Unit-III
Explain quantification? Explain all different types of quantifiers. [Marks 16]
OR
a) Explain free and bound identifiers with an example. [marks 8]
b) Explain textual substitution with an example. [Marks 8]
Unit-IV
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]
OR
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]
Unit-V
a) How arrays are used in LISP? Explain with code. [Marks 8]
b) Explain different types of iterative construct in LISP. [Marks 8]
OR
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
About The Author
bkd
Bharat Kumar Dhaker Founder and Editor of ComputerSciencearticle.in, He is an Engineering[Computer Science] Student From Rajasthan. He has a knowledge of C, C++, Java, Adv. Java, HTML and little bit knowledge of PHP.
