P≠NP予想とはなんだろう
410.9
2014
P≠NP予想とはなんだろう

ランス・フォートナウ/著 -- 日本評論社 -- 2014.5

(画像取得中)
(画像なし)

不完全性定理
410.9
2014
不完全性定理

菊池 誠/著 -- 共立出版 -- 2014.10

(画像取得中)
(画像なし)

論理と集合のはなし
410.9
2014
論理と集合のはなし

大村 平/著 -- 日科技連出版社 -- 2014.7

(画像取得中)
(画像なし)

コンピュータは数学者になれるのか?
410.9
2015
コンピュータは数学者になれるのか?

照井 一成/著 -- 青土社 -- 2015.3

(画像取得中)
(画像なし)

「P≠NP」問題
410.9
2015
「P≠NP」問題

野崎 昭弘/著 -- 講談社 -- 2015.9

(画像取得中)
(画像なし)

万能コンピュータ
410.9
2016
万能コンピュータ

マーティン・デイヴィス/原著 -- 近代科学社 -- 2016.11

(画像取得中)
(画像なし)

ヘルマン・ヴァイル連続体
410.9
2016
ヘルマン・ヴァイル連続体

ヘルマン・ヴァイル/著 -- 日本評論社 -- 2016.2

(画像取得中)
(画像なし)

証明と論理に強くなる
410.9
2017
証明と論理に強くなる

小島 寛之/著 -- 技術評論社 -- 2017.2

(画像取得中)
(画像なし)

スマリヤン数理論理学講義 下巻
410.9
2017
スマリヤン数理論理学講義 下巻

レイモンド・M.スマリヤン/著 -- 日本評論社 -- 2018.9

(画像取得中)
(画像なし)

スマリヤン数理論理学講義 上巻
410.9
2017
スマリヤン数理論理学講義 上巻

レイモンド・M.スマリヤン/著 -- 日本評論社 -- 2017.9

(画像取得中)
(画像なし)

組合せ数学
410.9
2018
組合せ数学

ロビン・ウィルソン/[著] -- 岩波書店 -- 2018.12

(画像取得中)
(画像なし)

集合・位相入門
410.9
2018
集合・位相入門

松坂 和夫/著 -- 岩波書店 -- 2018.11

(画像取得中)
(画像なし)

「集合と位相」をなぜ学ぶのか
410.9
2018
「集合と位相」をなぜ学ぶのか

藤田 博司/著 -- 技術評論社 -- 2018.3

(画像取得中)
(画像なし)

無限
410.9
2018
無限

イアン・スチュアート/[著] -- 岩波書店 -- 2018.5

(画像取得中)
(画像なし)