Functional Programming 510-IS1-3PF-23
Course profile: General Academic
Form of study: Full-time studies
Course type: Optional
Year/semester of study: 3 / 6
Prerequisites (sequential system of courses and exams): Items introducing: None
Lecture: 15h
Laboratory classes: 30h
Teaching methods: Lectures, presentations
ECTS credits: 4
Balance of student workload:
Class attendance:
- lecture 15h
- laboratory classes 30h
Course preparation:
- lecture 7h
- laboratory classes 14h
Homework: 14h
Preparation for tests: 4h
Preparation for the exam: 8h
Duration of colloquium: 4h
Duration of the exam: 2h
Individual consultation with the teacher: 3h
Student workload:
- that requires direct interaction with the teacher: 54h, 2,1 ECTS
- that does not require direct interaction with the teacher: 47h, 1,9 ECTS
Type of course
Mode
Prerequisites (description)
Course coordinators
Learning outcomes
Learning outcomes:
knowledge of the functional programming paradigm. KP6_WG4, KP6_WG11
knowledge of lambda calculus. KP6_WG1, KP6_WG11
ability of reasoning in the lambda calculus. KP6_UW4, KP6_UW16
ability of programming using a functional language. KP6_UW7
using interchangeably functional and imperative languages depending on the task being performed. KP6_UW7
selection of tools appropriate to the task being performed. KP6_KK1
Assessment criteria
The general form of getting credit is one colloquium on the part concerning lambda calculus and one colloquium on programming.
Written exam for the grade.
The use of artificial intelligence tools is strictly prohibited during the colloquium and exam.
Bibliography
Bibliography:
- R. Nederpelt, H. Geuvers, „Type Theory and Formal Proof", Cambridge University Press 2014
- E. Chailloux, P. Manoury, B. Pagano, „Developing Applications with Objective Caml”, http://caml.inria.fr/pub/docs/oreilly-book/
- http://www.ocaml-tutorial.org/
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: