• 1 件中、 1 件目

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

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

https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1102420970

• • 予約かごへ
• • 本棚へ

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	公開閲覧	/410.9/KA76/	116347279	一般図書	利用可	在架

ページの先頭へ

資料詳細

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

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。