Logic and Functional Programming WM-I-S2-E2-PLF
The lecture covers two programming paradigms: functional and programming in logic. It also presents their mathematical foundations: lambda calculus; and resolution and Herbrand models. The topics are ilustrated with two implementations of such programming languages: Haskell and SWI Prolog.
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
(in Polish) E-Learning
Term 2022/23_L: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2023/24_L: (in Polish) E-Learning | Term 2024/25_L: (in Polish) E-Learning |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2022/23_L: (in Polish) Wykład:
uczestnictwo w zajęciach: 30h
praca własna, lektury: 20h
Razem: 50h, 2 ECTS
Laboratorium:
uczestnictwo w zajęciach: 30h
praca własna, wykonywanie zadań programistycznych: 40h
Razem: 70h, 3 ECTS | Term 2023/24_L: Lecture:
participation in classes: 30h
own work, reading: 20h
Total: 50h, 2 ECTS
Lab:
participation in classes: 30h
own work, performing programming tasks: 45h
Total: 75h, 3 ECTS |
Subject level
Learning outcome code/codes
Type of subject
Preliminary Requirements
Course coordinators
Term 2022/23_L: | Term 2023/24_L: | Term 2024/25_L: |
Learning outcomes
Lecture
Student:
W1 - knows the theoretical foundations of programming language paradigms, functional and logic programming (I2_W01),
W2 - knows the basic features of programming languages in both paradigms (I2_W04),
U1 - is able to determine the semantics of programming structures in both paradigms (I2_W05).
Lab
Student:
U1 - can mathematically model the effects of programming structures (I2_U01),
U2 - can choose the appropriate programming paradigm to solve the problem (I2_U02),
U3 - can program in the functional paradigm and in the logic programming paradigm (I2_U03),
U4 - can reason about the program's behavior based on the formal language specification (I2_U04),
U5 - can design an algorithm in both paradigms, can estimate the cost of such solutions (I2_U06).
Assessment criteria
For all learning outcomes, the following assessment criteria are adopted for all forms of verification:
grade 5: fully achieved (no obvious shortcomings),
grade 4.5: achieved almost fully and criteria for awarding a higher grade are not met,
grade 4: largely achieved and the criteria for a higher grade are not met,
grade 3.5: largely achieved - with a clear majority of positives - and the criteria for granting a higher grade are not met,
grade 3: achieved for most of the cases covered by the verification and criteria for a higher grade are not met,
grade 2: not achieved for most of the cases covered by the verification.
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: