コンピュータによる推論技法

Author(s)

Bibliographic Information

コンピュータによる推論技法

L. ウォス [ほか] 著 ; 川越恭二 [ほか] 訳

（Computation & software science）

マグロウヒル出版, 1989.1

Other Title

Automated reasoning : introduction and applications

Title Transcription

コンピュータ ニヨル スイロン ギホウ

Access to Electronic Resource 1 items

Available at  / 111 libraries

Note

参考文献: p540-548

文献リスト: p550-553

Description and Table of Contents

Description

この本は、計算機に行わせる推論メカニズムについて、いろいろな分野から事例を取りあげ、その解説を通じて最新の導出原理の基礎とその応用を説明している。また、読者の能力や興味のレベルに応じて、どの章からでも読み進めることができるよう各所に学習のための工夫を凝らしている。

Table of Contents

  • 例を用いた論理の学習
  • パズル
  • 代替表現と等価性
  • 難しいパズル
  • 要約と形式化
  • 論理回路設計
  • 論理回路検証
  • 数学での研究
  • 形式論理学での研究
  • リアルタイム・システム制御
  • プログラムのデバッグと検証
  • エキスパートシステム
  • Ｐｒｏｌｏｇ—プログラミング言語としての論理
  • 自動推論の形式的なまとめ
  • 自動推論の技法

by "BOOK database"

Related Books： 1-1 of 1

Details

Page Top