Логическое программирование

Дисциплина «Логическое программирование» является базовой частью Б1.Б.18 блока Б1 дисциплин учебного плана по направлению подготовки 45.03.04 (интеллектуальные системы в гуманитарной сфере). Дисциплина реализуется на отделении интеллектуальных систем в гуманитарной сфере кафедрой математики, логики и интеллектуальных систем в гуманитарной сфере в третьем и четвертом семестрах.

Цель дисциплины: подготовка специалиста, знающего основные понятия логического программирования и языка Пролог, а также владеющего основными методами и обладающего навыками разработки программ на языке Пролог.

Задачи:

  1. приобретение студентами знаний, требуемых для правильного понимания роли и места логического программирования в современных компьютерных технологиях;
  2. формирование у студентов логического мышления;
  3. овладение основными приемами программирования;
  4. выработка у студентов навыков практического использования современных систем логического программирования в учебной и будущей профессиональной деятельности.

В результате освоения дисциплины обучающийся должен:

Знать:

  • основные парадигмы программирования и место среди них парадигмы логического программирования;
  • принципы логического программирования;
  • основные идеи, методы и средства программирования на языке Пролог.

Уметь:

  • разрабатывать и отлаживать типовые программы, в том числе, связанные с обработкой текста и анализом данных;
  • создавать прототипы информационных и интеллектуальных систем на языке Пролог;
  • разрабатывать конечные приложения, связанные с реализацией интеллектуальных алгоритмов, на языке Пролог.

Владеть:

  • навыками применения методов программирования на языке Пролог;
  • навыками работы в типовой среде разработки и отладки программ;
  • типовыми средствами разработки интеллектуальных систем и представления знаний с использованием языка Пролог.

Рабочей программой предусмотрены следующие виды контроля: текущий контроль успеваемости в форме проверки домашних заданий, написания контрольных работ, разработки двух семестровых и одного итогового приложений, промежуточная аттестация в форме экзамена.