ようこそ  ゲスト さん

大阪大学OPAC

ヘルプ
入力補助
English
TOP
Webサービス
    • -貸出・予約状況照会
    • -文献複写・現物貸借申込み
    • -文献複写・現物貸借申込み状況照会
    • -利用者情報編集
    • -施設予約
新着案内
    • 図書新着案内
    • 雑誌新着巻号案内
    • AV資料新着案内
タイトルリスト
    • 雑誌タイトルリスト
    • AV資料タイトルリスト
  • 附属図書館
  • 大阪大学リポジトリ
  • 大阪大学
  • 大阪大学蔵書検索
  • CiNii Books
  • NDLサーチ
  • その他の検索
    • CiNii Books
    • NDLサーチ

蔵書検索

大阪大学の蔵書(電子ブック・電子ジャーナルを含む)を検索します。大阪大学個人IDがあれば、予約・取寄ができます。

CiNii Books

全国の大学図書館の蔵書を検索します ※ 論文名で探すときは CiNii Articles からどうぞ

NDLサーチ

国立国会図書館や公共図書館等の蔵書(デジタルコンテンツを含む)を検索します

検索条件を開く
  • 簡易検索
  • 詳細検索

検索条件

  •  

資料タイプ

所蔵場所

検索オプション

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

検索結果

検索キーワード:(: 410.9)

該当件数:459件

  • 件
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • メール送信
  • ファイル出力
  • EndNote Basic出力
  • 選択した資料の詳細表示
全選択
  • 1.
    図書

    暗号理論のための格子の数学 / D.ミッチアンチオ, S.ゴールドヴァッサー著 ; 林彬訳

    東京 : シュプリンガー・ジャパン , 2006.11

    書誌ID=2003719321 NCID=BA79493594



  • 2.
    図書

    現代集合論の探検 / 寺澤順著

    東京 : 日本評論社 , 2013.5

    書誌ID=2004292958 NCID=BB1246699X



  • 3.
    図書

    離散数学入門 / 豊泉正男, 丸山文綱, 藤田響著

    第2版. - 東京 : 学術図書出版社 , 2017.9

    書誌ID=2004487968 NCID=BB25215868



  • 4.
    図書

    組合せ数学 / ロビン・ウィルソン [著] ; 川辺治之訳

    東京 : 岩波書店 , 2018.12. - (岩波科学ライブラリー ; 280)

    書誌ID=2004465759 NCID=BB27323125



  • 5.
    図書

    カントールの連続体仮説 : ミーたんとコウちんは第2回国際数学者会議に出席していた = Cantor's continuum hypothesis / 市川秀志著

    大阪 : パレード. - 東京 : 星雲社 (発売) , 2017.5. - (Parade books)

    書誌ID=2004434728 NCID=BB23773254



  • 6.
    図書

    キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳

    東京 : 日本評論社 , 2016.7

    書誌ID=2004438797 NCID=BB21718288



  • 7.
    図書

    今度こそわかるP≠NP予想 / 渡辺治著

    東京 : 講談社 , 2014.3. - (今度こそわかるシリーズ)

    書誌ID=2004344321 NCID=BB1528198X



  • 8.
    図書

    離散数学 / 陳慰, 和田幸一共著

    東京 : 森北出版 , 2014.11. - (情報工学レクチャーシリーズ)

    書誌ID=2004502814 NCID=BB17239951



  • 9.
    図書

    離散数学入門 / 五十嵐善英著 , 舩田眞里子著

    東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2017.1. - (数理情報科学シリーズ ; 30)

    書誌ID=2004431071 NCID=BB22876502



  • 10.
    図書

    集合論 : 独立性証明への案内 / ケネス・キューネン著 ; 藤田博司訳

    東京 : 日本評論社 , 2008.1

    書誌ID=2004086790 NCID=BA84526262



  • 11.
    図書

    ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳

    東京 : みすず書房 , 2011.3

    書誌ID=2004211981 NCID=BB0525845X



  • 12.
    図書

    数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著

    東京 : 裳華房 , 2019.6

    書誌ID=2004476984 NCID=BB28388818



  • 13.
    図書

    数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる / 野本和幸著

    東京 : 東京大学出版会 , 2019.8

    書誌ID=2004479709 NCID=BB28763225



  • 14.
    図書

    「ラフ集合理論」入門 : "粗い情報"の理論と推論への応用 / 赤間世紀著

    1,2. - 東京 : 工学社 , 2019.11. - (I/O books)

    書誌ID=2004491588 NCID=BB29420122



  • 15.
    図書

    個数を数える / 大島利雄著 ; 桂利行 [ほか] 編

    東京 : 数学書房 , 2019.3. - (数学書房選書 / 桂利行 [ほか] 編 ; 7)

    書誌ID=2004473977 NCID=BB27992624



  • 16.
    図書

    レクチャー離散数学 : グラフの世界への招待 / 木本一史著

    東京 : サイエンス社 , 2019.5. - (ライブラリ新数学基礎テキスト ; Q6)

    書誌ID=2004496684 NCID=BB28299230



  • 17.
    図書

    例題から展開する集合・位相 / 海老原円著

    東京 : サイエンス社 , 2018.5. - (ライブラリ例題から展開する大学数学 ; 6)

    書誌ID=2004496891 NCID=BB26140731



  • 18.
    図書

    スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳

    改訳版. - 東京 : 丸善出版 , 2019.12

    書誌ID=2004496034 NCID=BB29564246



  • 19.
    図書

    逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳

    東京 : 森北出版 , 2019.2

    書誌ID=2004487194 NCID=BB27733604



  • 20.
    図書

    集合と位相 / 内田伏一著

    増補新装版. - 東京 : 裳華房 , 2020.3. - (数学シリーズ / 佐武一郎, 村上信吾, 高橋礼司編)

    書誌ID=2004496923 NCID=BB29927973



  • メール送信
  • ファイル出力
  • EndNote Basic出力
  • 選択した資料の詳細表示
全選択
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
CLOSE

絞込み

CLOSE

Webサービス

  • -貸出・予約状況照会
  • -文献複写・現物貸借申込み
  • -文献複写・現物貸借申込み状況照会
  • -利用者情報編集
  • -施設予約

新着案内

  • 図書新着案内
  • 雑誌新着巻号案内
  • AV資料新着案内

タイトルリスト

  • 雑誌タイトルリスト
  • AV資料タイトルリスト

関連

  • 附属図書館
  • 大阪大学リポジトリ
  • 大阪大学
  • サイバーメディアセンター

©2017 Osaka University Library