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

著者

• 鹿島, 亮 カシマ, リョウ

書誌事項

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

鹿島亮著

森北出版, 2022.1

タイトル別名

Modal logics in computer science

様相論理 : コンピュータサイエンスにおける

タイトル読み

コンピュータ サイエンス ニオケル ヨウソウ ロンリ

注記

参考文献: p162-163

内容説明・目次

内容説明

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

目次

• 第１章　準備：命題論理
• 第２章　Ｋ
• 第３章　ＣＴＬ
• 第４章　様相ミュー計算
• 第５章　ＰＤＬ
• 第６章　ホーア論理

「BOOKデータベース」 より

• NII書誌ID(NCID): BC12324744
• ISBN:
  • 9784627856417
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 165p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : M121
  • NDC10 : 007
• 件名:
  • BSH : 記号論理学
  • BSH : 様相(論理学)
  • NDLSH : 情報科学
  • NDLSH : 様相 (論理学)