本学の資料検索ができます。電子体にはリンクが付いています。
国内雑誌記事・学術論文を検索できます。
他大学蔵書を検索できます。
国立国会図書館の蔵書を検索できます。
国内の機関リポジトリを検索できます。※博士論文、大学紀要等、CiNii Articles で本文が引っかからない場合、こちらで検索してみてください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:20件
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
図書
計算量理論概説 / 足立暁生, 西野哲朗著
東京 : 朝倉書店 , 1988.8
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
逆説論理学 / 野崎昭弘著
東京 : 中央公論社 , 1980.11. - (中公新書 ; 593)
オートマトン・言語理論 / 本多波雄著
東京 : コロナ社 , 1972.3. - (情報工学講座 ; 6)
線形代数学入門 / 奥川光太郎著
東京 : 朝倉書店 , 1966.9. - (基礎数学シリーズ ; 7)
離散最適化法とアルゴリズム / 茨木俊秀著
東京 : 岩波書店 , 1993.4. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
集合と位相空間 / 柴田敏男著
東京 : 共立出版 , 1972.6. - (共立数学講座 ; 8)
ファジィ集合とその応用 / 西田俊夫, 竹田英二共著
東京 : 森北出版 , 1978.11. - (数学ライブラリー ; 48)
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
集合論 / 難波完爾著
東京 : サイエンス社 , 1975.2. - (サイエンスライブラリ現代数学への入門 ; 3)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
第2刷. - 東京 : 岩波書店 , 1998.8. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
確率的方法とシミュレーション / 伏見正則著
第2刷. - 東京 : 岩波書店 , 1998.7. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 10)
アダマール偏微分方程式 : コーシー問題と双曲型線形偏微分方程式 / J. Hadamard著 ; 福原満州雄, 相沢貞一, 山中健訳・解説
東京 : 共立出版 , 1997.2. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 14)
知識の帰納的推論 / E.Y.Shapiro著 ; 有川節夫訳
東京 : 共立出版 , 1986.7. - (知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 3)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
数学基礎論 : ゲーデルの不完全性定理 / 隈部正博著
改訂版. - 東京 : 放送大学教育振興会 , 1999.3. - (放送大学教材 ; 56087-1-9911)
数学の基礎 / L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
計算代数と計算幾何 / 佐々木建昭 [ほか] 著
第2刷. - 東京 : 岩波書店 , 1998.11. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 9)