商品の説明
内容（「BOOK」データベースより）
計算機の理論的な能力と限界―すなわち、計算機に何が可能で何が不可能か―について考える計算可能性理論は、情報科学・計算機科学を学ぶ際に必要不可欠な基本的分野であり、加えて、今日の人工知能理論の中枢を占めるものでもある。本書は、その解説に、PROLOGに似た抽象的論理プログラミング言語EFSを用いるという非常に意欲的な方法を取り、計算の機械的細部に煩わされることなく,厳密でありながら平易で丁寧な記述を行った初めての入門的教科書である。
登録情報 |
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
リストマニア
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
