- Цели и задачи дисциплины
- Целью преподавания дисциплины является обучение студентов двум важным стилям программирования: функциональному и логическому, выяснение взаимосвязи математической логики и программирования, изучение теоретических основ средств декларативного программирования и основных приемов программирования систем искусственного интеллекта, а также использование этих стилей в практике программирования при разработке программных систем. Задачи дисциплины заключаются в том, чтобы ознакомить студентов с использованием функциональной и логической парадигмы для анализа, проектирования и разработки интеллектуальных систем.
- Краткое содержание дисциплины
- Функциональное программирование; логическое программирование; логика предикатов; представление знаний. Искусственный интеллект.
- Компетенции обучающегося, формируемые в результате освоения дисциплины
- Выпускник должен обладать:
- ПК-2 Способен осуществлять концептуальное, функциональное и логическое проектирование систем среднего и крупного масштаба и сложности
- Образование
- Учебный план 09.03.04, 2023, (4.0), Программная инженерия
- Функциональное и логическое программирование