Melvin Fitting /〔著〕, 山崎秀記 /〔ほか〕共訳,     -- 丸善 -- 1989.8 -- 22cm -- 252p

資料詳細

タイトル 計算理論と論理プログラミング
著者名等 Melvin Fitting /〔著〕, 山崎秀記 /〔ほか〕共訳,    
出版 丸善 1989.8
大きさ等 22cm 252p
分類 410.9
件名 数学基礎論 , プログラミング(電子計算機)
注記 Computability theory,semantics,and logic programming./の翻訳
内容 各章末:文献
要旨 計算機の理論的な能力と限界―すなわち、計算機に何が可能で何が不可能か―について考える計算可能性理論は、情報科学・計算機科学を学ぶ際に必要不可欠な基本的分野であり、加えて、今日の人工知能理論の中枢を占めるものでもある。本書は、その解説に、PROLOGに似た抽象的論理プログラミング言語EFSを用いるという非常に意欲的な方法を取り、計算の機械的細部に煩わされることなく,厳密でありながら平易で丁寧な記述を行った初めての入門的教科書である。
目次 記号列操作言語;EFS言語の族;作用薬;データ構造の実現;チャーチ‐チューリングの提唱;データとしてのプログラム
ISBN(13)、ISBN    4-621-03397-2
書誌番号 1190311834

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/138 一般書 利用可 - 0003915026 iLisvirtual