数理基礎論講義 : 論理・集合・位相
著者
書誌事項
数理基礎論講義 : 論理・集合・位相
（ライブラリ数理・情報系の数学講義, 1）
サイエンス社, 2010.6
- タイトル別名
-
数理基礎論講義 : 論理集合位相
- タイトル読み
-
スウリ キソロン コウギ : ロンリ・シュウゴウ・イソウ
大学図書館所蔵 全155件
この図書・雑誌をさがす
注記
参考文献: p257-258
内容説明・目次
目次
- 幾何学と論理
- 素朴集合論
- 古典命題論理学
- 論理回路
- 述語論理入門
- 羃集合・特性関数・２項演算
- 写像・対応・２項関係
- ブール代数
- １階述語論理
- 無限集合論
- 公理的集合論と形式論理学
- 距離と位相
- 連続写像と連結性
- コンパクト性と分離公理
- 誘導位相
- パラコンパクト性と可分性
- 一様位相と収束
「BOOKデータベース」 より