帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: MA41)
該当件数:83件
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
東京 : 丸善 , 1994.2
図書
集合論 / リプシュッツ著 ; 金井省二, 清沢毅光訳
東京 : マグロウヒル好学社 , 1982.7. - (マグロウヒル大学演習シリーズ)
計算量理論概説 / 足立暁生, 西野哲朗著
東京 : 朝倉書店 , 1988.8
ヒルベルト数学の問題 : ヒルベルトの問題 / D.Hilbert著 ; 一松信訳・解説
増補版. - 東京 : 共立出版 , 1972.2. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 4)
帰納的関数 / 廣瀬健著
東京 : 共立出版 , 1989.2. - (共立講座現代の数学 ; 3)
計算幾何学 / 浅野哲夫著
東京 : 朝倉書店 , 1990.9
だからファジィが面白い / 廣田薫著
東京 : 裳華房 , 1993.5. - (ポピュラーサイエンス)
複素数と複素数平面 / 一松信著
東京 : 森北出版 , 1993.8. - (新数学入門シリーズ / 一松信編集 ; 3)
スイッチング理論演習 / 向殿政男, 笹尾勤著
東京 : 朝倉書店 , 1984.5. - (電気・電子・通信・情報工学演習シリーズ / 相磯秀夫 [ほか] 編)
オートマトン・言語理論 / 本多波雄著
東京 : コロナ社 , 1972.3. - (情報工学講座 ; 6)
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
無限のパラドクス : 数学から見た無限論の系譜 / 足立恒雄著
東京 : 講談社 , 2000.1. - (ブルーバックス ; B-1278)
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
有限オートマトンと正規言語 / 山崎克典著
東京 : 東京理科大学出版会 , 1986.4
パラドックスの世界 : 星間・逆説の旅 / 田村三郎著
東京 : 講談社 , 1981.7. - (ブルーバックス ; B-467)
組合せアルゴリズム通論 / 梶谷洋司著
東京 : コロナ社 , 2002.11
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
超準解析 / M.デービス著 ; 難波完爾訳
東京 : 培風館 , 1982.11
数理論理学序説 / 前原昭二著
東京 : 共立出版 , 1966.6. - (共立全書 ; 160)
集合と位相空間 / 柴田敏男著
東京 : 共立出版 , 1972.6. - (共立数学講座 ; 8)
アルゴリズム理論入門 / 福村晃夫著
東京 : 昭晃堂 , 1977.4. - (コンピュータ基礎講座 / 駒宮安男[ほか]編 ; 2)
情報システムの基礎 / 翁長健治編
東京 : 朝倉書店 , 1983.3. - (電気・電子・情報基礎シリーズ / 市川忠男 [ほか] 編 ; 14)
なっとくする集合・位相 / 瀬山士郎著
東京 : 講談社 , 2001.9
集合論問題ゼミ / 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)
計算論とオートマトン理論 / A.サローマ著 ; 野崎昭弘 [ほか] 共訳
東京 : サイエンス社 , 1988.10. - (Information & computing ; 28)
ファジィ理論入門 : 社会科学の数理 / 中島信之, 竹田英二, 石井博昭共著
東京 : 裳華房 , 1994.9
組合せ理論 / ホール [著] ; 岩堀信子訳
京都 : 吉岡書店. - 東京 : 丸善 (発売) , 1971.10. - (数学叢書 ; 15)
ε‐δ・∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1990.6. - (数学の盲点とその解明)
ファジィモデリングとその応用 / 田中英夫著
東京 : 朝倉書店 , 1990.11. - (システム制御情報ライブラリー / システム制御情報学会編 ; 2)
ファジィ--「あいまい」の科学 / 向殿政男, 本多中二著
東京 : 岩波書店 , 1990.11. - (New science age ; 40)
離散構造とアルゴリズム / 藤重悟編 ; 徳山豪 [ほか] 共著
1 - 7. - 東京 : 近代科学社 , 1992.7-
ファジィの数学的基礎 / 和泉孔二, 佐々木守寿編集担当 ; 千谷慧子著
東京 : 日刊工業新聞社 , 1992.11. - (講座ファジィ / 日本ファジィ学会編 ; 1)
ファジィ集合 / 日本ファジィ学会編 ; 水本雅晴編集担当 ; 石渕久生 [ほか] 執筆
東京 : 日刊工業新聞社 , 1992.12. - (講座ファジィ / 日本ファジィ学会編 ; 2)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
ファジィの科学と思想 / 合田周平, 寺野寿郎編集担当 ; 寺野寿郎 [ほか] 執筆
東京 : 日刊工業新聞社 , 1993.5. - (講座ファジィ / 日本ファジィ学会編 ; 別巻1)
直観主義的集合論 / 竹内外史著
3刷. - 東京 : 紀伊国屋書店 , 1985.9. - (紀伊國屋数学叢書 ; 20)
ファジィ論理 / 向殿政男著
東京 : 日刊工業新聞社 , 1993.3. - (講座ファジィ / 日本ファジィ学会編 ; 4)
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
離散最適化法とアルゴリズム / 茨木俊秀著
東京 : 岩波書店 , 1993.4. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
計算代数と計算幾何 / 佐々木建昭 [ほか] 著
東京 : 岩波書店 , 1993.9. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 9)
ファジィ・エキスパート・システム / 日本ファジイ学会編 ; 本多中二, 高木友博編集担当 ; 馬野元秀 [ほか] 執筆
東京 : 日刊工業新聞社 , 1993.8. - (講座ファジィ / 日本ファジィ学会編 ; 8)
ファジィエキスパートシステム入門 / 廣田薫著
東京 : オーム社 , 1993.9
可換代数と組合せ論 / 日比孝之著
東京 : シュプリンガー・フェアラーク東京 , 1995.4. - (シュプリンガー現代数学シリーズ / 伊藤雄二編)
計算機科学の基礎 : SEの応用知識 / 足立暁生著
東京 : オーム社 , 1987.11. - (SEシリーズ ; 1)
組合せ論の基礎 / C.ベルジュ著 ; 野崎昭弘訳
東京 : サイエンス社 , 1973.4. - (サイエンスライブラリ数学 ; 9)
オートマトンと計算可能性 / 有川節夫, 宮野悟著
東京 : 培風館 , 1986.9. - (情報処理シリーズ ; 9)
BASICによる情報数学 / 上坂吉則著
東京 : 東京理科大学出版会 , 1985.12
集合への30講 / 志賀浩二著
東京 : 朝倉書店 , 1988.5. - (数学30講シリーズ ; 3)
真理・証明・計算 : 論理と機械 / 内井惣七著
京都 : ミネルヴァ書房 , 1989.4
計算理論と論理プログラミング / Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳
東京 : 丸善 , 1989.8
応用をめざす人のためのファジィ理論入門 : ファジィ集合からファジィ制御まで / 田中一男著
東京 : ラッセル社 , 1991.9. - (ラッセルブックス)
ファジィ集合とその応用 / 西田俊夫, 竹田英二共著
東京 : 森北出版 , 1978.11. - (数学ライブラリー ; 48)
数学的帰納法 / 廣瀬健著
東京 : 教育出版 , 1975.6. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 11)
素朴集合論 / P.R.ハルモス著 ; 富川滋訳
京都 : ミネルヴァ書房 , 1975.9
計算基礎論 / 足立暁生著
東京 : オーム社 , 1986.6
証明論と計算量 / 竹内外史著
東京 : 裳華房 , 1995.11
集合・位相演習 / 篠田寿一, 米澤佳己共著
東京 : サイエンス社 , 1995.7. - (数学演習ライブラリ ; 7)
集合論 / Seymour Lipschutz著 ; 金井省二, 清澤毅光共訳
東京 : オーム社 , 1995.5. - (マグロウヒル大学演習)
組合せ論入門 / G.ポリア [ほか] 著 ; 今宮淳美訳
東京 : 近代科学社 , 1986.9
現代数学はじめの一歩集合と位相 : 数学はいかに「無限」をかぞえたのか / 瀬山士郎著
東京 : 講談社 , 2024.2. - (ブルーバックス ; B-2253)
ファジイ理論とその応用 / 水本雅晴著
東京 : サイエンス社 , 1988.2. - (Information & computing ; 19)
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
アルゴリズムと複雑さ
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1)
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
確率的方法とシミュレーション / 伏見正則著
東京 : 岩波書店 , 1994.3. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 10)
集合と位相 / 荷見守助著
東京 : 内田老鶴圃 , 1995.4
集合論 / 難波完爾著
東京 : サイエンス社 , 1975.2. - (サイエンスライブラリ現代数学への入門 ; 3)
プリンキピア・マテマティカ序論 / A・N・ホワイトヘッド, B・ラッセル[著] ; 岡本賢吾 [ほか] 訳
東京 : 哲学書房 , 1988.7. - (叢書思考の生成 ; 1)
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11
集合と位相 / 彌永昌吉, 彌永健一著
東京 : 岩波書店 , 1990.12. - (岩波基礎数学選書 / 小平邦彦監修 ; 岩堀長慶[ほか]編集)
アダマール偏微分方程式 : コーシー問題と双曲型線形偏微分方程式 / J. Hadamard著 ; 福原満州雄, 相沢貞一, 山中健訳・解説
東京 : 共立出版 , 1997.2. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 14)
知識の帰納的推論 / E.Y.Shapiro著 ; 有川節夫訳
東京 : 共立出版 , 1986.7. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 3)
集合・位相入門 / 松坂和夫著
東京 : 岩波書店 , 1968.6
集合と位相 / 加藤十吉著
東京 : 朝倉書店 , 1982.4. - (新数学講座 / 田村一郎, 木村俊房編 ; 3)
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門 / ジョン・マコーミック著 ; 長尾高弘訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 2020.12
