Другое: Список литературы с ШИФРАМИ

Файлы скачаны со студенческого портала для студенты "Baumanki.net"

Файлы представлены исключительно для ознакомления

Не забывайте, что Вы можете зарабатывать, выкладывая свои файлы на сайт

Оценивайте свой ВУЗ в различных голосованиях, в том числе в досье на преподавателей!

Распознанный текст из изображения:

Теоретнч®с~не Основы логического программировании: 1. Мендельсон Э. Введение в математическую логику. — М.: Наука, 1984. — 32О с.

2. Кириллов В.И., Старченко А.А. Логика — М.: Высшая школа, 1982264 с. (или М.: Юристь„2005~ 3. Ковальский Р. Логика в решении проблем, — М.: Наука, 199О. — 28О с.

4. Новиков Ф.А. Дискретнаи математика для программистов. 2-е изд. — СПб.: Питер, 2ОО5 - 364с.

5. ХХеИгапд,Х "Ипе ие~Ьоде Не йетопкй"акоп ", ТЬеие, РатЬ, 1931.

6. Робинсон Дж. Машинно-ориентированнаа логика, основанная на принципе резолюции.—

Киберн. сб., Нов. сер. № 7. — М.: Мир, 197О. — с.194-218.

7. КомаЬЫ К Ртейса1е Х.огас аж Ргоратттд Йапдиаде, ХХ"ХР Сопрем, 1974.

8. Колмероэ А., Канун А., Ван Канегем. / Пролог - теоретические основы и современное

развитие/ В кн. Логическое программирование. Сб. статей/ Пер. с англ. и фр. под ред.

В.Н.Агафонова — М.: Мир, 1988. — с. 27-133.

9. Рег'ега Г., й'ал ел В..оефлйе с1аияе у аита~ /ог ала1уял — а лисеу о/ гЬе /огиайли апИ а соираг1юп жйЬ аириел~еИ й аюйюл лейюгЬУАг~фс~а1 Хл~еВделсе. М 13, 1980 — Р.231-278.

1О. Язык Пролог в пятом поколении ЭВМ: Сб. статей 1983-1986 и..: Пер с англ./

Сост. Н.И.Ильинский. — М.: Мир, 199О.

11. Логический подход к искусственному интеллекту (от классической логики к искусственному

интеллекту)/Пер. с франц. А.Тейз, П.Грибомон, Ж.Луи и др. — М.: Мир, 199О. — 43О с.

12. Нильсон Н. Искусственный интеллект. Методы поиска решений. — М.: Мир, 1973, 27О с.

13. Лорьер Ж.-Л. Системы искусственного интеллекта. — М.: Мир, 1991. — 568 с.

14. Язьпс Пролог в пятом поколении ЭВМ: Сб. статей 1983-1986 гг.: Пер. с англ. /Сост. Н.И.

Ильинский. — М.: Мир, 199О.

15. Клини С.К. Введение в метаматематику. — М.: АБ СССР, 1957, 529 с.

16. Клини С.К. Математическаи логика. — М.: Едиториал, 2ОО5, 48О с. ~или ... М: Мир, 1973~ 17. Черч А. Введение в математическую логику. — М.: Иностранная литература, 196О.

Врапмка логкчееиого программированию

1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Уипа1 Рго1од. — СПб.:

БХ — Петербург, 2ООЗ. — 992 с.

2. Братко И. Алгоритмы искусственного интеллекта на язьпсе РВОВ.Об. — М.: «Вильямс», 2ОО4.

69Ос. (или Братко ХХ ХХрограммирование на языке ХХролог для искусственного интеллекта.—

М: Мир,1990. - 560с)

3. Ин Ц., Соломон Д. Использование Турбо-ПРОЛОГа. — М.: Мир, 1993. — 6О8 с.

4. Ц1райнер П.А. Основы программирования на языке Пролог. — М.: Интернет — Университет

Информационных Технологий, 2ОО5. - 17бс.

5. Малпас Дж. Реляционный язык Пролог и его применение. — М.: Наука, 199О. — 464 с.

б. Стерлинг Л., Бйпиро Э. Искусство программировании на языке ПРОЛОГ.— М.: Мир, 199О,32бс.

7, Янсон А. Турбо-ПРОЛОГ в сжатом изложении. — М.: Мир„1991. — 96 с.

8. Клоксин У., Меллиш К. Программирование на языке ПРОЛОГ. — М.: Мир, 1987. — 336 с.

9. Марселлус Д. Программирование экспертных систем на Турбо-ПРОЛО1 е, — М.: Финансы и

статистика, 1994. — 256 с.

1О. Доорс Дж., Рейблейн А., Вадера С. Пролог — язьпс программирования буду~пего. — М.; Финансы

и статистика, 199О. — 144 с.

11. Гаврилов А.В.„Новицкая; Ю.В. Основы программировании на Турбо-Прологе.—

Новосибирск: НГТУ, 1993.

12. Стобо Дж. Язык программирования Пролог. — М.: Радио и связь, 1993.

13. логгер К. Введение в логическое программирование. — М.: Мир, 1988.

14. Кларк К., Маккейб Ф. Введение в логическое программирование на микро-Прологе.—

М.: Радио и связь, 1987.

15. Зайцев А., Пройдаков Э. Справочное руководство по языку Турбо-ПРОЛОГ ~версии 2.О).

Москва: 1991.