HonyaClub.com JRE MALL店
新規会員登録
コンピュータサイエンスにおける様相論理 /鹿島亮
ポイント1倍
3,520
円
(税込)
獲得予定ポイント：
32
ポイント(1倍)
数量
クーポン情報
この商品の情報
商品名
コンピュータサイエンスにおける様相論理 /鹿島亮
商品コード
S521-9784627856417
価格
販売価格：
3,520
円
獲得予定ポイント： 32 ポイント
獲得予定ポイント： 32 ポイント
支払方法
クレジットカード
全額ポイント
JANコード/ISBN
9784627856417
おすすめ高評価商品
ウィークリーランキング
こちらの商品を見た方がチェックしている商品
再入荷通知リクエスト
会員ログインで再入荷お知らせメールを受け取れます
ログイン
再入荷通知リクエスト
獲得予定JRE POINT合計：32ポイント
JRE POINTの内訳
| 基本ポイント | ＋1倍 | 32ポイント |
|---|
商品に関する注意事項
以下の文章をお読みになり、同意する場合はチェックボックスにチェックを入れてください。
ポイントUP商品から探す
クーポン一覧
著者名：鹿島亮
出版社名：森北出版
発行年月：2022年01月
判型：Ａ５
ISBN：9784627856417
≪内容情報≫
基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．
また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．
各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．