Study program: 122 Computer Science

Degree: Master

Type of module: lecture

Lecturer: Prof., Dr of science Grygoriy Zholtkevych / Проф., д.т.н. Григорій Жолткевич

Language: Ukrainian & English

Credit Points: 6 ECTS

Description:
Understanding the mathematical foundations of computational processes is the basis of modern programming methods. This course introduces master's level students to basic computational models namely the Gödel - von Neumann model, models based on automata, and lambda calculus. The course is logically divided into three parts that focused on the following: defining recursive functions as objects of programming; introducing standard computation theory with explanations of how it is used in programming practice; and presenting lambda calculus and the functional programming paradigm.

Цей курс знайомить з основними обчислювальними моделями, а саме моделлю Геделя – фон Неймана, моделями на основі автоматів і лямбда-численням. В курсі розглядається, як розроблені методики забезпечують вирішення складних задач, що виникають у сфері практичного програмування. Курс логічно розділений на три частини, які зосереджені на наступному: визначенні рекурсивних функцій як об’єктів програмування; представлення стандартної теорії обчислень з поясненнями того, як вона використовується в практиці програмування; і представлення лямбда-числення та парадигми функціонального програмування.