資料詳細

  • 1 件中、 1 件目

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

鹿島 亮／著 -- 森北出版 -- 2022.1 -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
本館(和歌山市) 閲覧室 /410.9/ｶｼ/ 324609684 一般 在庫

ページの先頭へ

資料詳細

タイトル コンピュータサイエンスにおける様相論理 
言語 日本語
著者 鹿島 亮 ／著  
出版者 森北出版
出版年 2022.1
ページ数 7,165p
大きさ 22cm
一般件名 記号論理学 , 様相(論理学)
NDC分類(9版) 410.96
内容紹介 状況に依存した真偽や複雑化された真偽概念を表現できる様相論理。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明とともに、計算機科学における様相論理の数学的な基礎部分を、わかりやすく解説する。
ISBN 4-627-85641-7
ISBN13桁 978-4-627-85641-7

ページの先頭へ