Programming in logic and functional programming WM-I-PWL-EN

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ę

information and communication technology

(in Polish) E-Learning

Term 2021/22_L:

(in Polish) E-Learning (pełny kurs) z podziałem na grupy

Term 2023/24_L:

(in Polish) E-Learning

(in Polish) Grupa przedmiotów ogólnouczenianych

(in Polish) nie dotyczy

(in Polish) Opis nakładu pracy studenta w ECTS

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

intermediate

Learning outcome code/codes

Lecture: I2_W01, I2_W04, I2_W05 Laboratory: I2_U01, I2_U02, I2_U03, I2_U04, I2_U06

Type of subject

obligatory

Preliminary Requirements

Introduction to Mathematics. Basic programming course. Algorithms and data structures course.

Course coordinators

Term 2021/22_L:

Konrad Zdanowski

Term 2023/24_L:

Dorota Dąbrowska
Konrad Zdanowski

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

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

Description of WM-I-PWL-EN in USOSweb