ようこそ  ゲスト さん

国際基督教大学OPAC

ヘルプ
入力補助
English
OPAC
資料案内
    • 新着図書
    • 雑誌最新巻号
    • 雑誌タイトル検索
    • AV資料リスト
    • 新着書評
MyLibrary
    • 貸出・予約・延滞状況の確認
    • 本の取寄せ・コピーの取寄せ申込み
    • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
    • 本の購入申込み
    • 本の購入申込み状況照会
    • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
    • 学生希望図書リクエスト状況照会
    • パスワード変更
  • 図書館 HP
  • 授業指定図書
  • ICU Discovery
  • データベース一覧
  • ICUリポジトリ
  • ICU図書館
  • CiNii Books

蔵書検索

ICU図書館の所蔵資料を検索します。

CiNii Books

他大学図書館の所蔵資料を検索します。

検索をやりなおす
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

検索対象

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(件名: #証明)

該当件数:13件

  • 件
  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    不可能、不確定、不完全 : 「できない」を証明する数学の力 / ジェイムズ・D. スタイン著 ; 熊谷玲美, 田沢恭子, 松井信彦訳

    東京 : 早川書房 , 2011.1

     図書 [BB04582190]



  • 2.

    証明の探究 / 日比孝之著

    吹田 : 大阪大学出版会 , 2011.3. - (共通教育シリーズ)

     図書 [BB05601020]



  • 3.

    発見へのプロセス : 大学数学の証明問題 / 阿原一志著

    東京 : 東京図書 , 2011.5

     図書 [BB05783256]



  • 4.

    1つの定理を証明する99の方法 / フィリップ・オーディング著 ; 冨永星訳

    東京 : 森北出版 , 2021.1

     図書 [BC05337338]



  • 5.

    その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方 / Daniel J.Velleman著 : 神林靖訳

    [東京] : 翔泳社 , 2016.11

     図書 [BB2259476X]



  • 6.

    行政証明事務ハンドブック / 福富富男,小俣力三著

    東京 : 日本加除出版 , 1986.2. - (レジストラー・ブックス ; 53)

     図書 [BN06789117]



  • 7.

    「合理的疑いを超える」証明とはなにか : 英米証明理論の史的展開 / バーバラ J.シャピロ著 ; 庭山英雄訳 ; 融祐子訳

    東京 : 日本評論社 , 2003.7

     図書 [BA62852003]



  • 8.

    民事裁判と証明 / 藤原弘道著

    東京 : 有信堂高文社 , 2001.1

     図書 [BA50379611]



  • 9.

    数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著

    東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)

     図書 [BB28731910]



  • 10.

    数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編

    東京 : 共立出版 , 2016.3

     図書 [BB20937821]



  • 11.

    要件事実・事実認定入門 : 裁判官の判断の仕方を考える / 伊藤滋夫著

    東京 : 有斐閣 , 2003.11

     図書 [BA64303345]



  • 12.

    Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著

    東京 : 森北出版 , 2018.4

     図書 [BB25944631]



  • 13.

    四色問題 : どう解かれ何をもたらしたのか / 一松信著

    東京 : 講談社 , 2016.5. - (ブルーバックス ; B-1969)

     図書 [BB21243624]



  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
CLOSE

絞込項目

CLOSE

資料案内

  • 新着図書
  • 雑誌最新巻号
  • 雑誌タイトル検索
  • AV資料リスト
  • 新着書評

MyLibrary

  • 貸出・予約・延滞状況の確認
  • 本の取寄せ・コピーの取寄せ申込み
  • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
  • 本の購入申込み
  • 本の購入申込み状況照会
  • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
  • 学生希望図書リクエスト状況照会
  • パスワード変更

関連

  • 図書館HP
  • ICU Discovery
  • データベース一覧

©2013 国際基督教大学