資料詳細

  • 1 件中、 1 件目

【図書】 数学のロジックと集合論

田中一之 ／共著, 鈴木登志雄 ／共著   -- 培風館 -- ２００３．１２ -- ２１ｃｍ -- ２３０ｐ

資料詳細

タイトル 数学のロジックと集合論
著者名等 田中一之 ／共著, 鈴木登志雄 ／共著  
出版 培風館 ２００３．１２
大きさ等 ２１ｃｍ ２３０ｐ
分類 410.9
件名 集合論 , 記号論理学
注記 文献あり　索引あり
著者紹介 【田中】１９７８年東京工業大学理学部卒。同大学大学院理工学研究科修士課程修了。８６年カリフォルニア大学バークレイ校大学院博士課程修了。現在，東北大学大学院理学研究科教授。
内容紹介 論理や集合は、数学や情報科学はもちろん、学問全般を支える「言葉」として不可欠なものである。本書は、集合と論理の基礎を、多くの具体例をあげながら、一から懇切丁寧に解説した初学者向けの入門書。
要旨 本書は、集合と論理の基礎を、多くの具体例をあげながら、一から懇切丁寧に解説した初学者向けの入門書である。たとえ話の類と専門的な解説をバランスよく配し、一つの話題に対してさまざまな切り口を提供することで、読者が楽しみながら、言葉としての論理と集合を身につけ、さらには数理論理学や現代集合論の入り口へ無理なくたどり着けるよう配慮されている。初めて集合と論理について学ぼうとする学生・社会人にとって絶好の解説書である。
目次 ０　論理と集合の記号；１　関係、関数、濃度；２　自然数、実数、連続関数；３　順序数と基数；４　公理的集合論；５　ゲーデルとコーエン；Ａ　付録
ISBN(13)、ISBN 　　 4-563-00337-9
書誌番号 1103101516

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/255 一般書 利用可 - 2031223485 iLisvirtual
磯子 公開 Map 410 一般書 利用可 - 2031215512 iLisvirtual

ページの先頭へ