Языки логического программирования

: Литература по курсу
[+]
Ярославский Государственный Университет им. П.Г. Демидова
Опубликован: 06.11.2008 | Доступ: свободный | Студентов: 989 / 62 | Оценка: 4.50 / 4.00 | Длительность: 10:47:00
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги: nil, алгебра, алгоритмы, анализ, вычисления, законы, книги, кортеж, нормальный алгоритм, подстановка, потоки, предикат, программирование, процедуры, РЕФАЛ, рефал-выражение, рефал-предложение, спецификации, терм, цепочка символов, элементы
  • 1.
    А. А, Марков
    Теория алгорифмов
    М., 1954. (Труды МИАН. Т. 42.)
  • 2.
    А. А, Марков, Н. И. Нагорный
    Теория алгоритмов
    М., 1984
  • 3.
    Мендельсон, Э
    Введение в математическую логику и теорию алгоритмов
    М., 1985
  • 4.
    Н. С, Новиков
    Элементы теории алгоритмов
    М., 1987
  • 5.
    Turchin, V. F
    Refal-5, Programming Guide and Reference Manual
    New 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.
    C.S. Mellish, Clocksin, W.F
    Programming in Prolog,2nd Edition
    Springer-Verlag, New York, 1984
  • 15.
    Backus, J
    Can Programming Be Liberated from von Neyman Style? A Functional Style and Its Algebra of Programs
    CACM, 1978, 21, n.8, P. 613-641
  • 16.
    В.Ш, Кауфман
    Языки программирования. Методические рекомендации М.00.279-87
    М.: МГУ, НПО "Центрпрограммсистем": Калинин, 1988. 290 с

Вопросы и ответы

вопросов: 0