Search by Bookstore
第I部 数<br/><br/>第1章 自然数<br/>第2章 整数<br/>第3章 実数<br/>第4章 無理数と超越数<br/><br/>第II部 変わった数<br/><br/>第5章 ゼロ<br/>第6章 e:自然数でない自然な数<br/>第7章 φ:黄金比<br/>第8章 i:虚数<br/><br/>第III部 数を書く<br/><br/>第9章 ローマ数字<br/>第10章 エジプト分数<br/>第11章 連分数<br/><br/>第IV部 論理<br/><br/>第12章 ミスター・スポックは論理的じゃない<br/>第13章 証明に、真実に、木:おおこわい! <br/>第14章 論理でプログラミング<br/>第15章 時間がかかわる論証<br/><br/>第V部 集合<br/><br/>第16章 カントールの対角化:無限はただ無限なんじゃない<br/>第17章 公理的集合論:長所を残して、短所を捨てる<br/>第18章 モデル:数学の世界のレゴブロックとして集合を使う<br/>第19章 超限数:無限集合の数え上げと順序付け<br/>第20章 群論:集合の対称性を見つける<br/><br/>第VI部 機械じかけの数学<br/><br/>第21章 有限状態機械:単純だけどすごい奴<br/>第22章 チューリング機械<br/>第23章 計算の病理学と、その心髄<br/>第24章 計算:違う、ただの計算じゃないλ計算だ<br/>第25章 数、真偽値、そして再帰<br/>第26章 型、型、型:λ計算のモデル化<br/>第27章 停止性問題<br/><br/>参考文献
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Kanto
群馬県立図書館
Paper- Call No.:
- 410-ヌ66
- Book Registration Number:
- 12024253
千葉県立西部図書館
Paper- Call No.:
- 410/ 69/
- Book Registration Number:
- 1102448959
東京都立中央図書館
Paper- Call No.:
- 410.0-5314-2016
- Book Registration Number:
- 7107577459
横浜市立図書館
Paper- Call No.:
- 410
- Book Registration Number:
- 2056498462
Tokai-Hokuriku
愛知県図書館
Paper- Call No.:
- 410-シユ-1130429
- Book Registration Number:
- 1111304297
Search by Bookstore
Publication bibliographic database Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-274-21896-5
- Title Transcription
- グッド マス : ギーク ノ タメ ノ カズ ロンリ ケイサンキ カガク
- Author/Editor
- Mark C.Chu-Carroll 著cocoatomo 訳
- Author Heading
- Publication, Distribution, etc.
- Publication Date
- 2016.6
- Publication Date (W3CDTF)
- 2016
- Extent
- 261p