Język programowania – Haskell Field of study: Computer Science
Programme code: 08-S2INI14.2016

Module name: Język programowania – Haskell
Module code: 08-IN-S2-JP-H
Programme code: 08-S2INI14.2016
Semester:
  • summer semester 2017/2018
  • winter semester 2017/2018
Language of instruction: Polish
Form of verification: course work
ECTS credits: 3
Description:
Celem zajęć w tym module jest przygotowanie studentów do rozwiązywania zadań numerycznych, z matematyki dyskretnej, a także z przetwarzania tekstów z użyciem języka Haskell. Dzięki temu student powinien wykazać się pełnym zrozumieniem tematyki związanej z projektowaniem i kodowaniem algorytmów w języku funkcyjnym. W konsekwencji ma to doprowadzić do pogłębienia wiedzy z zakresu metodyk programowania i rozwinięcia umiejętności implementowania algorytmów tak, aby działały niezawodnie, szybko i można je było łatwo analizować i rozbudowywać.
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 numeryczne przy użyciu języka Haskell [JP-H -U_5]
 K_2_A_I_U13 [1/5] K_2_A_I_U14 [1/5] K_2_A_I_U15 [1/5]
Potrafi praktycznie realizować analizę składniową i przetwarzanie strukturyzowanego tekstu [JP-H -U_6]
 K_2_A_I_U13 [1/5]
Potrafi implementować wybrane algorytmy matematyki dyskretnej z wykorzystaniem Haskella [JP-H -U_7]
 K_2_A_I_U13 [1/5] K_2_A_I_U14 [1/5] K_2_A_I_U15 [1/5]
Potrafi kompilować programy napisane w Haskellu, jak również pracować w środowisku interaktywnym [JP-H -U_8]
 K_2_A_I_U13 [1/5] K_2_A_I_U14 [1/5] K_2_A_I_U15 [1/5]
Ma wiedzę z zasad działania oprogramowania Glasgow Haskell Compiler i potrafi scharakteryzować podstawowe typy i klasy typów w Haskellu [JP-H -W_1]
 K_2_A_I_W10 [2/5]
Ma wiedzę z zakresu funkcji standardowych w Haskellu i potrafi scharakteryzować celowość ich użycia [JP-H -W_2]
 K_2_A_I_W10 [1/5]
Ma wiedzę z zakresu definiowania własnych funkcji, w tym funkcji rekurencyjnych oraz funkcji wyższego rzędu. [JP-H -W_3]
 K_2_A_I_W09 [1/5] K_2_A_I_W10 [1/5]
Ma wiedzę na temat realizacji parsowania i deklarowania własnych typów danych. [JP-H -W_4]
 K_2_A_I_W09 [1/5] K_2_A_I_W10 [1/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Zaliczenie wykładu [JP-H -w_1]
Rozwiązanie zadań z treścią, po jednym z każdego działu omawianego na wykładzie
 JP-H -W_1 JP-H -W_2 JP-H -W_3 JP-H -W_4
Zaliczenie laboratorium [JP-H -w_2]
Kolokwia po każdym temacie zamkniętym na ćwiczeniach wraz z kontrolą wiedzy teoretycznej z wykładu
 JP-H -U_5 JP-H -U_6 JP-H -U_7 JP-H -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 [JP-H -fs_1]
Podanie treści kształcenia w formie werbalnej z wykorzystaniem wizualizacji treści. Skupienie się na materiale trudnym pojęciowo i wskazanie adresów stron internetowych.
 15
Zapoznanie się z tematyką wykładu z wykorzystaniem istniejących pakietów metod: skryptu i stron internetowych.
 10 Zaliczenie wykładu [JP-H -w_1]
laboratory classes [JP-H -fs_2]
Szczegółowe przygotowanie studentów do rozwiązywania zadań ze wskazaniem na metodologię postępowania, wskazaniem kolejności wykonywanych czynności. Rozwiązywanie zadań z treścią.
 30
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.
 35 Zaliczenie laboratorium [JP-H -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)