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

個数:
電子版価格 ¥3,520
  • 電書あり

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

  • ウェブストアに4冊在庫がございます。(2022年01月21日 18時08分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 165p/高さ 22cm
  • 商品コード 9784627856417
  • NDC分類 007.1
  • Cコード C3050

内容説明

モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!

目次

第1章 準備:命題論理
第2章 K
第3章 CTL
第4章 様相ミュー計算
第5章 PDL
第6章 ホーア論理

著者等紹介

鹿島亮[カシマリョウ]
1988年東京工業大学理学部情報科学科卒業。1991年東京工業大学理工学研究科情報科学専攻博士課程中退。1991年東京工業大学助手。北陸先端科学技術大学院大学助手などを経て、東京工業大学情報理工学院准教授。博士(理学)(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。