本棚登録 : 
感想 : 
サイトに貼り付ける
本ページはアフィリエイトプログラムによる収益を得ています
Amazon.co.jp ・本 / ISBN・EAN: 9784339027181
感想・レビュー・書評
-
ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の教科書。
0
詳細をみるコメント0件をすべて表示
全2件中 1 - 2件を表示
古川康一の作品
