鶴見大学を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
IRDBを検索します。
PubMedを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: 410.9)
該当件数:78件
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
東京 : 講談社 , 2019.12. - (ブルーバックス ; B-2121)
図書 <1000714556>
「ラフ集合理論」入門 : “粗い情報"の理論と推論への応用 / 赤間世紀著
1,2. - 東京 : 工学社 , 2019.11. - (I/O books)
図書 <1000714108>
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
図書 <1000711735>
数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる / 野本和幸著
東京 : 東京大学出版会 , 2019.8
図書 <1000712554>
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
図書 <1000711109>
使いこなそうやさしい離散数学 / 守屋悦朗著
東京 : サイエンス社 , 2018.11. - (情報系のための数学 ; 5)
図書 <1000704498>
無限 / イアン・スチュアート [著] ; 川辺治之訳
東京 : 岩波書店 , 2018.5. - (岩波科学ライブラリー ; 273)
図書 <1000700808>
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
図書 <1000700812>
数学基礎論 / 前原昭二, 竹内外史著
東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])
図書 <1000687011>
ファジーでデータを読む / 秋山好一著 ; I/O編集部編集
東京 : 工学社 , 2015.9. - (I/O books)
図書 <1000674533>
あいまいさの数理 / 遠藤靖典著
東京 : コロナ社 , 2015.4. - (リスク工学シリーズ ; 5)
図書 <1000677003>
乱数生成と計算量理論 / 小柴健史著
東京 : 岩波書店 , 2014.11. - (確率と情報の科学 / 甘利俊一, 麻生英樹, 伊庭幸人編)
図書 <1000690901>
離散数学 / 陳慰, 和田幸一共著
東京 : 森北出版 , 2014.11. - (情報工学レクチャーシリーズ)
図書 <1000664587>
集合論入門 / 赤攝也著
東京 : 筑摩書房 , 2014.3. - (ちくま学芸文庫 ; [セ3-1])
図書 <1000656699>
チューリングの計算理論入門 : チューリング・マシンからコンピュータへ / 高岡詠子著
東京 : 講談社 , 2014.2. - (ブルーバックス ; B-1851)
図書 <1000656646>
The Oxford handbook of the history of linguistics / edited by Keith Allan
Oxford : Oxford University Press , 2013. - (Oxford handbooks in linguistics)
図書 <1000656802>
公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著
東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])
図書 <1000637967>
論理・集合と位相空間入門 / 栗山憲著
東京 : 共立出版 , 2012.4
図書 <1000638056>
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
図書 <1000638057>
離散数学 / 松原良太 [ほか] 共著
東京 : オーム社 , 2010.10. - (IT text / 情報処理学会編)
図書 <1000619010>
