| |
| ■ 書林ふくろうは | |
| 数学と経済を中心に、
専門書・読み物を扱う
オンライン古本屋です |
|
| | |
| | |
|
目 録 |
fukuro-books：
目録一覧
bookshelf |
| ------------------- |
平積み特集１：
日銀な人々
B.O.J. |
平積み特集2：
数理ファイナンス
Mathematical Finance |
平積み特集3：
力学系・複雑系
Dynamic Systems and Complex Systems |
平積み特集4：
市場主義
Free to choose |
平積み特集5：
論理・パズル・計算の理論
Logic, Puzzle, Computability |
平積み特集6：
ニューラルネットワーク
Neural Network |
平積み特集7：
全集・セットもの
Complete works series |
平積み特集8：
不確実な世の中：確率統計
Probability, Statistics, and Stochastic Process |
平積み特集9：
曲がってる？：トポロジー
Topology
|
平積み特集10：
量子力学
Quantum Mechanics
|
|
|
| | | |
平積み特集：論理・パズル・計算の理論-1
1ページ：★ 論理・基礎論
2ページ：★ パズル・計算
|
 ■直観主義的集合論 紀伊國屋数学叢書20
竹内外史（著）
紀伊國屋書店,1980年,第1刷,定価：5200
状態：背ヤケ、並
SOLD
|
 ■証明論入門
竹内外史、八杉満利子(著)
共立出版,1988年,改題1刷,定価：2800（現在品切）
状態：良
SOLD
|
 ■層・圏・トポス―現代的集合像を求めて
竹内外史（著）
日本評論社,1978年,第1版第1刷,定価：2600(現在品切）
状態：シミ、汚れ、書込・下線多数有、下
SOLD
|
 ■決定不能の論理パズル―ゲーデルの定理と様相論理
レーモンド・Ｍ．スマリヤン（著）、長尾確、田中朋之(訳)
白揚社,1997年,第1版第6刷,定価：3500
状態：良
SOLD
|
 ■現代暗号・確率的証明・擬似乱数
O.ゴールドライヒ(著)、岡本龍明、藤崎英一郎（訳）
シュプリンガー・フェアラーク東京,2001年,,定価：3500
状態：良（未使用本）
SOLD
|
 ■直観幾何学
ヒルベルト、コーン・フォッセン（著）、芹沢正三（訳）
みすず書房,43年,第2刷 ,定価：1600（現在の価格：5700）品切
状態：カバー痛（破・汚）、少ヤケ
SOLD
ヒルベルトによるゲッチンゲン大学における講義（1920/21）を基にまとめられた本。幾何学の姿を「直感的な立場から説明」することを目的とした著。
論理からは少しはずれますが、とりあえず巨人による古典です。現代幾何学の原型を見ることが出来ます。
|
 ■ゲーデルの世界 −完全性定理と不完全性定理
廣瀬健、横田一正(著)
海鳴社,1999年 初版第10刷,ISBN：,定価：1800
状態：良
SOLD
|
 ■ゲーデル、エッシャー、バッハ あるいは不思議の環
ダグラス・Ｒ・ホフスタッター（著） 野崎昭弘、はやしはじめ 柳瀬尚紀（訳）
白揚社,1989年 初版20刷,ISBN：,定価：4800（現在の価格：5500）
状態：函なし、良
SOLD
無矛盾性、再帰的構造、決定不可能性、自己言及、チューリング、人工知能などのキーワードを楽しく書いてます。2段組で765ページもある本です。
多くの類書がこの本のあとに出ましたね。
|
| |
