帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.9)
該当件数:144件
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
図書
数え上げ組合せ論入門 / 成嶋弘著
改訂版. - 東京 : 日本評論社 , 2003.5. - (日評数学選書)
数学の限界 / グレゴリー.J.チャイティン著 ; 黒川利明訳
復刻改装版. - 府中 : エスアイビー・アクセス. - 東京 : 星雲社 (発売) , 2021.2
不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか / 竹内薫著
完全版. - 東京 : 講談社 , 2024.11. - (ブルーバックス ; B-2277)
集合序説 / 本橋信義著
東京 : 培風館 , 2003.9
なっとくする無限の話 / 玉野研一著
東京 : 講談社 , 2004.4
ゲーデル不完全性発見への道 / 北田均著
京都 : 現代数学社 , 2011.5. - (大数学者の数学 ; 6)
神学的数学の原型 : カントル / 落合仁司著
京都 : 現代数学社 , 2011.9. - (大数学者の数学 ; 7)
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
知の限界 / グレゴリー・J・チャイティン著 ; 黒川利明訳
復刻改装版. - 府中 (東京都) : エスアイビー・アクセス. - 東京 : 星雲社 (発売) , 2021.2
「無限」の考察 : ∞ - ∞ = ? / 足立恒雄著 ; 上村奈央絵
東京 : 講談社 , 2009.6
論理と集合から始める数学の基礎 / 嘉田勝著
東京 : 日本評論社 , 2008.12
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
東京 : 講談社 , 2019.12. - (ブルーバックス ; B-2121)
石とりゲームの数理 / 一松信著
POD版. - 東京 : 森北出版 , c1968
P=NP?問題へのアプローチ / 西野哲朗著
東京 : 日本評論社 , 2009.9
ファジィ理論 : 基礎と応用 / 瀧澤武信編著 ; 稲井田次郎 [ほか] 執筆
東京 : 共立出版 , 2010.8
数え上げ数学 / 日比孝之著
東京 : 朝倉書店 , 1997.2. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 14)
チューリングマシンと計算量の理論 / 守屋悦朗著
東京 : 培風館 , 1997.11. - (情報数理シリーズ ; B-2)
数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
東京 : 培風館 , 2003.12
数学にときめくふしぎな無限 : インターネットから飛び出した数学課外授業 / e-教室編
東京 : 講談社 , 2005.2. - (ブルーバックス ; B-1468)
論証・集合・位相入門 / 奥山晃弘著
東京 : 共立出版 , 2006.3. - (教育系学生のための数学シリーズ)
ファジィとソフトコンピューティングハンドブック / 日本ファジィ学会編集
東京 : 共立出版 , 2000.9
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
: 新装版. - 東京 : 講談社 , 2001.5. - (ブルーバックス ; B-1332)
数学基礎論 / 隈部正博著
4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)
現代数学はじめの一歩集合と位相 : 数学はいかに「無限」をかぞえたのか / 瀬山士郎著
東京 : 講談社 , 2024.2. - (ブルーバックス ; B-2253)
無限とはなんだろう : 限りなく多く、大きく、遠いふしぎな世界 / 玉野研一著
東京 : 講談社 , 2023.3. - (ブルーバックス ; B-2225)
絵でわかるパラドックス大百科 : 論理的思考が鍛えられる50の逆説
東京 : ニュートンプレス , 2019.2. - (ニュートン別冊). - (NEWTONムック)
集合論入門 / 赤摂也著
増補版. - 東京 : 培風館 , 1959.7. - (新数学シリーズ / 吉田洋一監修 ; 1)
点集合論入門 / 吉田洋一著
東京 : 培風館 , 1960.6. - (新数学シリーズ / 吉田洋一監修 ; 17)
ファジイ理論への道 : 様相・多値・ファジイ理論 / 数理科学社編
東京 : サイエンス社 , 1988.10. - (別冊数理科学)
集合・関係・関数 / S・セルビー, L・スウィート著 ; 矢野健太郎訳
東京 : 日本評論社 , 1966.11
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
なっとくする集合・位相 / 瀬山士郎著
東京 : 講談社 , 2001.9
ファジィ数学入門 : ソフトサイエンスの基礎と応用 / 山下元, 須田宏共著
東京 : 森北出版 , 1997.3
集合・位相 : 基礎から応用まで / 佐久間一浩著
東京 : 共立出版 , 2004.1
これも数学だった!? : カーナビ・路線図・SNS / 河原林健一, 田井中麻都佳著
東京 : 丸善出版 , 2013.3. - (丸善ライブラリー ; 382 . 情報研シリーズ ; 16)
不可能、不確定、不完全 : 「できない」を証明する数学の力 / ジェイムズ・D. スタイン著 ; 熊谷玲美, 田沢恭子, 松井信彦訳
東京 : 早川書房 , 2011.1
集合論 / リプシュッツ著 ; 金井省二, 清沢毅光訳
東京 : マグロウヒル好学社 , 1982.7. - (マグロウヒル大学演習シリーズ)
帰納的関数 / 廣瀬健著
東京 : 共立出版 , 1989.2. - (共立講座現代の数学 ; 3)
計算幾何学 / 浅野哲夫著
東京 : 朝倉書店 , 1990.9
だからファジィが面白い / 廣田薫著
東京 : 裳華房 , 1993.5. - (ポピュラーサイエンス)
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
無限のパラドクス : 数学から見た無限論の系譜 / 足立恒雄著
東京 : 講談社 , 2000.1. - (ブルーバックス ; B-1278)
有限オートマトンと正規言語 / 山崎克典著
東京 : 東京理科大学出版会 , 1986.4
パラドックスの世界 : 星間・逆説の旅 / 田村三郎著
東京 : 講談社 , 1981.7. - (ブルーバックス ; B-467)
論理的思考力を高める パラドックス大事典 : 哲学者、科学者、数学者も夢中にさせた50のパラドックス
東京 : ニュートンプレス , 2022.12. - (ニュートン別冊). - (Newtonムック)
思考の迷宮パラドックス : 論理的思考力が高まる不思議な問題60選
東京 : ニュートンプレス , 2024.8. - (ニュートン別冊). - (Newtonムック)
絵でわかるパラドックス大百科 :“深読み力"が楽しく身につく50のパラドックス
増補第2版. - 東京 : ニュートンプレス , 2021.1. - (ニュートン別冊). - (Newtonムック)
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
集合論入門 / 松村英之著
東京 : 朝倉書店 , 1966.10. - (基礎数学シリーズ ; 5)
グラフの構造 / 秋山仁, 榎本彦衛監訳
東京 : 東海大学出版会 , 1988.3. - (組合せ論演習 / László Lovász [著] ; 2)
集合論的グラフ理論 / 秋山仁, 榎本彦衛監訳
東京 : 東海大学出版会 , 1988.4. - (組合せ論演習 / László Lovász [著] ; 4)
グラフの不変数 / 秋山仁, 榎本彦衛監訳
東京 : 東海大学出版会 , 1988.4. - (組合せ論演習 / László Lovász [著] ; 3)
数え上げ組合せ論 / リチャード・スタンレイ著 ; 成嶋弘[ほか]訳
1. - 東京 : 日本評論社 , 1990.3
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
計算機数学 / 町田元, 横森貴共著
東京 : 森北出版 , 1990.5
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)
大学演習応用数学 / 吉田耕作, 加藤敏夫共著
1. - 東京 : 裳華房 , 1961.5
ファジィ理論の展開 : 科学における主観性の回復 / 菅野道夫著
東京 : サイエンス社 , 1989.7
ファジィ集合 : 自然言語演算とリスク解析 / K・J・シュマッカー著 ; 鬼沢武久訳
東京 : 啓学出版 , 1990.5
ゲーデルの夢 / 竹内外史著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版(発売) , 1990.8. - (河合ブックレット ; . 数学シリーズ ; 12)
連続体仮説 / コーヘン著 ; 近藤基吉, 坂井秀寿, 沢口昭聿訳
: 新装版. - 東京 : 東京図書 , 1990.10
ザデー・ファジィ理論 / ザデー[著] ; 菅野道夫, 向殿政男監訳
東京 : 日刊工業新聞社 , 1992.11
再帰的思考法 / Eric S. Roberts著 ; 有川節夫監訳 ; 篠原武訳
東京 : オーム社 , 1993.4
ソフトコンピューティング用語集 / 坂和正敏, 馬野元秀, 大里有生編
東京 : 朝倉書店 , 1996.5. - (ソフトコンピューティングシリーズ / 日本ファジィ学会編 ; 11)
集合論 / ブルバキ [著] ; 前原昭二編 ; 前原昭二訳
1 - 要約. - 東京 : 東京図書 , 1968.5-1969.9. - (ブルバキ数学原論 / ブルバキ[著] ; [1-4])
ファジィ数学モデル / Arnold Kaufmann, Madan M. Gupta共著 ; 松岡浩訳
東京 : オーム社 , 1992.1
チューリングの計算理論入門 : チューリング・マシンからコンピュータへ / 高岡詠子著
東京 : 講談社 , 2014.2. - (ブルーバックス ; B-1851)
ソフトデータ解析 / 田中英夫, 石渕久生著
東京 : 朝倉書店 , 1995.9. - (ソフトコンピューティングシリーズ / 日本ファジィ学会編 ; 4)
Q&A数学基礎論入門 / 久馬栄道著
東京 : 共立出版 , 1995.9
ファジィ理論と人文・社会科学 / 薮内稔, 塚本弥八郎, 中村和夫編集担当 ; 高坂健次 [ほか] 執筆
東京 : 日刊工業新聞社 , 1994.6. - (講座ファジィ / 日本ファジィ学会編 ; 14)
集合と位相 / 荷見守助著
東京 : 内田老鶴圃 , 1995.4
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門 / ジョン・マコーミック著 ; 長尾高弘訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 2020.12
計算量の理論 / 笠井琢美著
東京 : 近代科学社 , 1987.4. - (コンピュータサイエンス大学講座 ; 17)
集合論問題ゼミ / J・M・ ヘンレ著 ; 一松信訳
東京 : シュプリンガー・フェアラーク東京 , 1987.10
プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
東京 : サイエンス社 , 1987.12. - (Information & computing ; 18)
数学基礎概説 / 大芝猛著
東京 : 共立出版 , 1987.10. - (共立数学講座 ; 10)
数え上げの手法 / 成嶋弘, 土屋守正訳
東京 : 東海大学出版会 , 1988.3. - (組合せ論演習 / László Lovász [著] ; 1)
やさしい集合論 / 大村平著
東京 : 日科技連出版社 , 1974.5. - (生活のなかの数学シリーズ ; 4)
組み合わせゲームの裏表 / 山崎洋平著
東京 : シュプリンガー・フェアラーク東京 , 1989.3
集合と位相 / 鎌田正良著
東京 : 近代科学社 , 1989.3. - (現代数学ゼミナール ; 8)
計算機科学の基礎 / 米田政明著
東京 : 森北出版 , 1991.3
ファジィ理論入門 : 社会科学の数理 / 中島信之, 竹田英二, 石井博昭共著
東京 : 裳華房 , 1994.9
Introduction to fuzzy arithmetic : theory and applications / Arnold Kaufmann, Madan M. Gupta
New York, N.Y. : Van Nostrand Reinhold Co. , c1985. - (Van Nostrand Reinhold electrical/computer science and engineering series)
Introduction to set theory / Karel Hrbacek, Thomas Jech
2nd ed., rev. and expanded. - New York : M. Dekker , c1984. - (Monographs and textbooks in pure and applied mathematics ; 85)
入門組合せ論 / ラスロウ・ロバース [ほか] 著 ; 秋山仁, ピーター・フランクル翻案
東京 : 共立出版 , 1985.4
コンピュータサイエンスのための離散数学入門 / C. L. リュー著 ; 成嶋弘, 秋山仁訳
東京 : マグロウヒルブック , 1986.11
組合せ理論 / ホール [著] ; 岩堀信子訳
京都 : 吉岡書店. - 東京 : 丸善 (発売) , 1971.10. - (数学叢書 ; 15)
流れの安定性理論 / 巽友正, 後藤金英著
東京 : 産業図書 , 1976.7. - (数理解析とその周辺 ; 13)
C言語による実用ファジィブック / 三矢直城, 田中一男著
東京 : ラッセル社 , 1989.6. - (ラッセルブックス)
ファジィモデリングとその応用 / 田中英夫著
東京 : 朝倉書店 , 1990.11. - (システム制御情報ライブラリー / システム制御情報学会編 ; 2)
ファジィ--「あいまい」の科学 / 向殿政男, 本多中二著
東京 : 岩波書店 , 1990.11. - (New science age ; 40)
離散構造とアルゴリズム / 藤重悟編 ; 徳山豪 [ほか] 共著
1 - 7. - 東京 : 近代科学社 , 1992.7-
ファジィの数学的基礎 / 和泉孔二, 佐々木守寿編集担当 ; 千谷慧子著
東京 : 日刊工業新聞社 , 1992.11. - (講座ファジィ / 日本ファジィ学会編 ; 1)
ファジィ集合 / 日本ファジィ学会編 ; 水本雅晴編集担当 ; 石渕久生 [ほか] 執筆
東京 : 日刊工業新聞社 , 1992.12. - (講座ファジィ / 日本ファジィ学会編 ; 2)
ファジィ測度 / 菅野道夫編集担当 ; 菅野道夫, 室伏俊明著
東京 : 日刊工業新聞社 , 1993.1. - (講座ファジィ / 日本ファジィ学会編 ; 3)
ファジィOR / 浅居喜代治, 田中英夫編集担当 ; 浅居喜代治[ほか]執筆
東京 : 日刊工業新聞社 , 1993.5. - (講座ファジィ / 日本ファジィ学会編 ; 6)
ファジィの科学と思想 / 合田周平, 寺野寿郎編集担当 ; 寺野寿郎 [ほか] 執筆
東京 : 日刊工業新聞社 , 1993.5. - (講座ファジィ / 日本ファジィ学会編 ; 別巻1)
直観主義的集合論 / 竹内外史著
3刷. - 東京 : 紀伊国屋書店 , 1985.9. - (紀伊國屋数学叢書 ; 20)