内容説明
モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！
目次
第１章 準備：命題論理
第２章 Ｋ
第３章 ＣＴＬ
第４章 様相ミュー計算
第５章 ＰＤＬ
第６章 ホーア論理
著者等紹介
鹿島亮［カシマリョウ］
１９８８年東京工業大学理学部情報科学科卒業。１９９１年東京工業大学理工学研究科情報科学専攻博士課程中退。１９９１年東京工業大学助手。北陸先端科学技術大学院大学助手などを経て、東京工業大学情報理工学院准教授。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
Q
1
命題論理を復習した後、様相論理を簡潔に説明し、最後にホーア論理に導く本。ほぼ数式だけで解説がなされるので、自分のような数式アレルギーには厳しい。自分にとっては理論よりもモデル検査で検査を体験した方が理解が進むと感じた。TLA+はその意味では素晴しいツールだった。2022/03/10
