書名で キーワードで

詳細検索 >>

HOME > 検索結果

検索結果

ジャンル : 情報工学 >> 情報数学 >> 数理論理学で検索した結果、 【5件】見つかりました。
表示順:  昇・降:  表示件数:
1 - 5件目を表示 <前ページ 1|次ページ>
表紙 書名(下線部をクリックすると詳細表示へ進みます)  定価   発行年月日 
あいまいさの数理

あいまいさの数理  (リスク工学シリーズ  5 )

遠藤靖典 著

科学の対象となるあいまいさには,言葉の表現によるものと現象の生起によるものとがある。前者は論理,後者は確率により体系化されてきた。本書では,それらの理論について,歴史的経緯を踏まえながらわかりやすく概説する。

在庫あり

  3,240円 2015/04/30
数理論理学

数理論理学 合理的エージェントへの応用に向けて

加藤暢 著 / 高田司郎 著 / 新出尚之 著

数理論理学の諸概念に初めて接する大学2, 3年生を対象に,命題論理,述語論理,様相論理を,直感的にわかるさまざまな例題を通してできるだけ容易に解説。述語論理については,論理型言語Prologを解説する章を用意した。

在庫あり

関連資料

  3,024円 2014/10/30
数理論理学

数理論理学  (コンピュータサイエンス教科書シリーズ  18 )

古川康一 著 / 向井国昭 著

本書は,特に,実世界の問題を論理によって表現し,問題解決を行う能力を身に付けることを目指している。そのためには,問題の抽象化,形式化が必要である。実際に問題の形式化の能力を養うため,多くの問題を用意した。

在庫あり

  3,024円 2008/06/27
推論ソフトウェア論

計算論理に基づく 推論ソフトウェア論

山崎進 著

知識と推論は,人工知能と計算機構の接点となる研究対象の一つである。本書では,推論に焦点を当てて,論理プログラミングの体系として,演繹推論,否定命題を扱う系の意味論,説明推論に関する従来の結果と新たな視点をまとめた。

在庫あり

  2,700円 2000/05/26
数理論理学

数理論理学  (コンピュータ数学シリーズ  3 )

林晋 著

計算機科学で使われる数理論理学の基礎を効率的に学習するための教科書。必要な数学的概念の解説や,例などによる直観的な説明によって予備知識のない初学者から利用できる。

在庫あり

  2,592円 1989/12/20
1 - 5件目を表示 <前ページ 1|次ページ>