さいたま市図書館新着情報(非公式)

さいたま市図書館の新着図書の情報をお知らせします

証明(数学)

数学にとって証明とはなにか-ピタゴラスの定理からイプシロン・デルタ論法まで(ブルーバックス B-2107)


数学にとって証明とはなにか-ピタゴラスの定理からイプシロン・デルタ論法まで(ブルーバックス B-2107)
瀬山 士郎
ブルーバックス

予約数: 3
予想待ち時間: 2か月程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
ユーグリッドに始まる知的営みが数学を進化させてきた! 「証明」の基礎となる論理の構造と技術をおさらいし、初等幾何学から解析学、代数学まで広範にわたる証明の数々を鑑賞する。

証明と論理に強くなる -論理式の読み方から、ゲーデルの門前まで 決定版数理論理学の完全解説-


証明と論理に強くなる -論理式の読み方から、ゲーデルの門前まで 決定版数理論理学の完全解説-
小島 寛之
知の扉シリーズ

予約数: 4
予想待ち時間: 2か月程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
記事検索
アクセスカウンター

    タグクラウド
    最新コメント
    • ライブドアブログ