資料詳細

[ 和図書 ] コンピュータサイエンスにおける様相論理

鹿島亮／著 -- 森北出版 -- 2022.1 --

所蔵

所蔵は 1 件です。

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ISBN	4-627-85641-7
ISBN13桁	978-4-627-85641-7
タイトル	コンピュータサイエンスにおける様相論理
タイトルカナ	コンピュータサイエンスニオケルヨウソウロンリ
著者名	鹿島亮／著
著者名典拠番号	110005375370000
並列タイトル	Model Logics in Computer Science
出版地	東京
出版者	森北出版
出版者カナ	モリキタシュッパン
出版年	2022.1
ページ数	7, 165p
大きさ	22cm
価格	¥3200
内容紹介	状況に依存した真偽や複雑化された真偽概念を表現できる様相論理。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明とともに、計算機科学における様相論理の数学的な基礎部分を、わかりやすく解説する。
書誌・年譜・年表	文献:p162～163
一般件名	情報科学-ndlsh-00575008,様相 (論理学)-ndlsh-00574372
一般件名	記号論理学 , 様相(論理学)
一般件名カナ	キゴウロンリガク,ヨウソウ(ロンリガク)
一般件名典拠番号	510630200000000 , 511444200000000
分類：都立NDC10版	410.96
資料情報1	『コンピュータサイエンスにおける様相論理』　鹿島亮／著　森北出版　2022.1（所蔵館：中央　請求記号：/410.9/5149/2022　資料コード：7115175789）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153937535

第1章準備:命題論理: 1.1 論理式; 1.2 真理値,恒真; 1.3 真偽・恒真性の計算可能性; 1.4 証明体系,完全性
第2章 K: 2.1 様相論理とは; 2.2 論理式,状態遷移系,モデル; 2.3 モデルの実例; 2.4 恒真; 2.5 基本性質; 2.6 カノニカルモデルによる完全性の証明; 2.7 □*の追加; 2.8 完全性と有限モデル性の証明<詳細>; 2.9 シークエント計算
第3章 CTL: 3.1 定義; 3.2 モデル検査; 3.3 様相記号の相互関係と再帰的定義; 3.4 基本性質; 3.5 周辺の論理; 3.6 完全性と有限モデル性の証明<詳細>
第4章様相ミュー計算: 4.1 不動点; 4.2 論理式; 4.3 論理式の解釈; 4.4 代入について; 4.5 基本性質; 4.6 ゲーム意味論:論理式; 4.7 ゲーム意味論:定義; 4.8 ゲーム意味論:使用例; 4.9 ゲーム意味論:妥当性の証明<詳細>
第5章 PDL: 5.1 ホーア論理,DL,PDL; 5.2 定義; 5.3 基本性質; 5.4 Fischer-Ladner閉包<詳細>; 5.5 完全性と有限モデル性の証明<詳細>
第6章ホーア論理: 6.1 whileプログラム; 6.2 ホーアトリプルと証明体系; 6.3 健全性,相対完全性; 6.4 PDLとの関係