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

 This course allows guest users to enter

Целями дисциплины «Логическое программирование» являются:

- изучение одной из парадигм программирования, используемой при решении задач искусственного интеллекта и неформализуемых задач;

- освоение базовых навыков программирования на языке Пролог;

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

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

This course allows guest users to enter  

Наш адрес: 443086, г. Самара, ул. Гая, 41, корп. № 14, комн. 515, телефон: (846) 267-46-73