横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
コンピュータサイエンスにおける様相論理
鹿島亮
/著 --
森北出版 -- 2022.1 -- 22cm -- 165p
予約申込
本棚へ
資料詳細
タイトル
コンピュータサイエンスにおける様相論理
著者名等
鹿島亮
/著
出版
森北出版 2022.1
大きさ等
22cm 165p
分類
007.1
件名
情報科学
,
様相(論理学)
注記
欧文タイトル:Modal Logics in Computer Science
注記
文献あり 索引あり
著者紹介
1988年東京工業大学理学部情報科学科卒業。1991年東京工業大学理工学研究科情報科学専攻博士課程中退。北陸先端科学技術大学院大学助手などを経て、現在は東京工業大学情報理工学院准教授。博士(理学)。(本データはこの書籍が刊行された当時に掲載されていたものです)
要旨
モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!
目次
第1章 準備:命題論理;第2章 K;第3章 CTL;第4章 様相ミュー計算;第5章 PDL;第6章 ホーア論理
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
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
4階自然科学
Map
情報科学
007.1
一般書
利用可
-
2071838318
ページの先頭へ