Рабочая программа и аннотация
- RPD_FLP_PE_2021.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 - Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач