Department of Computer Science and Engineering

B.Tech. III (CO) Semester - 6

L

T

P

C

CO316 : LOGIC AND FUNCTIONAL PROGRAMMING (EIS-II)

3

0

0

3
COURSE OBJECTIVES
  • Introduce applicative/declarative style of computing based on mathematical principles, as opposed to the imperative style.
  • Develop an understanding of non-conventional programming paradigms and to practice it.
  • To further the state of the art on the theoretical and practical aspects of developing declarative programming tools in logic programming, functional programming and constraint logic programming.
    		•
    COURSE OUTCOMES
    After successful completion of this course, student will be able to
    • Master foundational techniques from the paradigm of functional programming.
    • Trained in using abstraction to structure programs.
    • Write and use higher-order functions.
    • Have insight in different models for understanding how code is evaluated.
    COURSE CONTENT
    Introduction to declarative programming paradigms

    (02 Hours)
    The functional style of programming

    (03 Hours)
    paradigms of developments of functional programs

    (04 Hours)
    use of higher order functionals and pattern-matching

    (04 Hours)
    Type, type-checking and their relationship to logic

    (04 Hours)
    Logic as a system for declarative programming

    (03 Hours)
    pattern-matching and programming of higher order functions within a logic programming framework

    (05 Hours)
    Propositional logic concepts

    (03 Hours)
    Natural Deduction and formal axiomatic systems in propositional logic

    (04 Hours)
    Semantic Tableaux System and resolution in propositional logic

    (04 Hours)
    First Order Predicate logic

    (03 Hours)
    Semantic tableaux and Resolution in Predicate Logic

    (03 Hours)
    (Total Contact Time: 42 Hours)
    BOOKS RECOMMENDED
    1. Tasami Hagiya and Philip waddle, "Functional and Logic Programming" ,8/E, 2006
    2. Testsuo Ida, Atsushi Ohori and Masato Takichi, "Functional and Logic Programming", 2006
    3. Chang, C.L and Lee R.C .T, "Symbolic Logic and Mechanical theorem proving", Academic Press, New York, 2006
    4. SarojKaushik, "Logic and Prolog Programming", 2002
    5. J.W. Lloyed, Springer Verlog, "Foundation of logic programming", New York, 2/E, 1987