数理論理学 (コンピュータサイエンス教科書シリーズ)

  • コロナ社 (2008年6月1日発売)
5.00
  • (1)
  • (0)
  • (0)
  • (0)
  • (0)
  • 本棚登録 :12
  • レビュー :1
  • Amazon.co.jp ・本 (221ページ)
  • / ISBN・EAN: 9784339027181

数理論理学 (コンピュータサイエンス教科書シリーズ)の感想・レビュー・書評

並び替え:

表示形式:

表示件数:

  • ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の教科書。

  • 古川 康一先生著

全1件中 1 - 1件を表示

古川康一の作品

この本を読んでいる人は、こんな本も本棚に登録しています。

ツイートする