• A
• A
• A
• АБB
• АБB
• АБB
• А
• А
• А
• А
• А
Обычная версия сайта
Бакалавриат 2018/2019

## Функциональное и логическое программирование

Лучший по критерию «Новизна полученных знаний»
Статус: Курс по выбору (Программная инженерия)
Направление: 09.03.04. Программная инженерия
Когда читается: 3-й курс, 1, 2 модуль
Формат изучения: Full time
Язык: английский
Кредиты: 5

### 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

• understand different approaches to solving problems: functional decomposition and declarative programming.
• get practical experience using most widely used functional and logic programming languages: F# and Prolog
• 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
• 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).
• Identify those problems and estimate the appropriateness of using functional/logic programming; design software systems using multi-paradigm approach

#### 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

• Interim assessment (2 module)
0.4 * Final Exam (E) + 0.15 * Homework Assignment 1 (HW1) + 0.15 * Homework Assignment 2 (HW2) + 0.3 * Mid-Term Test (M)