Non-procedural Programming

Course: Computer science

Structural unit: Faculty of information Technology

Title
Non-procedural Programming
Code
ОК 24
Module type
Обов’язкова дисципліна для ОП
Educational cycle
First
Year of study when the component is delivered
2022/2023
Semester/trimester when the component is delivered
5 Semester
Number of ECTS credits allocated
4
Learning outcomes
Developing software models for subject environments, choosing a programming paradigm based on convenience and quality of application to implement methods and algorithms for solving tasks in the field of computer science.
Form of study
Full-time form
Prerequisites and co-requisites
To be able to analyze simple tasks to determine the structure of input and output information, choose data types and structures, methods, and algorithms for processing them, and develop high-level language programs to implement the given task.
Course content
During the study of the discipline "Non-procedural programming", students get acquainted with the means of implementing algorithms within the functional paradigm; theoretical foundations and practical aspects of using the Haskell programming language; practical application of tools of the Glasgow Haskell Compiler system. The discipline is aimed at forming students' ability to develop software using a functional approach with appropriate models, calculation methods, data structures and control mechanisms
Recommended or required reading and other learning resources/tools
Will Kurt Get Programming with Haskell.- Manning; 1st edition (April 2, 2018), 2018. –616 p. Заяць В. М. Логічне і функціональне програмування. Системний підхід : підручник / В. М. Заяць, М. М. Заяць. – Рівне : НУВГП, 2018. – 422 с . Шевченко І.В. Функціональне та логічне програмування (Частина 1. Функціональне програмування) / І.В. Шевченко, Ю.А. Кузнецова, М.О. Сьомочкін–Навч. посібник з виконання лабораторних робіт. – Харків: Нац. аерокосм. ун-т «Харк.авіац. ін-т », 2020. –92с. Richard Bird, Thinking Functionally With Haskell, Cambridge University Press, October 2014. - 344p.
Planned learning activities and teaching methods
Lectures, Laboratory classes, Student's work independently
Assessment methods and criteria
Final evaluation in the form of a credit: credit is issued to the student based on the results of work during the semester. Upon receiving the resulting final number of points from 60 and above, the student is assigned a credit. If a student wishes to improve his result in the presence of credit points, he has the right to take a credit for which 20 points are awarded, but the total number of points cannot exceed 100 points. Students who scored a total of less points than the critical calculation minimum - 40 points are not allowed to pass the test. The recommended minimum for admission to the test is 48 points.
Language of instruction
Ukrainian

Lecturers

This discipline is taught by the following teachers

Departments

The following departments are involved in teaching the above discipline