ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #証明)
該当件数:12件
不可能、不確定、不完全 : 「できない」を証明する数学の力 / ジェイムズ・D. スタイン著 ; 熊谷玲美, 田沢恭子, 松井信彦訳
東京 : 早川書房 , 2011.1
図書 [BB04582190]
発見へのプロセス : 大学数学の証明問題 / 阿原一志著
東京 : 東京図書 , 2011.5
図書 [BB05783256]
証明の探究 / 日比孝之著
吹田 : 大阪大学出版会 , 2011.3. - (共通教育シリーズ)
図書 [BB05601020]
その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方 / Daniel J.Velleman著 : 神林靖訳
[東京] : 翔泳社 , 2016.11
図書 [BB2259476X]
民事裁判と証明 / 藤原弘道著
東京 : 有信堂高文社 , 2001.1
図書 [BA50379611]
行政証明事務ハンドブック / 福富富男,小俣力三著
東京 : 日本加除出版 , 1986.2. - (レジストラー・ブックス ; 53)
図書 [BN06789117]
数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編
東京 : 共立出版 , 2016.3
図書 [BB20937821]
「合理的疑いを超える」証明とはなにか : 英米証明理論の史的展開 / バーバラ J.シャピロ著 ; 庭山英雄訳 ; 融祐子訳
東京 : 日本評論社 , 2003.7
図書 [BA62852003]
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
図書 [BB28731910]
要件事実・事実認定入門 : 裁判官の判断の仕方を考える / 伊藤滋夫著
東京 : 有斐閣 , 2003.11
図書 [BA64303345]
四色問題 : どう解かれ何をもたらしたのか / 一松信著
東京 : 講談社 , 2016.5. - (ブルーバックス ; B-1969)
図書 [BB21243624]
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
図書 [BB25944631]
