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

• タイトルヨミ: コンピュータサイエンスニオケルヨウソウロンリ
• 著編者等／著者名等: 鹿島亮‖著
• 統一著者名: 鹿島亮
• 著編者等ヨミ／著者名等ヨミ: カシマリョウ
• 出版者: 森北出版
• 出版地: 東京
• 出版年: 2022.1
• 大きさ: 7,165p
• 件名: 記号論理学 様相(論理学)
• 分類: 410.96,410.96,
• ISBN: 978-4-627-85641-7
• マークNo: TRC000000022002068
• タイトルコード: 1000001478926
• 資料番号: 00000000000010575991
• 請求記号: 410.96/ｶｼ ｺ
• 内容紹介: 状況に依存した真偽や複雑化された真偽概念を表現できる様相論理。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明とともに、計算機科学における様相論理の数学的な基礎部分を、わかりやすく解説する。
• 種別: 図書
• 配架場所: 03141