Бакалавриат
2021/2022
Функциональное и логическое программирование
Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»
Лучший по критерию «Новизна полученных знаний»
Статус:
Курс по выбору (Программная инженерия)
Направление:
09.03.04. Программная инженерия
Кто читает:
Департамент программной инженерии
Где читается:
Факультет компьютерных наук
Когда читается:
3-й курс, 1, 2 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Сошников Дмитрий Валерьевич
Язык:
английский
Кредиты:
5
Контактные часы:
60
Course Syllabus
Abstract
The course presents two programming paradigms: functional programming and logic programming. Most of the attention is given to functional programming, as more useful in practice. The importance of learning other programming paradigms cannot be underestimated: it helps students to look at problems from different viewpoints, to attempt different ways of problem decomposition, as well as to use more appropriate tools (eg. functional and logic programming languages) for some of the problems. Students learn the mathematical basics and underlying algorithmic model of functional and logic languages, thus understanding deeper relationship between mathematical models and programming languages and their semantics. Most importantly, they also get experience in practical functional programming using F# programming language, which gives them useful practical tool for many data processing tasks. The course is designed for students of the bachelor program "Software Engineering" at the Faculty of Computer Science, HSE.
Learning Objectives
- Students should get practical experience using most widely used functional and logic programming languages: F# and Prolog
- Students will understand different programming paradigms and the relationship between programming paradigm and underlying mathematical computational model
- Students will understand different approaches to solving problems: functional decomposition and declarative programming.
Expected Learning Outcomes
- get practical experience using most widely used functional and logic programming languages: F# and Prolog
- Identify those problems and estimate the appropriateness of using functional/logic programming; design software systems using multi-paradigm approach
- understand different approaches to solving problems: functional decomposition and declarative programming.
- understand different programming paradigms and the relationship between programming paradigm and underlying mathematical computational model
- Understand the relationship between first-order predicate logic / lambda-calculus with programming languages and the process of computation
- understand the relationship between first-order predicate logic / lambda-calculus with programming languages and the process of computation
- Use functional/logic programming languages for solving practical problems in the areas where it is appropriate
- Use more declarative and pure programming style with higher order abstractions, effectively use functional features of modern programming languages (eg. LINQ).
Course Contents
- Introduction to Functional Programming
- Algebraic Data Types – Lists and Trees
- Lambda-Calculus as a Computational Model
- Lambda-Calculus as a Programming Language
- Functional Programming Techniques
- Monads, Metaprogramming, Parallel and Async Programming
- Object-Oriented and Imperative Features of F#.
- Functional Aspects of Modern Programming Languages
- Overview of Popular Functional Programming Languages: Haskell, Lisp, Erlang
- Type Providers and Data Processing in F#
- Introduction to Logic Programming
- Resolution. Definite Clause Logic. Logic Programming with and without Negation using SLD Resolution
- Logic Programming Techniques. Solving Logical Problems.
- Typing in Functional and Logic Programming. Programming Language Semantics for Functional and Logic Languages
Assessment Elements
- Homework Assignment 1 (HW1)
- Homework Assignment 2 (HW2)
- Mid-Term Test (M)
- Final Exam (E)
Interim Assessment
- 2021/2022 2nd module0.15 * Homework Assignment 1 (HW1) + 0.3 * Mid-Term Test (M) + 0.4 * Final Exam (E) + 0.15 * Homework Assignment 2 (HW2)
Bibliography
Recommended Core Bibliography
- John Harrison. (1997). Introduction to Functional Programming. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.E0482041
Recommended Additional Bibliography
- Okasaki, C. (1998). Purely Functional Data Structures. Cambridge, U.K.: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=502386