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