富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.9)
該当件数:175件
現代数学はじめの一歩集合と位相 : 数学はいかに「無限」をかぞえたのか / 瀬山士郎著
東京 : 講談社 , 2024.2. - (ブルーバックス ; B-2253)
図書
無限とはなんだろう : 限りなく多く、大きく、遠いふしぎな世界 / 玉野研一著
東京 : 講談社 , 2023.3. - (ブルーバックス ; B-2225)
絵でわかるパラドックス大百科 : "深読み力"が楽しく身につく50のパラドックス
増補第2版. - 東京 : ニュートンプレス , 2021.1. - (ニュートン別冊). - (Newtonムック)
論理と集合 : 数学を理解するための基礎 / 辻一夫著
彦根 : サンライズ出版 , 2020.6
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
東京 : 講談社 , 2019.12. - (ブルーバックス ; B-2121)
イラストで学ぶ離散数学 = An illustrated guide to discrete mathematics / 伊藤大雄著
東京 : 講談社 , 2019.9
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
集合・位相入門 / 松坂和夫著
: 新装版. - 東京 : 岩波書店 , 2018.11. - (松坂和夫数学入門シリーズ ; 1)
無限 / イアン・スチュアート [著] ; 川辺治之訳
東京 : 岩波書店 , 2018.5. - (岩波科学ライブラリー ; 273)
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
ヘルマン・ヴァイル連続体 : 解析学の基礎についての批判的研究 / ヘルマン・ヴァイル著 ; 田中尚夫, 渕野昌訳・注釈・解説
東京 : 日本評論社 , 2016.2
離散数学 / 陳慰, 和田幸一共著
東京 : 森北出版 , 2014.11. - (情報工学レクチャーシリーズ)
集合論入門 / 赤攝也著
東京 : 筑摩書房 , 2014.3. - (ちくま学芸文庫 ; [セ3-1])
チューリングの計算理論入門 : チューリング・マシンからコンピュータへ / 高岡詠子著
東京 : 講談社 , 2014.2. - (ブルーバックス ; B-1851)
公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著
東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])
線形代数と数え上げ / 高崎金久著
東京 : 日本評論社 , 2012.6
発見へのプロセス : 大学数学の証明問題 / 阿原一志著
東京 : 東京図書 , 2011.5
証明論入門 / 竹内外史, 八杉満利子共著
復刊. - 東京 : 共立出版 , 2010.6
数理基礎論講義 : 論理・集合・位相 / 金子晃著
東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)
バナッハ-タルスキーのパラドックス / 砂田利一著
新版. - 東京 : 岩波書店 , 2009.12. - (岩波科学ライブラリー ; 165)