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

3,520

著:鹿島亮
出版社:森北出版
発売日:2022年01月
キーワード:コンピュータサイエンスにおける様相論理鹿島亮こんぴゆーたさいえんすにおけるようそうろんりコンピユータサイエンスニオケルヨウソウロンリかしまりようカシマリヨウ

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

※本データはこの商品が発売された時点の情報です。