計算理論と論理プログラミング

Author(s)

Bibliographic Information

計算理論と論理プログラミング

Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳

丸善, 1989.8

Other Title

Computability theory, semantics, and logic programming

Title Transcription

ケイサン リロン ト ロンリ プログラミング

Available at  / 93 libraries

Description and Table of Contents

Description

計算機の理論的な能力と限界—すなわち、計算機に何が可能で何が不可能か—について考える計算可能性理論は、情報科学・計算機科学を学ぶ際に必要不可欠な基本的分野であり、加えて、今日の人工知能理論の中枢を占めるものでもある。本書は、その解説に、ＰＲＯＬＯＧに似た抽象的論理プログラミング言語ＥＦＳを用いるという非常に意欲的な方法を取り、計算の機械的細部に煩わされることなく，厳密でありながら平易で丁寧な記述を行った初めての入門的教科書である。

Table of Contents

  • 記号列操作言語
  • ＥＦＳ言語の族
  • 作用薬
  • データ構造の実現
  • チャーチ‐チューリングの提唱
  • データとしてのプログラム

by "BOOK database"

Details

Page Top