Języki deklaratywne Kierunek studiów: Informatyka
Kod programu: 08-S2INIA15.2017

Nazwa modułu: Języki deklaratywne
Kod modułu: 08-IN-IJO-S2-JD
Kod programu: 08-S2INIA15.2017
Semestr:
  • semestr letni 2019/2020
  • semestr letni 2018/2019
Język wykładowy: angielski
Forma zaliczenia: zaliczenie
Punkty ECTS: 2
Opis:
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).
Wymagania wstępne:
(brak informacji)
Literatura podstawowa:
(brak informacji)
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 1-5]
Potrafi implementować algorytmy przy użyciu języka Prolog [JD_U_5]
 K_2_A_I_U13 [1/5] K_2_A_I_U14 [1/5] K_2_A_I_U15 [1/5]
Potrafi implementować algorytmy wg paradygmatu programowania funkcyjnego i obiektowego w języku FSharp [JD_U_6]
 K_2_A_I_U13 [1/5]
Potrafi zapisać problem optymalizacyjny w języku GNU MathProg i rozwiązać go [JD_U_7]
 K_2_A_I_U13 [1/5] K_2_A_I_U14 [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_2_A_I_U13 [1/5] K_2_A_I_U14 [1/5] K_2_A_I_U17 [1/5]
Ma wiedzę z programowania w logice i potrafi scharakteryzować ten sposób zapisywania algorytmów [JD_W_1]
 K_2_A_I_W10 [1/5] K_2_A_I_W17 [2/5]
Ma wiedzę z programowania funkcyjnego i potrafi scharakteryzować ten sposób zapisywania algorytmów [JD_W_2]
 K_2_A_I_W06 [2/5] K_2_A_I_W10 [2/5]
Ma wiedzę z zakresu programowania liniowego i całkowitoliczbowego [JD_W_3]
 K_2_A_I_W06 [1/5] K_2_A_I_W09 [2/5]
Ma wiedzę na temat modelowania matematycznego (programowanie liniowe, nieliniowe, systemy CSP) [JD_W_4]
 K_2_A_I_W03 [1/5] K_2_A_I_W09 [2/5]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
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
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
wykład [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.
 15 Zaliczenie [JD_w_1]
laboratorium [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.
 15 Prace kontrolne [JD_w_2]
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)