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

Bibliographic Information

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

金子晃著

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

サイエンス社, 2010.6

Other Title

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

Title Transcription

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

Available at  / 154 libraries

Note

参考文献: p257-258

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Related Books: 1-1 of 1

Details

Page Top