「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
紙の本
数理論理学 合理的エージェントへの応用に向けて
著者 加藤 暢 (共著),高田 司郎 (共著),新出 尚之 (共著)
数理論理学の初学者に向けて、命題論理、述語論理、様相論理を容易に解説。Prologプログラミング学習を併用し、演習問題も収録する。資料などをダウンロードできるURL付き。...
数理論理学 合理的エージェントへの応用に向けて
税込
3,080
円
28pt
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
数理論理学の初学者に向けて、命題論理、述語論理、様相論理を容易に解説。Prologプログラミング学習を併用し、演習問題も収録する。資料などをダウンロードできるURL付き。【「TRC MARC」の商品解説】
目次
- 1.集合
- 1.1 集合の表し方
- 1.2 集合の要素や集合間の関係
- 2.命題論理
- 2.1 命題論理の構文論
- 2.2 命題論理の意味論
- 2.3 命題論理の論理式の等価性
- 2.4 タブローの方法
- 2.5 命題論理の公理と推論規則
- 演習問題
著者紹介
加藤 暢
- 略歴
- 〈加藤暢〉近畿大学准教授。博士(工学)。
〈高田司郎〉近畿大学准教授。博士(工学)。
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む