数理基礎論講義 : 論理・集合・位相

Author(s)

• 金子, 晃 カネコ, アキラ

Bibliographic Information

数理基礎論講義 : 論理・集合・位相

金子晃著

（ライブラリ数理・情報系の数学講義, 1）

サイエンス社, 2010.6

Other Title

数理基礎論講義 : 論理集合位相

Title Transcription

スウリ キソロン コウギ : ロンリ・シュウゴウ・イソウ

Note

参考文献: p257-258

Description and Table of Contents

Table of Contents

• 幾何学と論理
• 素朴集合論
• 古典命題論理学
• 論理回路
• 述語論理入門
• 羃集合・特性関数・２項演算
• 写像・対応・２項関係
• ブール代数
• １階述語論理
• 無限集合論
• 公理的集合論と形式論理学
• 距離と位相
• 連続写像と連結性
• コンパクト性と分離公理
• 誘導位相
• パラコンパクト性と可分性
• 一様位相と収束

by "BOOK database"

Details

• NCID: BB02243740
• ISBN:
  • 9784781912530
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vi, 263p
• Size: 21cm
• Classification:
  • NDC9 : 410.9
• Subject Headings:
  • NDLSH : 数学基礎論
  • NDLSH : 記号論理学
  • NDLSH : トポロジー
  • BSH : 集合論
  • BSH : 位相数学
• Parent Bibliography ID:
  • BA70484867