コンピュータサイエンスにおける様相論理／鹿島亮【3000円以上送料無料】

著者鹿島亮(著)出版社森北出版発売日2022年01月ISBN9784627856417ページ数165Pキーワードこんぴゆーたさいえんすにおけるようそうろんり コンピユータサイエンスニオケルヨウソウロンリ かしま りよう カシマ リヨウ9784627856417内容紹介基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．※本データはこの商品が発売された時点の情報です。目次第1章 準備：命題論理/第2章 K/第3章 CTL/第4章 様相ミュー計算/第5章 PDL/第6章 ホーア論理