Języki deklaratywne Field of study: Computer Science
Programme code: 08-N2INI14.2019

Module name: Języki deklaratywne
Module code: 08-IN-IJO-S2-JD
Programme code: 08-N2INI14.2019
Semester:
  • winter semester 2021/2022
  • summer semester 2020/2021
  • winter semester 2020/2021
Language of instruction: Polish
Form of verification: course work
ECTS credits: 2
Description:
Celem zajęć w tym module jest przygotowanie studentów do rozwiązywania zadań optymalizacji dyskretnej oraz innego typu zadań o dowolnej tematyce za pomocą języków deklaratywnych. Zostaną omówione na konkretnych przykładach wzorce programowania w logice (Prolog) oraz programowania funkcyjnego (FSharp). Jako przykłady modelowania matematycznego zostaną przedstawione dwa języki: do programowania liniowego GNU MathProg, a do programowania liniowego, kwadratowego, nieliniowego i in. Optimization Modeling Language (OML). Zajęcia w całości będą prowadzone z wykorzystaniem metod i technik kształcenia na odległość (przez uczelnianą platformę Moodle).
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]
Potrafi implementować algorytmy przy użyciu języka Prolog [JD_U_5]
 K_U12 [1/5] K_U13 [1/5] K_U14 [1/5]
Potrafi implementować algorytmy wg paradygmatu programowania funkcyjnego i obiektowego w języku FSharp [JD_U_6]
 K_U12 [1/5]
Potrafi zapisać problem optymalizacyjny w języku GNU MathProg i rozwiązać go [JD_U_7]
 K_U12 [1/5] K_U13 [1/5]
Potrafi zapisać problem optymalizacyjny w języku OML i rozwiązać go przy użyciu arkusza kalkulacyjnego lub programu w języku FSharp [JD_U_8]
 K_U12 [1/5] K_U13 [1/5] K_U16 [1/5]
Ma wiedzę z programowania w logice i potrafi scharakteryzować ten sposób zapisywania algorytmów [JD_W_1]
 K_W10 [1/5] K_W17 [2/5]
Ma wiedzę z programowania funkcyjnego i potrafi scharakteryzować ten sposób zapisywania algorytmów [JD_W_2]
 K_W06 [2/5] K_W10 [2/5]
Ma wiedzę z zakresu programowania liniowego i całkowitoliczbowego [JD_W_3]
 K_W06 [1/5] K_W09 [2/5]
Ma wiedzę na temat modelowania matematycznego (programowanie liniowe, nieliniowe, systemy CSP) [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
zaliczenie [JD_w_1]
Rozwiązanie testu jednokrotnego wyboru obejmującego cały materiał teoretyczny modułu (w formie quizu na platformie Moodle).
 JD_W_1 JD_W_2 JD_W_3 JD_W_4
prace kontrolne [JD_w_2]
Napisanie i przesłanie programów rozwiązujących wskazane w materiałach dydaktycznych zadania, po każdym temacie zamieszczonym na platformie kształcenia na odległość.
 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]
Podanie treści kształcenia w formie elektronicznej (skrypt) z wykorzystaniem metod i technik kształcenia na odległość (przez uczelnianą platformę Moodle).
 15
Zapoznanie się z tematyką wykładu z wykorzystaniem istniejących pakietów metod: skryptu i stron internetowych.
 10 zaliczenie [JD_w_1]
laboratory classes [JD_fs_2]
Rozwiązywanie zadań z treścią umieszczonych w skrypcie. Przekazywanie rozwiązań (programów) odbywać się będzie z wykorzystaniem metod i technik kształcenia na odległość (przez uczelnianą platformę Moodle).
 15
Rozwiązywanie zadań (głównie związanych z implementacją) z poszczególnych tematów wraz z analizą rozwiązań już istniejących – w skrypcie i na stronach internetowych.
 20 prace kontrolne [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)