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