Declarative languages Field of study: Computer Science
Programme code: 08-S2INIA15.2019

Module name: Declarative languages
Module code: 08-IN-IJO-S2-JD
Programme code: 08-S2INIA15.2019
Semester: summer semester 2020/2021
Language of instruction: English
Form of verification: course work
ECTS credits: 2
Description:
The objective is to prepare students for solving combinatorial optimization and other sorts of problems by means of declarative languages. Based on selected examples both programming in logic (Prolog) and functional programming (Fsharp) techniques have been presented. As regards mathematical modelling two languages have been described: the GNU MathProg for linear programming and the Optimization Modeling Language (OML) to linear, non-linear and constraint satisfaction problems. The course must be completed using the university e-learning platform.
Prerequisites:
(no information given)
Key reading:
(no information given)
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
Is able to implement algorithms by means of the Prolog language [JD_U_5]
 K_U12 [1/5] K_U13 [1/5] K_U14 [1/5]
Is able to implement algorithms according to functional and object-oriented paradigms in the FSharp language [JD_U_6]
 K_U12 [1/5]
Is able to code an optimization problem in the GNU MathProg language and solve it [JD_U_7]
 K_U12 [1/5] K_U13 [1/5]
Is able to code an optimization problem in the OML language and solve it by means of a spreadsheet or a program written in the Fsharp language [JD_U_8]
 K_U12 [1/5] K_U13 [1/5] K_U16 [1/5]
Have a knowledge on programming in logic and is able to characterise this kind of coding [JD_W_1]
 K_W10 [1/5] K_W17 [2/5]
Have a knowledge on functional programming and is able to characterise this kind of coding [JD_W_2]
 K_W06 [2/5] K_W10 [2/5]
Have a knowledge on integer linear programming [JD_W_3]
 K_W06 [1/5] K_W09 [2/5]
Have a knowledge on mathematical modelling (linear and non-linear programming, CSP systems) [JD_W_4]
 K_W03 [1/5] K_W09 [2/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Credit test [JD_w_1]
Test with multi-choice questions with single correct answer involving whole material (a quiz on the Moodle platform).
 JD_W_1 JD_W_2 JD_W_3 JD_W_4
Control tests [JD_w_2]
Writing and submitting programs for selected exercises from e-learning tutorials.
 JD_U_5 JD_U_6 JD_U_7 JD_U_8
Form of teaching Student's own work Assessment of the learning outcomes
Type Description (including teaching methods) Number of hours Description Number of hours
lecture [JD_fs_1]
E-books (one for every theme) containing theoretical background, examples, and exercises (through the university e-learning platform).
 15
Reading e-books and getting familiar with specified software.
 15 Credit test [JD_w_1]
laboratory classes [JD_fs_2]
Solving exercises from the e-books and submitting them though the university e-learning platform
 15
Analyse of examples and solving exercises (mainly requiring coding)
 15 Control tests [JD_w_2]
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)