鹿島亮

Individuals/organizations Page

Books

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

鹿島亮

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Architecture&Engineering
ISBN/Catalogue Number
：
ISBN 13 : 9784627856417
ISBN 10 : 4627856415
Format
：
Books
Publisher
：
森北出版
Release Date
：
January/2022
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
鹿島亮 ,  

Content Description

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

目次 : 第１章　準備：命題論理/ 第２章　Ｋ/ 第３章　ＣＴＬ/ 第４章　様相ミュー計算/ 第５章　ＰＤＬ/ 第６章　ホーア論理

【著者紹介】
鹿島亮 : １９８８年東京工業大学理学部情報科学科卒業。１９９１年東京工業大学理工学研究科情報科学専攻博士課程中退。１９９１年東京工業大学助手。北陸先端科学技術大学院大学助手などを経て、東京工業大学情報理工学院准教授。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • Q

    読了日：2022/03/10

    命題論理を復習した後、様相論理を簡潔に説明し、最後にホーア論理に導く本。ほぼ数式だけで解説がなされるので、自分のような数式アレルギーには厳しい。自分にとっては理論よりもモデル検査で検査を体験した方が理解が進むと感じた。TLA+はその意味では素晴しいツールだった。

レビューをもっと見る

(外部サイト)に移動します

Recommend Items

Sell This Item