コンピュータサイエンスにおける様相論理
| 出版社名 | 森北出版 |
|---|---|
| 出版年月 | 2022年1月 |
| ISBNコード |
978-4-627-85641-7
（4-627-85641-5） |
| 税込価格 | 3,520円 |
| 頁数・縦 | １６５Ｐ ２２ｃｍ |
商品内容
| 要旨 |
モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！ |
|---|---|
| 目次 |
第１章 準備：命題論理 |
