Размер шрифта
Цветовая схема
Изображения
Обычная версия сайта

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

УМКД дисциплины

Рабочая программа и аннотация (2021 г.) - RPD_FLP_PE_2021_ZO.pdf - для просмотра файла необходимо авторизоваться

Методические рекомендации - MR_FLP_PE_2021.pdf

Аннотация

1. Цели и задачи изучения дисциплины Цель дисциплины: Формирование у обучающихся знаний, умений и навыков теоретических и практических основ декларативного и функционального программирования как инструментов разработки систем искусственного интеллекта. Задачи дисциплины: 1) формирование у студентов знаний теоретических основ логического вывода, навыков решения логических задач, изучение метода резолюции сверху-вниз; 2) освоение особенностей декларативных языков программирования, выработка умения программирования на языке логического программирования Пролог, обучение студентов языку функционального программирования Lisp; 3) формирование у студентов знаний теоретических основ функционального программирования. 4) развитие умений самостоятельно расширять и углублять знания. 2. Краткая характеристика учебной дисциплины Дисциплина состоит из двух разделов. Первые два раздела посвящен изучению функционального программирования, а последующие – логического программирования. В работах по искусственному интеллекту приходится оперировать со сложными, обычно символьными структурами данных и такими же сложными алгоритмами. Использование логического и функционального стиля программирования естественно для приложений, характеризующихся многократным получением сложных структур данных из других таких же структур. В настоящее время техники логического и функционального программирования получают широкое распространение, и важность ее как средства, позволяющего продвинуться в развитии языков самого высокого уровня, будет возрастать. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в формируемую часть "Блок 1" образовательной программы бакалавриата, реализуется на 4-м году обучения с трудоемкостью освоения - 3.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Предшествующие дисциплины: «Проектирование человеко-машинного интерфейса», «Web-дизайн», «Основы программирования и конфигурирования в корпоративных информационных системах», «Дискретная математика», «Комплексная автоматизация в корпоративных информационных системах», «Объектно-ориентированное программирование», «Web-программирование», «Алгоритмы дискретной математики», «Эвристические методы и алгоритмы», «Управление данными в корпоративных информационных системах», «Программирование на Java», «Инструменты разработки программного обеспечения», «Инженерная графика», «Логика и теория алгоритмов», «Обмен данными в корпоративных информационных системах», «Разработка мобильных приложений». Последующие дисциплины: «Математическое моделирование систем», «Распределенные системы управления базами данными», «Управление программными проектами», «Компьютерная графика. Курсовой проект», «Защита информации», «Статистические методы в инженерных исследованиях», «Производственная практика 3: научно-исследовательская работа», «Выполнение и защита выпускной квалификационной работы». 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ПК-1. Владение навыками моделирования, анализа и использования формальных методов конструирования программного обеспечения УК-1. Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач