資料詳細

  • 1 件中、 1 件目

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

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 一般資料室 410.9/2022/ 00014603070 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル コンピュータサイエンスにおける様相論理 ,
書名ヨミ コンピュータ サイエンス ニ オケル ヨウソウ ロンリ
並列タイトル Model Logics in Computer Science
著者 鹿島 亮 ／著  
著者名ヨミ カシマ,リョウ
出版者 森北出版
出版年 2022.1
ページ数, 大きさ 7,165p, 22cm
NDC１０版 410.96
一般件名 記号論理学 , 様相(論理学)
ISBN 978-4-627-85641-7 国立国会図書館 カーリル GoogleBooks WebcatPlus
著者紹介 東京工業大学理工学研究科情報科学専攻博士課程中退。同大学情報理工学院准教授。博士(理学)。
内容紹介 状況に依存した真偽や複雑化された真偽概念を表現できる様相論理。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明とともに、計算機科学における様相論理の数学的な基礎部分を、わかりやすく解説する。

ページの先頭へ