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

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

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

並び替え:

表示形式:

表示件数:

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

  • 古川 康一先生著

全1件中 1 - 1件を表示

古川康一の作品

数理論理学 (コンピュータサイエンス教科書シリーズ)を本棚に「読みたい」で登録しているひと

数理論理学 (コンピュータサイエンス教科書シリーズ)を本棚に「読み終わった」で登録しているひと

数理論理学 (コンピュータサイエンス教科書シリーズ)を本棚に「積読」で登録しているひと

ツイートする