資料詳細

【図書】 講座　数学の考え方２３

数学と論理 --
飯高茂／〔ほか〕編 -- 朝倉書店 -- ２００３．４ -- ２２ｃｍ -- ２６８ｐ

タイトル	講座　数学の考え方２３
各巻タイトル	数学と論理
著者名等	飯高茂／〔ほか〕編
出版	朝倉書店２００３．４
大きさ等	２２ｃｍ２６８ｐ
分類	410.8
件名	数学 , 数学基礎論
注記	索引あり
内容紹介	ものごとに関する基本的なことばである数と論理。その歴史的発展をひとつの視点からたどりながら、数学の論理構造を興味深く語り、難解といわれる数学基礎論を平易に展開する。
目次	１　数学の小史（記号の博物誌；数と論理の小史；複雑さと計算量）；２　古典述語論理（項と論理式；推論と証明；モデルと正しさ；証明と完全性）；３　数と論理の話（自然数の体系；原始帰納的関数；計算可能性；不完全性定理）；４　集合論の話（公理的集合論；順序数；選択公理の周辺；独立性の話）；５　有限の話（有限体；楕円曲線と有限体；計算量の話；有限から無限へ）
ISBN(13)、ISBN	4-254-11603-9
書誌番号	1103030055
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1103030055

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map		410.8	一般書	利用可	-	2029262309