コンピュータサイエンスにおける様相論理

森北出版
鹿島亮　

• 価格: 3,520円（本体3,200円＋税）
• 発行年月: 2022年01月
• 判型: Ａ５
• ISBN: 9784627856417

内容情報

[BOOKデータベースより]

モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！

第１章　準備：命題論理
第２章　Ｋ
第３章　ＣＴＬ
第４章　様相ミュー計算
第５章　ＰＤＬ
第６章　ホーア論理

[日販商品データベースより]

基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．
また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．
各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．