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