4/27
時点_ポイント最大10倍
コンピュータサイエンスにおける様相論理 /鹿島亮
販売価格
3,520
円 （税込）
送料無料
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 32
+キャンペーンポイント（期間・用途限定） 最大9倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名：鹿島亮
出版社名：森北出版
発行年月：2022年01月
判型：Ａ５
ISBN：9784627856417
≪内容情報≫
基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．
また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．
各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．
著者名：鹿島亮
出版社名：森北出版
発行年月：2022年01月
判型：Ａ５
ISBN：9784627856417
≪内容情報≫
基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．
また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．
各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．
