Study program: F3 Computer Science

Degree: Master

Type of module: lectures, practical work

Lecturer: Prof., Dr of science Grygoriy Zholtkevych

Language: 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.