Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Тульский государственный педагогический университет
имени Л. Н. Толстого»
Кафедра информатики и методики обучения информатике
В. С. ВАНЬКОВА, Ю. М. МАРТЫНЮК, Н. Н. ХАБАРОВ
СИСТЕМЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА. Часть I. РЕКУРСИВНО-ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Тула
2012
1
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
ББК 32. 813я73
УДК 519. 764. 4
В 17
Ре ц е н з е н ты :
кандидат биологических наук,
доцент кафедры информационных технологий Н. М. Исаева,
(Тульский государственный педагогический университет им. Л. Н. Толстого);
кандидат педагогических наук, доцент кафедры
информационных систем и компьютерных технологий Е. А. Снижко
(БГТУ им. Д. Ф. Устинова)
В 17 Ванькова, В.
С. Системы искусственного интеллекта: Учеб. пособие: В 2 ч. /
В. С. Ванькова, Ю. М. Мартынюк, Н. Н. Хабаров – Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2012. – Ч. I. Рекурсивно-логическое
программирование – 64с. В учебном пособии представлен материал для формирования навыков
рекурсивно-логического программирования. Пособие содержит большое
количество примеров, тестирование которых проводилось в режиме Test Goal в
свободно распространяемой среде логического программирования Visual Prolog
5. 2.