- 中古
- 書籍
- 書籍
- 1215-02-01
真理・証明・計算 論理と機械
定価 ¥2,457
1,650円 定価より807円（32%）おトク
獲得ポイント15P
在庫なし
発送時期 1～5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | ミネルヴァ書房 |
| 発売年月日 | 1989/04/25 |
| JAN | 9784623018840 |
- 書籍
- 書籍
真理・証明・計算
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
真理・証明・計算
¥1,650
在庫なし
商品レビュー
3.5
2件のお客様レビュー
勧められて購入。読み物と入門書の中間。とても面白い。コンパクトな本だが非常に内容が豊富なので、様々な本と一緒に読むと良いのかもしれない。
Posted by 
私はこれで勉強しました。途中までの練習問題にすごく難しいのが2、3問あるので全部証明できなくても気にしないように。指導者がいないとこれだけでは修得できないと思う。本人も「あれ」とかなってたのあるし。 とりあえず完全性定理までいければすばらしい。でも今はもっとよい教科書はある...
私はこれで勉強しました。途中までの練習問題にすごく難しいのが2、3問あるので全部証明できなくても気にしないように。指導者がいないとこれだけでは修得できないと思う。本人も「あれ」とかなってたのあるし。 とりあえず完全性定理までいければすばらしい。でも今はもっとよい教科書はあるだろう。『論理学を作る』が一押し。
Posted by
関連ワードから探す
お手持ちのスマホでスキャン