Дисциплина по выбору Кафедра ИиП Авторы курса – к.т.н. Синицын Иван Васильевич, к.т.н. Крахмалев Дмитрий Владимирович. - презентация

1 Дисциплина по выбору Кафедра ИиП Авторы курса – к.т.н. Синицын Иван Васильевич, к.т.н. Крахмалев Дмитрий Владимирович

2 для студентов 3 курса специальности – «Прикладная информатика» ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Объем дисциплины – 108 часов для организации самостоятельной работы проводятся: пять лабораторных работ форма промежуточного контроля – экзамен 34 часа - аудиторные занятия 78 часов - самостоятельная работа

3 ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ (КУРС ПО ВЫБОРУ) Цель - Цель - освоение теоретических основ функционального и логического программирования, приобретение практических навыков использования методов функционального и логического программирования на языках Haskell и Turbo Prolog для автоматизации решения экономических задач, освоение основ реализации параллельных алгоритмов при программировании систем экономической направленности.

4 ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ (КУРС ПО ВЫБОРУ) Функциональное программирование Парадигма программирования, которая рассматривает выполнение программы как вычисление математических функций (выражений) Неизменяемые данные, нет состояния среды

5 Стиль программирования, позволяющий писать программы, свободные от ошибок Язык программирования F# (и целое семейство «странных» языков вместе с ним: ML, Haskell, …)

6 ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Задачи искусственного интеллекта Экспертные системы Лингвистика, обработка естественного языка Задачи с неопределенностью Задачи, связанные с поиском решений Мета-программирование, построение специализированных языков ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ (КУРС ПО ВЫБОРУ)

7 ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ (КУРС ПО ВЫБОРУ) В результате научитесь: применять языки Haskell и Prolog и соответствующие системы программирования при решении задач обработки символов; разрабатывать логические модели предметных областей и представлять их в виде Prolog-программ (в том числе и рекурсивных); разрабатывать и отлаживать рекурсивные алгоритмы и программы на языке Haskell;

8