検索結果

「小ジャンル:情報工学/情報数学/数理論理学」検索結果

絞り込み

※書籍在庫がない場合でも電子版がある場合があります。電子版ありにチェックをつけてください。

6件中 1件 - 6件
表示順
表示件数
数理パズルで楽しく学べる論理学

数理パズルで楽しく学べる論理学

スマリヤンのパズルなど親しみやすい日常的推論の例を多数掲載。論理の構文論的側面と意味論的側面の違いおよびその関係性への理解を深めることで,物事の本質をつかみ記号化する力,論理的に証明する力を身につけることを目指す。

  • レビュー
  • 電子版あり
発行年月日
2022/03/25
定価
2,860(本体2,600円+税)
ISBN
978-4-339-02923-9
在庫あり
あいまいさの数理

リスク工学シリーズ 5

あいまいさの数理

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

  • 電子版あり
発行年月日
2015/04/30
定価
3,300(本体3,000円+税)
ISBN
978-4-339-07925-8
在庫あり
数理論理学 - 合理的エージェントへの応用に向けて -

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

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

  • 関連資料
  • 電子版あり
  • 講義用資料
発行年月日
2014/10/30
定価
3,080(本体2,800円+税)
ISBN
978-4-339-02489-0
在庫あり
数理論理学

コンピュータサイエンス教科書シリーズ 18

数理論理学

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

発行年月日
2008/06/27
定価
3,080(本体2,800円+税)
ISBN
978-4-339-02718-1
在庫あり
計算論理に基づく 推論ソフトウェア論

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

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

発行年月日
2000/05/26
定価
2,750(本体2,500円+税)
ISBN
978-4-339-02373-2
在庫僅少
数理論理学

コンピュータ数学シリーズ 3

数理論理学

  • 林 晋 京大大学院教授

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

発行年月日
1989/12/20
定価
2,640(本体2,400円+税)
ISBN
978-4-339-02536-1
在庫あり
6件中 1件 - 6件