蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0012761474 | 図書一般 | 410.96/カト14/ | 2F自然 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
数理論理学
|
人名 |
加藤 暢/共著
|
人名ヨミ |
カトウ トオル |
出版者・発行者 |
コロナ社
|
出版年月 |
2014.10 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
数理論理学 |
サブタイトル |
合理的エージェントへの応用に向けて |
タイトルヨミ |
スウリ ロンリガク |
サブタイトルヨミ |
ゴウリテキ エージェント エノ オウヨウ ニ ムケテ |
人名 |
加藤 暢/共著
高田 司郎/共著
新出 尚之/共著
|
人名ヨミ |
カトウ トオル タカタ シロウ ニイデ ナオユキ |
出版者・発行者 |
コロナ社
|
出版者・発行者等ヨミ |
コロナシャ |
出版地・発行地 |
東京 |
出版・発行年月 |
2014.10 |
ページ数または枚数・巻数 |
10,210p |
大きさ |
21cm |
価格 |
¥2800 |
ISBN |
978-4-339-02489-0 |
ISBN |
4-339-02489-0 |
注記 |
文献:p206〜207 |
分類記号 |
410.96
|
件名 |
記号論理学
|
内容紹介 |
数理論理学の初学者に向けて、命題論理、述語論理、様相論理を容易に解説。Prologプログラミング学習を併用し、演習問題も収録する。資料などをダウンロードできるURL付き。 |
著者紹介 |
近畿大学准教授。博士(工学)。 |
言語区分 |
JPN |
タイトルコード |
1009811836664 |
目次 |
1.集合 |
|
1.1 集合の表し方/1.2 集合の要素や集合間の関係 |
|
2.命題論理 |
|
2.1 命題論理の構文論/2.2 命題論理の意味論/2.3 命題論理の論理式の等価性/2.4 タブローの方法/2.5 命題論理の公理と推論規則/演習問題 |
|
3.述語論理 |
|
3.1 述語論理の構文論/3.2 述語論理の意味論/3.3 述語論理の論理式の等価性/演習問題 |
|
4.導出原理 |
|
4.1 論理式の標準形/4.2 導出原理による推論/4.3 導出原理の健全性と完全性/演習問題 |
|
5.様相論理 |
|
5.1 命題様相論理/5.2 命題線形時間時相論理/5.3 命題分岐時間時相論理CTL/5.4 命題分岐時間時相論理CTL*/5.5 命題信念様相論理/演習問題 |
|
6.合理的エージェント |
|
6.1 意図の理論の概要/6.2 BDI logic/6.3 合理的エージェントの振舞い/6.4 コミットメント戦略の振舞い/6.5 心的状態の整合性とモデルの制限/6.6 形式化のメリット |
|
7.Prolog |
|
7.1 Prologの処理系SWI-Prolog/7.2 簡単なプログラムによるPrologプログラミング/7.3 一般的な確定節/7.4 プログラムの手続的解釈とSLD導出/7.5 再帰処理/7.6 リスト処理/7.7 宣言的プログラミング/7.8 バックトラック制御用述語カット(cut)「!」/7.9 算術演算を含むプログラムとカット/演習問題 |
目次
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる