hondana.org
本を探す

 


Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

(13/428)冊
Fms
数学基礎論
数学基礎論
著者: 新井 敏康
出版社: 岩波書店
評価: ★★
カテゴリ: 論理学
コメント:
関連本棚: 岸リトル kuwa p-his
Fms
駆け出し数学者ドイツに行く
駆け出し数学者ドイツに行く
著者: 高山 幸秀
出版社: 文芸社
評価: ★★
カテゴリ: エッセイ・小説
コメント:
関連本棚: p-his
Fms
/p-his/4764910144
著者:
出版社:
評価: ★★
カテゴリ: 資格試験
コメント:
関連本棚: p-his
Fms
逆数学:定理から公理を「証明」する
逆数学:定理から公理を「証明」する
著者: ジョン・スティルウェル
出版社: 森北出版
評価: ★★
カテゴリ: 論理学
コメント:
関連本棚: 岸リトル p-his kuwa
Fms
FreeBSDのブートプロセスをみる (UNIX MAGAZINE COLLECTION)
FreeBSDのブートプロセスをみる (UNIX MAGAZINE COLLECTION)
著者: 白崎 博生
出版社: アスキー
評価: ★★
カテゴリ:
コメント:
関連本棚: p-his ねおき kayakaya sanpei pants03a ikep mkouhei
Fms
The Little Book of Big Primes
The Little Book of Big Primes
著者: Paulo Ribenboim
出版社: Springer
評価: ★★
カテゴリ: 数論
コメント: いわゆる素数の本。素数に関する定理/予想/記録などについて記述されている。
関連本棚: p-his
Fms
Linuxのブートプロセスをみる (UNIXMAGAZINE COLLECTION)
Fms
コンピュータVSプロ棋士―名人に勝つ日はいつか (PHP新書)
コンピュータVSプロ棋士―名人に勝つ日はいつか (PHP新書)
著者: 岡嶋 裕史
出版社: PHP研究所
評価: ★★
カテゴリ: 人工知能
コメント:
関連本棚: 岸リトル bugbug p-his
Fms
ゲーデル 不完全性定理 (岩波文庫)
ゲーデル 不完全性定理 (岩波文庫)
著者: ゲーデル
出版社: 岩波書店
評価: ★★
カテゴリ: 論理学
コメント:
関連本棚: p-his 佐藤優 K内 musao3
Fms
Elliptic Curves: Number Theory and Cryptography (Discrete Mathematics and Its Applications)
Elliptic Curves: Number Theory and Cryptography (Discrete Mathematics and Its Applications)
著者: Lawrence C. Washington
出版社: Chapman & Hall
評価: ★★
カテゴリ: 楕円曲線論
コメント:
関連本棚: p-his
Fms
パラサイト社会のゆくえ (ちくま新書)
パラサイト社会のゆくえ (ちくま新書)
著者: 山田 昌弘
出版社: 筑摩書房
評価:
カテゴリ: その他
コメント:
関連本棚: Ted すがる がこび5/人文科学 p-his
Fms
四色問題
四色問題
著者: ロビン・ウィルソン
出版社: 新潮社
評価:
カテゴリ: エッセイ・小説
コメント: 四色問題の発生から計算機によって証明されるまでの歴史が分かりやすく解説されている。
関連本棚: TdS worit m reservoir rui dkiroku@積読 雑食 増井 m-use alcus Y.nabe ogijun p-his
Fms
Introduction to the Construction of Class Fields
Introduction to the Construction of Class Fields
著者: Harvey Cohn
出版社: Dover Publications
評価:
カテゴリ: 数論
コメント: 薄くて軽いので、通勤電車中で読むには向いている。
関連本棚: p-his
Fms
フェルマーの大定理が解けた!―オイラーからワイルズの証明まで (ブルーバックス)
フェルマーの大定理が解けた!―オイラーからワイルズの証明まで (ブルーバックス)
著者: 足立 恒雄
出版社: 講談社
評価:
カテゴリ: 数学史
コメント: これでWilesのFLTの証明を理解するのは無理。分かった気になるのが精一杯と思われる。
関連本棚: p-his seki momose
Fms
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
著者:
出版社: 東京大学出版会
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
M.C. Escher's Legacy: A Centennial Celebration : Collection of Articles Coming from the M.C. Escher Centennial Conference, Rome 1998
M.C. Escher's Legacy: A Centennial Celebration : Collection of Articles Coming from the M.C. Escher Centennial Conference, Rome 1998
著者: Italy) M. C. Escher Centennial Conference (1998 Rome, Michele Emmer
出版社: Springer
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: p-his
Fms
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
著者:
出版社: 東京大学出版会
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his spi
Fms
Regular Polytopes (Dover Books on Mathematics)
Regular Polytopes (Dover Books on Mathematics)
著者: H. S. M. Coxeter, Mathematics
出版社: Dover Publications
評価:
カテゴリ:
コメント: 正多面体や準正多面体について取り上げている。
関連本棚: p-his
Fms
暗号・ゼロ知識証明・数論
暗号・ゼロ知識証明・数論
著者:
出版社: 共立出版
評価:
カテゴリ: 暗号理論
コメント:
関連本棚: p-his セキュリティ momose
Fms
ゲーデル,エッシャー,バッハ―あるいは不思議の環
Fms