1,800円以上の注文で送料無料

  • 中古
  • 書籍
  • 書籍

真理・証明・計算 論理と機械

内井惣七【著】

お気に入りに追加 お気に入り 追加 追加する お気に入りに追加 お気に入り 追加 追加する に追加 に追加する

定価 ¥2,457

¥1,650 定価より807円(32%)おトク

獲得ポイント15P

残り1点 ご注文はお早めに

発送時期 1~5日以内に発送

商品詳細

内容紹介
販売会社/発売会社 ミネルヴァ書房
発売年月日 1989/04/25
JAN 9784623018840

真理・証明・計算

¥1,650

残り1点
ご注文はお早めに

カートに追加するカートにいれる

商品レビュー

3.5

2件のお客様レビュー

レビューを投稿

2012/07/26

勧められて購入。読み物と入門書の中間。とても面白い。コンパクトな本だが非常に内容が豊富なので、様々な本と一緒に読むと良いのかもしれない。

Posted by ブクログ

2011/07/08

私はこれで勉強しました。途中までの練習問題にすごく難しいのが2、3問あるので全部証明できなくても気にしないように。指導者がいないとこれだけでは修得できないと思う。本人も「あれ」とかなってたのあるし。 とりあえず完全性定理までいければすばらしい。でも今はもっとよい教科書はある...

私はこれで勉強しました。途中までの練習問題にすごく難しいのが2、3問あるので全部証明できなくても気にしないように。指導者がいないとこれだけでは修得できないと思う。本人も「あれ」とかなってたのあるし。 とりあえず完全性定理までいければすばらしい。でも今はもっとよい教科書はあるだろう。『論理学を作る』が一押し。

Posted by ブクログ

関連商品

最近チェックした商品