古本・中古本
コンピュータは数学者になれるのか？ 数学基礎論から証明とプログラムの理論へ/単行本
プレミアム会員とは
この商品の詳細
- 出版社
- 青土社
- 出版社シリーズ
- ISBN
- 4791768516
- サイズ
- 単行本
- 発売年月日
- 2015年03月01日
この商品の紹介
１９世紀末に興った数学基礎論と、２０世紀中盤にそこから分岐したコンピュータ科学とを貫く物語。不完全性定理、無矛盾性証明、Ｐ対ＮＰ問題、カリー・ハワード対応といった多様な話題を取り上げる。
コンピュータは数学者になれるのか？ 数学基礎論から証明とプログラムの理論へ/単行本
1,370
円(税込)
良く一緒に買われている商品 もっと見る
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
大学入試 突破力を鍛える最難関の数学 890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
淫花の香り－北原由紀写真集 343円
-
私がオバさんになっても－森高千里写真集 276円
-
ヴィオラートのアトリエ～グラムナートの錬金術士2～公式ガイドブック－Life Style Navig 165円
週間売れ筋ランキング（数学・物理・化学） もっと見る
-
介護未満の父に起きたこと 400円
-
思考の整理学 165円
-
自分とか、ないから。 教養としての東洋哲学 1,150円
-
4位角川まんが学習シリーズ 日本の歴史＜１０＞ 550円
-
5位【赤シート付】ＴＯＥＩＣ Ｌ＆Ｒ ＴＥＳＴ 出る単特急 金のフレーズ 400円
-
6位角川まんが学習シリーズ 日本の歴史＜１２＞ 630円
-
7位水不足のサバイバル（科学漫画サバイバルシリーズ） 生き残り作戦 165円
-
8位角川まんが学習シリーズ 日本の歴史＜１１＞ 400円
-
9位【５訂版 別冊・赤シート付】英検３級でる順パス単 710円
-
10位関正生のＴｈｅ Ｒｕｌｅｓ英語長文問題集 大学入試＜３＞ 400円
-
11位日本人の知らない日本語 なるほど～×爆笑！の日本語“再発見”コミックエッセイ 110円
-
12位ざんねんないきもの事典 おもしろい！進化のふしぎ 165円
-
13位学び効率が最大化するインプット大全 276円
-
14位ザ・ゴール 【コミック版】 800円
-
15位反応しない練習 あらゆる悩みが消えていくブッダの超・合理的な「考え方」 890円
-
16位角川まんが学習シリーズ 日本の歴史＜１５＞ 550円
-
17位【赤シート付】新ＴＯＥＩＣ ＴＥＳＴ 出る単特急金のフレーズ 399円
-
18位実験対決 学校勝ちぬき戦＜１４＞ 330円
-
19位置かれた場所で咲きなさい 165円
-
20位深夜特急＜４＞ 220円
この商品を見た人におすすめ もっと見る
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
大学入試 突破力を鍛える最難関の数学 890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
ヴィオラートのアトリエ～グラムナートの錬金術士2～公式ガイドブック－Life Style Navig 165円
-
イース（5）－さまよえる砂の都－＜上＞ 165円
-
小説ダンジョン・マスター 165円
-
ハワイ語－日本語辞典 1,690円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
金色の盃＜下＞ 330円
-
魔女の宅急便（4）－キキの恋－ 【新装版】 275円
-
魔女の宅急便（6）－それぞれの旅立ち－ 【新装版】 275円
-
セイバーマリオネットJ－RPG 110円
-
グランディアパラレルトリッパーズオフィシャルガイド 220円
-
探偵神宮寺三郎Early days－疾走の街－ 165円
-
ポケモンカード必勝大作戦 220円
-
社債ハンドブック 4,798円