資料詳細

  • 1 件中、 1 件目

講座＊数学の考え方 ２３ 数学と論理 利用可

飯高茂／〔ほか〕編 -- 朝倉書店 -- 2003.4 -- 410.8

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.8/ｺｳｻ-23/一般Ｈ 115156542 一般 利用可

ページの先頭へ

資料詳細

タイトル 講座＊数学の考え方
書名ヨミ コウザ＊スウガク　ノ　カンガエカタ
巻次 ２３
巻書名 数学と論理
巻書名 数学と論理
著者名 飯高茂 ／〔ほか〕編  
著者ヨミ イイタカ，シゲル  
出版者 朝倉書店  
出版年 2003.4
ページ数等 ２６８ｐ
大きさ ２２ｃｍ
内容細目 索引あり
一般件名 数学 , 数学基礎論  
ISBN 4-254-11603-9
問合わせ番号（書誌番号） 1101079800
NDC8版 410.8
NDC9版 410.8

ページの先頭へ

内容一覧

タイトル 著者名 ページ
１　数学の小史（記号の博物誌；数と論理の小史；複雑さと計算量）
２　古典述語論理（項と論理式；推論と証明；モデルと正しさ；証明と完全性）
３　数と論理の話（自然数の体系；原始帰納的関数；計算可能性；不完全性定理）
４　集合論の話（公理的集合論；順序数；選択公理の周辺；独立性の話）
５　有限の話（有限体；楕円曲線と有限体；計算量の話；有限から無限へ）

ページの先頭へ