選択資料から書架並びで前後20冊ずつを表示します。
近似アルゴリズム : 離散最適化問題への効果的アプローチ / 浅野孝夫著
書庫2階
バイオインフォマティクスの数理とアルゴリズム / 阿久津達也著
書庫2階
化学系・生物系の計算モデル / 萩谷昌己, 山本光晴著
書庫2階
天空のパイ : 計算・思考・存在 / ジョン・D・バロー [著] ; 林大訳
書庫2階
数学の思想 : 数理哲学入門 / E.W.ベート著 ; 好田順治訳
書庫2階
計算の理論入門 / Erwin Engeler著 ; 稲垣康善訳
書庫2階
現代数学概説 / 彌永昌吉, 小平邦彦著
1
書庫2階
現代数学概説 / 彌永昌吉, 小平邦彦著
2
書庫2階
確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳
書庫2階
ゲーデル未刊哲学論稿 / ロドリゲス-コンスエグラ編 ; 好田順治訳
書庫2階
数学はなぜ哲学の問題になるのか / イアン・ハッキング著 ; 金子洋之, 大西琢朗共訳
書庫2階
量子と非可換のエピステモロジー : 数学と物理学における概念と実在 = Epistemology of quantum and noncommutativity : concepts and realities in mathematics and physics / 原田雅樹著
書庫2階
ゲーデル, エッシャー, バッハ : あるいは不思議の環 / ダグラス・R.ホフスタッター著 ; 野崎昭弘, はやしはじめ, 柳瀬尚紀訳
書庫2階
メタマジック・ゲーム : 科学と芸術のジグソーパズル / D.R.ホフスタッター著 ; 竹内郁雄[ほか]訳
書庫2階
リーディングス数学の哲学 : ゲーデル以後 / 飯田隆編
書庫2階
ライプニッツの数理哲学 : 空間・幾何学・実体をめぐって / 稲岡大志著
書庫2階
数学的論理学 / クリーネ著 ; 小沢健一訳
上
書庫2階
数学的論理学 / クリーネ著 ; 小沢健一訳
下
書庫2階
記号論理学 / ニーボン著 ; 安藤洋美訳
書庫2階
数学基礎論 / ニーボン著 ; 安藤洋美訳
書庫2階