ВУЗ:
Составители:
3
1. Цели и задачи дисциплины
Формирование у студентов общих методологичеких основ и прак-
тических навыков разработки программных систем с использованием
рекурсивно-логического подхода к программированию.
2. Требования к уровню освоения содержания дисциплины
В результате изучения дисциплины студенты должны:
знать
- роль и место языков логического программирования в индуст-
рии проектирования программных систем и систем искусствен-
ного интеллекта;
- основы рекурсивно-логического программирования;
- синтаксис, семантику и основные конструкции языка
логического программирования (Пролог);
уметь
- использовать
основные приемы практического
программирования на Прологе;
- уметь пользоваться средой разработки и отладки программ
Пролога;
иметь опыт
- разработки программ на языке Visual Prolog;
иметь представление
- о рекурсивно-логическом программировании как об перспек-
тивном направлении развития программных систем с исполь-
зованием искусственного интеллекта.
Перечень курсов, необходимых для изучения дисциплины:
- Математическая логика
- Алгоритмические языки и программирование.
3. Объем дисциплины и виды учебной работы.
Вид учебной работы Всего часов Семестр
Общая трудоемкость дисциплины 85 6
Аудиторные занятия 51 6
Лекции 34 6
Практические занятия (ПЗ) - -
Семинары (С) - -
Лабораторные работы (ЛР) 17 6
1. Цели и задачи дисциплины Формирование у студентов общих методологичеких основ и прак- тических навыков разработки программных систем с использованием рекурсивно-логического подхода к программированию. 2. Требования к уровню освоения содержания дисциплины В результате изучения дисциплины студенты должны: знать - роль и место языков логического программирования в индуст- рии проектирования программных систем и систем искусствен- ного интеллекта; - основы рекурсивно-логического программирования; - синтаксис, семантику и основные конструкции языка логического программирования (Пролог); уметь - использовать основные приемы практического программирования на Прологе; - уметь пользоваться средой разработки и отладки программ Пролога; иметь опыт - разработки программ на языке Visual Prolog; иметь представление - о рекурсивно-логическом программировании как об перспек- тивном направлении развития программных систем с исполь- зованием искусственного интеллекта. Перечень курсов, необходимых для изучения дисциплины: - Математическая логика - Алгоритмические языки и программирование. 3. Объем дисциплины и виды учебной работы. Вид учебной работы Всего часов Семестр Общая трудоемкость дисциплины 85 6 Аудиторные занятия 51 6 Лекции 34 6 Практические занятия (ПЗ) - - Семинары (С) - - Лабораторные работы (ЛР) 17 6 3