<図書>
数理基礎論講義 : 論理・集合・位相
スウリ キソロン コウギ : ロンリ・シュウゴウ・イソウ
責任表示 | 金子晃著 |
---|---|
シリーズ | ライブラリ数理・情報系の数学講義 ; 1 |
データ種別 | 図書 |
出版者 | 東京 : サイエンス社 |
出版年 | 2010.6 |
本文言語 | 日本語 |
大きさ | vi, 263p : 挿図 ; 21cm |
目次 | 幾何学と論理 素朴集合論 古典命題論理学 論理回路 述語論理入門 羃集合・特性関数・2項演算 写像・対応・2項関係 ブール代数 1階述語論理 無限集合論 公理的集合論と形式論理学 距離と位相 連続写像と連結性 コンパクト性と分離公理 誘導位相 パラコンパクト性と可分性 一様位相と収束続きを見る |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
理系図1F 開架 | 410.9/Ka 53 | 2010 |
|
010112010028813 |
|
||||
|
理系図1F 開架 | 410.9/Ka 53 | 2010 |
|
031112011011992 |
|
||||
|
理系図3F 数理独自 | KANE/20/5 | 2010 |
|
033112010000746 |
|
書誌詳細
別書名 | 異なりアクセスタイトル:数理基礎論講義 : 論理集合位相 |
---|---|
一般注記 | 参考文献: p257-258 |
著者標目 | 金子, 晃(1945-) <カネコ, アキラ> |
件 名 | NDLSH:数学基礎論 NDLSH:記号論理学 NDLSH:トポロジー BSH:集合論 BSH:位相数学 |
分 類 | NDC9:410.9 |
書誌ID | 1001424055 |
ISBN | 9784781912530 |
NCID | BB02243740 |
巻冊次 | ISBN:9784781912530 ; PRICE:2200円+税 |
登録日 | 2010.06.29 |
更新日 | 2012.03.02 |