ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: 410.9)
該当件数:82件
離散数学 : コンピュータサイエンスの基礎数学 / Seymour Lipschutz, Marc Lipson共著 ; 渡邉均訳
改訂2版. - 東京 : オーム社 , 2022.2. - (マグロウヒル大学演習)
図書 [BC12822810]
ポール・エルデス : 離散数学の魅力 : 伝説の講義 / Vašek Chvátal著 ; 小舘崇子 [ほか] 訳
東京 : 近代科学社 , 2023.8
図書 [BD03650460]
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
図書 [BB28388818]
スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳
改訳版. - 東京 : 丸善出版 , 2019.12
図書 [BB29564246]
「ラフ集合理論」入門 : “粗い情報"の理論と推論への応用 / 赤間世紀著
1,2. - 東京 : 工学社 , 2019.11. - (I/O books)
図書 [BB29420122]
集合と位相 / 内田伏一著
増補新装版. - 東京 : 裳華房 , 2020.3. - (数学シリーズ / 佐武一郎, 村上信吾, 高橋礼司編)
図書 [BB29927973]
手を動かしてまなぶ集合と位相 / 藤岡敦著
東京 : 裳華房 , 2020.8
図書 [BC02143630]
数学基礎論 = Mathematical Logic / 新井敏康著
増補版. - 東京 : 東京大学出版会 , 2021.4
図書 [BC0667006X]
イラストで学ぶ離散数学 = An illustrated guide to discrete mathematics / 伊藤大雄著
東京 : 講談社 , 2019.9
図書 [BB28814825]
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
図書 [BB28731910]
「集合と位相」をなぜ学ぶのか : 数学の基礎として根づくまでの歴史 / 藤田博司著
東京 : 技術評論社 , 2018.3
図書 [BB25709595]
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
図書 [BB27733604]
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
図書 [BB26080673]
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵
東京 : 日本評論社 , 2019.12
図書 [BB29552145]
スバラシク実力がつくと評判の集合論キャンパス・ゼミ : 大学の数学がこんなに分かる!単位なんて楽に取れる! / 馬場敬之著
川口 : マセマ出版社 , [2022.6]
図書 [BC1591232X]
ヤング・タブロー : 表現論と幾何への応用 / W.フルトン著 ; 池田岳, 井上玲, 岩尾慎介訳
東京 : 丸善出版 , 2019.6
図書 [BB28365084]
物理数学 / 高橋健人著
東京 : 培風館 , 1958. - (新数学シリーズ ; 第11)
図書
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
東京 : 講談社 , 2019.12. - (ブルーバックス ; B-2121)
図書 [BB29388176]
数学基礎論 / 隈部正博著
4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)
図書 [BA85391646]
集合論 : 独立性証明への案内 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2008.1
図書 [BA84526262]
集合論の哲学 : 「カントールのパラダイス」につづく道 / メアリー・タイルズ著 ; 三浦雅弘訳
東京 : 産業図書 , 2007.12
図書 [BA84256204]
証明の探究 / 日比孝之著
吹田 : 大阪大学出版会 , 2011.3. - (共通教育シリーズ)
図書 [BB05601020]
神学的数学の原型 : カントル / 落合仁司著
京都 : 現代数学社 , 2011.9. - (大数学者の数学 ; 7)
図書 [BB0680026X]
ゲーデル不完全性発見への道 / 北田均著
京都 : 現代数学社 , 2011.5. - (大数学者の数学 ; 6)
図書 [BB05936244]
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)
図書 [BA87180652]
離散数学「数え上げ理論」 : 「おみやげの配り方」から「Nクイーン問題」まで / 野崎昭弘著
東京 : 講談社 , 2008.11. - (ブルーバックス ; B-1619)
図書 [BA87926165]
数学序論 : 集合と実数 / 柴田敏男著
復刊. - 東京 : 共立出版 , 2011.12
図書 [BB0775450X]
パラドクスの教室 : 日本一わかりやすい図説講義 / 富永裕久著
東京 : PHPエディターズ・グループ. - 東京 : PHP研究所 (発売) , 2012.5
図書 [BB09159176]
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
東京 : 東京大学出版会 , 2012.4
図書 [BB09016521]
現代集合論の探検 / 寺澤順著
東京 : 日本評論社 , 2013.5
図書 [BB1246699X]
バナッハ=タルスキの逆説 : 豆と太陽は同じ大きさ? / レナード・M・ワプナー著 ; 佐藤かおり, 佐藤宏樹訳
東京 : 青土社 , 2009.12
図書 [BB00223458]
集合論入門 / 赤攝也著
東京 : 筑摩書房 , 2014.3. - (ちくま学芸文庫 ; [セ3-1])
図書 [BB15158189]
組合せ論プロムナード = Combinatorics promenade / 山田裕史著
東京 : 日本評論社 , 2009.12
図書 [BB00540370]
組合せ数学 / ロビン・ウィルソン [著] ; 川辺治之訳
東京 : 岩波書店 , 2018.12. - (岩波科学ライブラリー ; 280)
図書 [BB27323125]
応用事例とイラストでわかる離散数学 / 延原肇著
東京 : 共立出版 , 2015.2
図書 [BB18019495]
「P≠NP」問題 : 現代数学の超難問 / 野崎昭弘著
東京 : 講談社 , 2015.9. - (ブルーバックス ; B-1933)
図書 [BB19508974]
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
図書 [BB0525845X]
キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2016.7
図書 [BB21718288]
離散数学入門 / 五十嵐善英著 , 舩田眞里子著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2017.1. - (数理情報科学シリーズ ; 30)
図書 [BB22876502]
数学は無限を創る / リリアン・R.リーバー著 ; ヒュー・グレイ・リーバー絵 ; 水谷淳訳
東京 : ソフトバンククリエイティブ , 2013.1
図書 [BB11634986]
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
図書 [BB08452164]
論理・集合と位相空間入門 / 栗山憲著
東京 : 共立出版 , 2012.4
図書 [BB09002797]
線形代数と数え上げ / 高崎金久著
東京 : 日本評論社 , 2012.6
図書 [BB09516841]
大学数学ほんとうに必要なのは『集合』 / 大蔵陽一著
東京 : ベレ出版 , 2016.9. - (Beret science)
図書 [BB22262715]
集合への入門 : 無限をかいま見る / 福田拓生著
東京 : 培風館 , 2012.5
図書 [BB09244366]
無限とはなんだろう : 限りなく多く、大きく、遠いふしぎな世界 / 玉野研一著
東京 : 講談社 , 2023.3. - (ブルーバックス ; B-2225)
図書 [BD01233575]
集合の話 / ヴィレンキン著 ; 柴岡泰光訳
東京 : 東京図書 , 1967.4. - (数学新書 ; 67)
図書 [BN04783903]
不可能、不確定、不完全 : 「できない」を証明する数学の力 / ジェイムズ・D. スタイン著 ; 熊谷玲美, 田沢恭子, 松井信彦訳
東京 : 早川書房 , 2011.1
図書 [BB04582190]
数学基礎論 / 新井敏康著
東京 : 岩波書店 , 2011.5
図書 [BB05694597]
ベーテ仮説と組合せ論 / 国場敦夫著
東京 : 朝倉書店 , 2011.6. - (開かれた数学 ; 5)
図書 [BB06057384]
