資料詳細

  • 1 件中、 1 件目

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

鹿島亮 ／著   -- 森北出版 -- ２０２２．１ -- ２２ｃｍ -- １６５ｐ

資料詳細

タイトル コンピュータサイエンスにおける様相論理
著者名等 鹿島亮 ／著  
出版 森北出版 ２０２２．１
大きさ等 ２２ｃｍ １６５ｐ
分類 007.1
件名 情報科学 , 様相（論理学）
注記 欧文タイトル：Ｍｏｄａｌ　Ｌｏｇｉｃｓ　ｉｎ　Ｃｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ
注記 文献あり　索引あり
著者紹介 １９８８年東京工業大学理学部情報科学科卒業。１９９１年東京工業大学理工学研究科情報科学専攻博士課程中退。北陸先端科学技術大学院大学助手などを経て、現在は東京工業大学情報理工学院准教授。博士（理学）。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！
目次 第１章　準備：命題論理；第２章　Ｋ；第３章　ＣＴＬ；第４章　様相ミュー計算；第５章　ＰＤＬ；第６章　ホーア論理
ISBN(13)、ISBN 978-4-627-85641-7　　 4-627-85641-5
書誌番号 1113937497
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113937497

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 情報科学 007.1 一般書 利用可 - 2071838318 iLisvirtual

ページの先頭へ