(in Polish) Functional Programming 510-IS1-3PF-23-ENG
Course profile: General Academic
Form of study: Full-time studies
Course type: Optional
Domain: natural sciences; discipline: computer science
Year/semester of study: 3 / 6
Prerequisites (sequential system of courses and exams): None
Lecture: 15
Laboratory classes: 30
Teaching methods: Lectures, exercises
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 colloquium: 5h
Preparation for the exam: 6h
Colloquium duration: 4h
Exam duration: 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: 46h, 1,9 ECTS
Type of course
Mode
Prerequisites (description)
Course coordinators
Learning outcomes
Learning outcomes:
knowledge of functional programming paradigm. KP6_WG4, KP6_WG11
knowledge of lambda calculus. KP6_WG1, KP6_WG11
ability of reasoning in 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
General form of getting credit: 1 colloquium on the part concerning lambda calculus, 1 colloquium after programming. Written exam for the grade.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: