Course details
Functional and Logic Programming
FLP Acad. year 2003/2004 Winter semester 6 credits
Practical applications and broader introduction into lambda calculus and predicate logic within the context of functional and logic programming languages. It will be discussed abstract data types, use of recursion and induction, manipulation of lists and infinite data structures. Experience in programming is gained in programming languages Haskell, Prolog, and Goedel. Moreover, principles of their implementation are mentioned too.
Guarantor
Language of instruction
Completion
Time span
Department
Subject specific learning outcomes and competences
Students will get basic knowledge and practical experience in functional and logic programming (two important representatives of declarative programming). Moreover, they will get basic information about theoretical basis of both paradigms and implementation techniques.
Learning objectives
Obtaining of basic knowledge and experience in functional and logic programming. Introduction into formal concepts used as a theoretical basis for both paradigms.
Progress assessment
Mid-term exam, submission of 2 projects within give time schedule.
Course inclusion in study plans
- Programme EI-BC-3, field VTB, 2nd year of study, Elective
- Programme EI-BC-3 (in English), field VTB, 2nd year of study, Elective
- Programme EI-MGR-3, field VTN, 2nd year of study, Elective
- Programme EI-MGR-5, field VTI, 2nd year of study, Elective
- Programme EI-MGR-5 (in English), field VTI, 2nd year of study, Elective