東京農業大学　生物産業学部図書館
OPACトップへ MyOPACへログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用者登録情報照会
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • 学外文献複写申込
    • 学外文献借用申込

東京農業大学　生物産業学部図書館

検索結果一覧へ戻る

その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方

Daniel J.Velleman著 ; 神林靖訳. -- 翔泳社, 2016. <BB20024146>
便利機能：
詳細情報を見る
この書誌へのURL：

その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方

Daniel J.Velleman著 ; 神林靖訳. -- 翔泳社, 2016. <BB20024146>
便利機能：
詳細情報を見る
この書誌へのURL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻冊次等 所蔵館 配置場所 資料ID 請求記号 禁帯出区分 状態 返却期限日 予約件数
0001 生産図 １Ｆ一般第二 1023529 410||V56 帯出可 整理済 0件
No. 0001
巻冊次等
所蔵館 生産図
配置場所 １Ｆ一般第二
資料ID 1023529
請求記号 410||V56
禁帯出区分 帯出可
状態 整理済
返却期限日
予約件数 0件
このページのTOPへ

書誌詳細

標題および責任表示 その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方 / Daniel J.Velleman著 ; 神林靖訳
ソノ リクツ ショウメイ デキマスカ : タダシク メイダイ ニ タドリツク タメ ノ シュホウ ト シコウ ノ マナビカタ
出版・頒布事項 [東京] : 翔泳社 , 2016.11
形態事項 xii, 451p ; 21cm
巻号情報
国際標準図書番号 9784798140995
その他の標題 原タイトル:How to prove it : a structured approach
その他の標題 異なりアクセスタイトル:その理屈証明できますか : 正しく命題にたどり着くための手法と思考の学び方
ソノ リクツ ショウメイ デキマスカ : タダシク メイダイ ニ タドリツク タメ ノ シュホウ ト シコウ ノ マナビカタ
要約 数学あるいはコンピュータ科学を学ぶ人に向けて、どのように証明を進めるかを解説した書。命題論理と術語論理そして数学的帰納法について詳しく記述。集合、 関係、関数も取り上げる。演習問題付き。
注記 原著第2版 (Cambridge University Press , c2006) の翻訳
注記 参考図書: p[441]-442
学情ID BB2259476X
本文言語コード 日本語
著者標目リンク Velleman, Daniel J. <AU10052086>
著者標目リンク 神林, 靖(1958-)||カンバヤシ, ヤスシ <AU00018849>
分類標目 数学 NDC10:410
件名標目等 証明(数学)||ショウメイ(スウガク)
件名標目等 数学基礎論||スウガクキソロン
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    全国の大学図書館等を検索

    資料を取り寄せる

    • 学外文献複写申込(コピー取り寄せ)
    • 学外文献借用申込(現物借用)

    この書誌のQRコード