コンピュータサイエンスにおける様相論理
発売日：2022年1月
- ページ数
- １６５ｐ
- ISBN
- 978-4-627-85641-7
- 著者情報
- 鹿島 亮（カシマ リョウ）
１９８８年東京工業大学理学部情報科学科卒業。１９９１年東京工業大学理工学研究科情報科学専攻博士課程中退。１９９１年東京工業大学助手。北陸先端科学技術大学院大学助手などを経て、東京工業大学情報理工学院准教授。博士（理学）
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！
目次
第１章 準備：命題論理
第２章 Ｋ
第３章 ＣＴＬ
第４章 様相ミュー計算
第５章 ＰＤＬ
第６章 ホーア論理
商品詳細
- 出版社名
- 森北出版
- サイズ
- ２２ｃｍ
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
