Дисциплина ''Логическое программирование'' входит в учебный план подготовки дипломированных специалистов по направлению 654600 - ''Информатика и вычислительная техника'' по специальности 220400 - ''Программное обеспечение вычислительной техники и автоматизированных систем''. Целью дисциплины является изучение и практическое освоение средств логического программирования для решения научных и прикладных задач. В качестве инструментальных средств изучается язык ПРОЛОГ. Рассматриваются теоретические и прикладные аспекты использования данных программных средств для решения задач искусственного интеллекта.
Рабочая программа подготовлена на кафедре Математического обеспечения и применения ЭВМ факультета Компьютерных технологий и информатики СПбГЭТУ

Скачать книгу бесплатно (pdf, 192 Kb)

---

Читать «Логическое программирование»