Публичная Библиотека
Универсальная библиотека, портал создателей электронных книг, авторов произведений и переводов
.

Кристофер Джон Хоггер 44k

(Ghristopher John Hogger)

()

...английский специалист по программированию.
.
. «кристофер джон хоггер» на страницах библиотеки упоминается 1 раз: .
. .
. .
  • Хоггер К.Дж. Введение в логическое программирование. (Introduction to logic programming, 1984) [Djv- 4.1M] Перевод с английского М.В. Захарьящева под редакцией Ю.И. Янова. Учебное издание.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1988)
    Скан, обработка, формат Djv: ???, предоставил: Михаил, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Предисловие автора (8).
      Введение (11).
      I. Представление знаний и рассуждения (16).
      II. Логические программы (51).
      III. Стиль программирования (94).
      IV. Структуры данных (131).
      V. Верификация программ (165).
      VI. Формальный синтез программ (203).
      VII. Реализация (226).
      VIII. Вклад логического программирования в теорию вычислений (277).
      Литература (328).
      Предметный указатель (339).
Аннотация издательства: Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала.
Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студентов.
.