コンピュータサイエンスにおける様相論理 [単行本]

コンピュータサイエンスにおける様相論理 [単行本] の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次

  第1章　準備：命題論理
  第2章　K
  第3章　CTL（計算木論理）
  第4章　様相ミュー計算
  第5章　PDL（命題動的論理）
  第6章　ホーア論理

• 出版社からのコメント

  計算木論理，様相ミュー計算，命題動的論理など，コンピュータサイエンスで重要な論理について，基礎をわかりやすく説明する．

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  鹿島 亮(カシマ リョウ)
  １９８８年東京工業大学理学部情報科学科卒業。１９９１年東京工業大学理工学研究科情報科学専攻博士課程中退。１９９１年東京工業大学助手。北陸先端科学技術大学院大学助手などを経て、東京工業大学情報理工学院准教授。博士（理学）

• 著者について

  鹿島 亮 (カシマ リョウ)
  東京工業大学准教授 博（理）

コンピュータサイエンスにおける様相論理 [単行本] の商品スペック