尾道市立大学の蔵書を検索します。
日本の論文を検索します。
大学等の一般公開されている論文・情報を検索します。
大学等研究機関の蔵書を検索します。
国立国会図書館の蔵書を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:34件
無限のパラドクス : 数学から見た無限論の系譜 / 足立恒雄著
東京 : 講談社 , 2000.1. - (ブルーバックス ; B-1278)
図書
計算幾何学 / 浅野哲夫著
東京 : 朝倉書店 , 1990.9
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
東京 : シュプリンガー・フェアラーク東京 , 1993.10. - (シュプリンガー数学クラシックス)
パラドックスの世界 : 星間・逆説の旅 / 田村三郎著
東京 : 講談社 , 1981.7. - (ブルーバックス ; B-467)
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
東京 : 講談社 , 1976.9. - (ブルーバックス ; B-298)
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
組合せアルゴリズム通論 / 梶谷洋司著
東京 : コロナ社 , 2002.11
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
組合せ数学 / 仙波一郎著
東京 : コロナ社 , 1999.11. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 2)
複雑性と情報 : 金融工学との接点 / J.F. Traub, A.G. Werschulz著 ; 手塚集訳
東京 : 共立出版 , 2000.3
離散最適化法とアルゴリズム / 茨木俊秀著
東京 : 岩波書店 , 1993.4. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 日本評論社 , 1996.9. - (たのしいすうがく ; 2)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in the foundations of computing)
「集合」の話 / 川尻信夫著
東京 : 講談社 , 1972. 8. - (講談社現代新書 ; 286)
計算機科学の基礎 : SEの応用知識 / 足立暁生著
東京 : オーム社 , 1987.11. - (SEシリーズ ; 1)
集合への30講 / 志賀浩二著
東京 : 朝倉書店 , 1988.5. - (数学30講シリーズ ; 3)
東京 : 筑摩書房 , 2006.5. - (ちくま学芸文庫 ; [ノ4-1])
Selected papers in logic and foundations, didactics, economics / Karl Menger
: pbk. - Dordrecht ; Boston : D. Reidel Pub. Co. , c1979. - (Vienna circle collection ; v. 10)