- Цели и задачи дисциплины
- Целью курса является изучение парадигм, основных языков и методов программирования, используемых при решении логических задач, задач искусственного интеллекта и инженерии знаний. Задачами изучения дисциплины является: - знакомство с парадигмой декладаривного программирования; - освоение навыков программирования на языке функционального программирования (Лисп); - освоение навыков программирования на языке логического программирования (Пролог).
- Краткое содержание дисциплины
- Декларативное программирование. Императивное и декларативное программирование. Основные концепции парадигм функционального и логического программирования. История языков Лисп и Пролог. Язык Лисп. Алфавит, синтаксис, семантика языка Лисп. Обработка списков. Управляющие структуры. Реализация рекурсии в Лиспе. Отображения и функционалы. Функции высших порядков и лямбда-выражения. Композиции функционалов, фильтры, редукция. Язык Пролог. Алфавит, синтаксис и семантика Пролога. Основные предикаты. Логика предикатов. Обработка структурированных данных. Рекурсия. Обработка списков. Сортировка. Деревья. Множества. Работа с файлами. Динамические базы данных. Экспертные системы. Решение задач из области искусственного интеллекта на Прологе. Игры на Прологе
- Компетенции обучающегося, формируемые в результате освоения дисциплины
- Выпускник должен обладать:
- ПК-1 Способен проводить анализ предметной области и формулировать требования к разработке программного обеспечения для решения задач профессиональной деятельности, применять современные методы и средства проектирования программного обеспечения с учетом архитектуры вычислительных систем (включая многопроцессорные вычислительные системы), использовать инструментальные и вычислительные средства при разработке алгоритмических и программных решений
- Образование
- Учебный план 02.03.02, 2021, (4.0), Фундаментальная информатика и информационные технологии
- Функциональное и логическое программирование