Логическое программирование
(LP)
Курс доступен гостю
Целями дисциплины «Логическое программирование» являются:
- изучение одной из парадигм программирования, используемой при решении задач искусственного интеллекта и неформализуемых задач;
- освоение базовых навыков программирования на языке Пролог;
- ознакомление с нестандартной методологией решения логических задач на компьютерах, способствующей получениюь первичных навыков построения моделей на основе логической парадигмы.
- приобретение студентами необходимых знаний о базовых концепциях декларативной парадигмы логического программирования,
- формирование умений и навыков применять полученные знания в процессе разработки программ на Прологе, а также умения проектировать и реализовывать программы по обработке знаний, перебору и поиску вариантов на языке Пролог
- Преподаватель: Александр Николаевич Коварцев