Scribd
Upload
12 views

LFP Syllabus

Uploaded by

Vishwajeet kumar
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
12 views

LFP Syllabus

Uploaded by

Vishwajeet kumar
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Suresh Gyan Vihar University, Jaipur

School of Engineering & Technology


Department of Computer Engineering and Information Technology

B.Tech. V Semester
Subject: CP309 Logical and Functional Programming
Course Description: Functional and logical programming Language for some of the problems. Student learn the
Mathematical Basics and underlying algorithmic model of functional and logical languages, thus understanding deeper
relationship between mathematics models and programming languages and their semantics.
Course Coordinator: Ms. Charu Upadhyay
Name of the Office Location E-mail Consultation
Instructor Hours
([email protected])

Ms. Charu Dean Academics Office, [email protected] 4:00 – 5:00 PM


Upadhyay Main Building

Course Learning Objectives


CO1: Obtaining a basic knowledge and practical experience in functional and logic programming.
CO2: Be able in principal to program in an imperative, an object-oriented, a functional and logic programming.
CO3: Introduction formal concept used as a theoretical basis for both paradigms.
CO4: Study the concepts and applications of Prolog programming.

Course Title: Logical and Functional Programming Course Code : CP309


Semester :V Core / Elective : PE
Teaching Scheme in Hrs (L: T: P) : 3:0:0 Credits : 3 Credits
Type of course : Lecture + Assignments Total Contact Hours : 36
Continuous Internal Evaluation : 40 Marks ESE : 60 Marks
Program(s): B.Tech. CSE
DETAILED SYLLABUS

Topic and Contents Hours Marks


Unit 1 Proposition 7 20
Fully parenthesized propositions, Evaluation of constant propositions, Evaluation of
proposition n a state. Precedence rules for operators, Tautologies, propositions a set of
states and Transforming English to prepositional.

REASONING USING EQUIVALENCE TRANSFORMATIONS: The laws of


equivalence, rules of substitution and transitivity.

Unit 2 Natural Deduction System 7 20


Inference rules. Formal system of axioms and interference NATURAL DEDUCTION
SYSTEM: Introduction to deductive proofs, Inference rules, proofs and sub-proofs,
adding flexibility to the natural deduction system and developing natural deduction
system proofs
Unit 3 Predicates 7 20
Extending the range of a state, Quantification, Free and Bound Identifiers, Textual
substitution. Quantification over other ranges and some theorems about textual
Suresh Gyan Vihar University, Jaipur
School of Engineering & Technology
Department of Computer Engineering and Information Technology

substitution and states

Unit 4 Logic Programming 7 20

Introduction to prepositional and predicate calculus, First-order predicate calculus.


Format logical systems, PROLOG programming-Facts, Rules and queries,
Implementations, Applications, Strengths and Weaknesses.

Unit 5 Functional Programming 8 20


Introduction to lambda calculus-Syntax and semantics, Computability and correctness.
Features of Functional Languages-Composition of functions, Functions as first-class
Objects, no side effects and clean Semantic LISP Programming-Data types and
structures, Scheme dialect, primitive functions, functions for constructing functions
and functional forms. Applications of functional languages and comparison of
functional and imperative languages.
TOTAL 36 100
Text Book:
1. K. Amold, j,Gosling, the java programming language Addison Wesley, (2005).
Reference Books:
2. R.Sebesta, Concept of Programming Language, Addison Weskey, (2005).
3. K. Amold, j,Gosling, the java programming language Addison Wesley, (2005).
4. A Gentle Introduction to Haskell 98 is an "official" tutorial on Haskell 98.
5. U. Nilsson, j.Maluszyinski, logic, Programming and Prolog, John Wily and Sons,(1995)

You might also like