|
|
Logic in Computer Science: Modelling and Reasoning about Systems
|
|
Michael Huth
Mark Ryan
Cambridge University Press
ISBN: 0521656028
紀伊國屋,
Amazon,
WebCat
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
h.kakugawa :
|
命題論理、述語論理、時様論理、様相論理の基礎を丁寧に解説。モデル検査のアルゴリズムやＢＤＤも説明されている。形式手法の基礎を学ぶのに良い。丁寧に書かれているので、独習可能。
|
|
| 他の本棚 |
|
最終更新 : 2005-03-30 11:48:43 +0900
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
|
|
 大崎公園
披露山公園
源氏山公園
しおさい公園
城ヶ島公園
 真鶴
逗子
熱海
下田
伊東
|
