Język programowania – Haskell Kierunek studiów: Informatyka
Kod programu: 08-S2INIA15.2016

Nazwa modułu: Język programowania – Haskell
Kod modułu: 08-IN-S2-JP-H
Kod programu: 08-S2INIA15.2016
Semestr:
  • semestr letni 2017/2018
  • semestr zimowy 2017/2018
Język wykładowy: angielski
Forma zaliczenia: zaliczenie
Punkty ECTS: 3
Opis:
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ć.
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 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]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
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
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
wykład [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]
laboratorium [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]
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)