Haskell Programming Language Field of study: Computer Science
Programme code: 08-S2INIA15.2016

Module name: Haskell Programming Language
Module code: 08-IN-S2-JP-H
Programme code: 08-S2INIA15.2016
Semester:
  • summer semester 2017/2018
  • winter semester 2017/2018
Language of instruction: English
Form of verification: course work
ECTS credits: 3
Description:
Aim of classes in this module is preparing the students to solve numerical tasks, tasks of discreet mathematics and also to process texts with use of Haskell language. As a result, the student should exhibit complete understanding of mathematics connected with developing and encoding algorithms in a functional language. The consequence should be deepening knowledge in the field of programming methodologies and developing the skill of algorithms implementation so as they work infallibly, fast and could be easily analyzed and expanded.
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]
Can implement numeric algorithms using Haskell language. [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]
Can practically realize parsing analysis and the structured text processing. [JP-H -U_6]
 K_2_A_I_U13 [1/5]
Can implement chosen algorithms of discreet mathematics with use of Haskell. [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]
Can compile programs written in Haskell and work in interactive environment. [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]
Has knowledge in the field of working principles for Glasgow Haskell Compiler software and can characterize basic types and type classes in Haskell. [JP-H -W_1]
 K_2_A_I_W10 [2/5]
Has knowledge in the field of standard functions in Haskell and can characterize expedience of their use. [JP-H -W_2]
 K_2_A_I_W10 [1/5]
Has knowledge in the field of defining own functions, including recursive functions and higher order functions. [JP-H -W_3]
 K_2_A_I_W09 [1/5] K_2_A_I_W10 [1/5]
Has knowledge in the field of parsing realization and declaring own data types. [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
Lecture credit [JP-H -w_1]
Solving tasks of content, one after each of the sections discussed during lecture.
 JP-H -W_1 JP-H -W_2 JP-H -W_3 JP-H -W_4
Laboratory class credit [JP-H -w_2]
Tests after each topic completed during classes together with theoretical knowledge of lecture subject matter control.
 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]
Presenting educational content in verbal form, with use of content visualization. Focusing on conceptually complex material and indicating website addresses.
 15
Presenting educational content in verbal form, with use of content visualization. Focusing on conceptually complex material and indicating website addresses.
 10 Lecture credit [JP-H -w_1]
laboratory classes [JP-H -fs_2]
Detailed preparation of the students to solve tasks, indication of proceedings methodology, sequence of proceedings. Solving tasks of content.
 30
Solving tasks of subsequent topics (mainly connected with implementation) together with analysis of the already existing solutions in the script and on websites.
 35 Laboratory class credit [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)