«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Хоггер Кристофер Джон

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

(Ghristopher John Hogger)

()

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
...английский специалист по программированию.
:
...




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