Adam Mickiewicz University, Poznań - Central Authentication System
Strona główna

Declarative programming

General data

Course ID: 17-DPRD-IP0
Erasmus code / ISCED: (unknown) / (unknown)
Course title: Declarative programming
Name in Polish: Programowanie deklaratywne
Organizational unit: AMU Nadnotecki Institute in Piła
Course groups: (in Polish) Moodle - przedmioty Innych jednostek
ECTS credit allocation (and other scores): 0 OR 3.00 (depends on study program) Basic information on ECTS credits allocation principles:
  • the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS;
  • the student’s weekly hourly workload is 45 h;
  • 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes;
  • weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS;
  • work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load.

view allocation of credits
Language: (unknown)

Classes in period "Academic year 2020/2021, summer semester" (past)

Time span: 2021-03-01 - 2021-09-30
Selected timetable range:
Navigate to timetable
Type of class:
laboratory, 15 hours more information
lecture, 15 hours more information
Coordinators: Mirosława Kołowska-Gawiejnowicz
Group instructors: Mirosława Kołowska-Gawiejnowicz
Students list: (inaccessible to you)
Examination: Graded credit
Pre-requisites in terms of knowledge, skills and social competences (where relevant):

(in Polish) Wiedza z przedmiotów Podstawy logiki, Wstęp do matematyki.

ECTS code:

(in Polish) 17-DPRD-IP0

Number of hours:

30

Module learning aims:

(in Polish) Celem przedmiotu jest zapoznanie studentów z podstawami dwóch języków programowania deklaratywnego: z Haskellem jako przykładem języka funkcyjnego i z Prologiem - językiem programowania w logice.

Short description: (in Polish)

Jednym z dwóch głównych paradygmatów programowania, obok programowania imperatywnego, jest paradygmat deklaratywny. Studenci poznają podstawy dwóch języków deklaratywnych: Haskell - przykład programowania funkcyjnego (programy w Haskellu składają się z funkcji) i Prolog - przykład programowania w logice (programy składają się z faktów i reguł).

Bibliography: (in Polish)

1. G.Hutton, Programming in Haskell, Cambridge University, 2008.

2. M.Lipovaca, Learn You a Haskell for Great Good!, http://learnyouahaskell.com/

3. W.F.Clocksin, C.S.Mellish, Prolog. Programowanie, Wyd. Helion,2003.

4. E.Gatnar, K.Stąpor, Prolog, Wydawnictwo PLJ, 1992.

Classes in period "Academic year 2021/2022, summer semester" (past)

Time span: 2022-02-24 - 2022-09-30
Selected timetable range:
Navigate to timetable
Type of class:
laboratory, 15 hours more information
lecture, 15 hours more information
Coordinators: Mirosława Kołowska-Gawiejnowicz
Group instructors: Mirosława Kołowska-Gawiejnowicz
Students list: (inaccessible to you)
Examination: Graded credit
Pre-requisites in terms of knowledge, skills and social competences (where relevant):

(in Polish) Wiedza z przedmiotów Podstawy logiki, Wstęp do matematyki.

ECTS code:

(in Polish) 17-DPRD-IP0

Number of hours:

30

Module learning aims:

(in Polish) Celem przedmiotu jest zapoznanie studentów z podstawami dwóch języków programowania deklaratywnego: z Haskellem jako przykładem języka funkcyjnego i z Prologiem - językiem programowania w logice.

Short description: (in Polish)

Jednym z dwóch głównych paradygmatów programowania, obok programowania imperatywnego, jest paradygmat deklaratywny. Studenci poznają podstawy dwóch języków deklaratywnych: Haskell - przykład programowania funkcyjnego (programy w Haskellu składają się z funkcji) i Prolog - przykład programowania w logice (programy składają się z faktów i reguł).

Bibliography: (in Polish)

1. G.Hutton, Programming in Haskell, Cambridge University, 2008.

2. M.Lipovaca, Learn You a Haskell for Great Good!, http://learnyouahaskell.com/

3. W.F.Clocksin, C.S.Mellish, Prolog. Programowanie, Wyd. Helion,2003.

4. E.Gatnar, K.Stąpor, Prolog, Wydawnictwo PLJ, 1992.

Classes in period "Academic year 2022/2023, summer semester" (past)

Time span: 2023-02-27 - 2023-09-30
Selected timetable range:
Navigate to timetable
Type of class:
laboratory, 15 hours more information
lecture, 15 hours more information
Coordinators: Jerzy Szymański
Group instructors: Jerzy Szymański
Students list: (inaccessible to you)
Examination: Graded credit

Classes in period "Academic year 2023/2024, summer semester" (in progress)

Time span: 2024-02-26 - 2024-09-30
Selected timetable range:
Navigate to timetable
Type of class:
discussion seminar, 15 hours more information
laboratory, 15 hours more information
Coordinators: Jerzy Szymański
Group instructors: Jerzy Szymański
Students list: (inaccessible to you)
Examination: Course - Graded credit
discussion seminar - Graded credit
laboratory - Graded credit
Course descriptions are protected by copyright.
Copyright by Adam Mickiewicz University, Poznań.
ul. Wieniawskiego 1
61-712 Poznań
tel: +48 61 829 4000
contact accessibility statement USOSweb 7.0.3.0 (2024-03-22)