Описание:В ходе курса изучаются приемы и методы логического программирования. Логические языки программирования активно используются для решения задач искусственного интеллекта. В качестве языка изучения выступает язык Пролог. В ходе курса студенты должны выполнить ряд самостоятельных работ, результат выполнения оказывает решающую роль в определении итоговой оценки за курс. Курс предназначен для студентов-специалистов 4 курса факультета ВМК.