УЗНАЙ ЦЕНУ

(pdf, doc, docx, rtf, zip, rar, bmp, jpeg) не более 4-х файлов (макс. размер 15 Мб)


↑ вверх
Тема/ВариантЛогическое программирование
ПредметИнформатика
Тип работыконтрольная работа
Объем работы12
Дата поступления12.12.2012
500 ₽
СодержаниеТема 1. Основы логического программирования. Описание метода резолюции.\r\nТема 2. Начальные сведения о языке Пролог. \r\nДекларативный стиль программирования.\r\nТема 3. Рекурсия в прологе. \r\nОпределение рекурсии.\r\nТема 4. Управление доказательством. \r\nТема 5. Применение Пролога для решения прикладных задач. Пример задачи о восьми ферзях и реализация предикатов порождения и проверки.\r\nТема 6. Архитектура Пролог – машины. \r\nСтек управления.ВведениеПрограммы на Прологе (ПРОграммирование на ЛОГическом языке) содержат утверждения, сделанные программистом, т.е. \\\"декларации\\\" логических соотношений, необходимых для решения задачи. Языки, позволяющие описывать логические соотношения, при помощи которых программа может решить задачу, называются декларативными языками. Программы на таких языках объявляют, какие результаты дадут те или иные действия. Программист предоставляет самой системе разобраться в совокупности способов решения задачи.Литература1. Пантелеев Е.Р., Куликов Д.А. Логическое программирование. Учебное пособие. Иваново, ИГЭУ, 2000 г.
Уточнение информации

+7 913 789-74-90
info@zauchka.ru
группа вконтакте