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

Author(s)

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

Bibliographic Information

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

鹿島亮著

森北出版, 2022.1

Other Title

Modal logics in computer science

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

Title Transcription

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

Note

参考文献: p162-163

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BC12324744
• ISBN:
  • 9784627856417
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 165p
• Size: 22cm
• Classification:
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : M121
  • NDC10 : 007
• Subject Headings:
  • BSH : 記号論理学
  • BSH : 様相(論理学)
  • NDLSH : 情報科学
  • NDLSH : 様相 (論理学)