Инспектор
Вы можете этот курс.
Языки логического программирования
: Литература по курсу
Ярославский Государственный Университет им. П.Г. Демидова
Опубликован: 06.11.2008 | Доступ: платный | Студентов: 21 / 1 | Оценка: 4.50 / 4.00 | Длительность: 10:47:00
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
- 1.Теория алгорифмовМ., 1954. (Труды МИАН. Т. 42.)
- 2.Теория алгоритмовМ., 1984
- 3.Введение в математическую логику и теорию алгоритмовМ., 1985
- 4.Элементы теории алгоритмовМ., 1987
- 5.Refal-5, Programming Guide and Reference ManualNew England Publishing Co., Holyoke, 1989
- 6.Базисный Рефал и его реализация на вычислительных машинахМ.: ЦНИПИАСС, 1977. - 258 с
- 7.Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языкаМ.: ИПМ им. М. В. Келдыша АН СССР, 1987. - 52 с
- 8.Реализация Рефала-2М.: ИПМ им. М. В. Келдыша АН СССР, 1977. - 191 с
- 9.Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонкиМ.: ИПМ им. М. В. Келдыша АН СССР, 1987, препринт N 147. - 27 с
- 10.Феномен науки: кибернетический подход к эволюцииМ.: ЭТС, 2000. - 368 с
- 11.Искусство программирования на языке ПрологМ.: Мир, 1990. - 334 с
- 12.ПРОЛОГ - язык программирования будущегоМ.: Финансы и статистика, 1990. - 144 с
- 13.Турбо-Пролог в сжатом изложенииМ.: Мир, 1991. - 96 с
- 14.Programming in Prolog,2nd EditionSpringer-Verlag, New York, 1984
- 15.Can Programming Be Liberated from von Neyman Style? A Functional Style and Its Algebra of ProgramsCACM, 1978, 21, n.8, P. 613-641
- 16.Языки программирования. Методические рекомендации М.00.279-87М.: МГУ, НПО "Центрпрограммсистем": Калинин, 1988. 290 с