目次
幾何学と論理
素朴集合論
古典命題論理学
論理回路
述語論理入門
羃集合・特性関数・２項演算
写像・対応・２項関係
ブール代数
１階述語論理
無限集合論
公理的集合論と形式論理学
距離と位相
連続写像と連結性
コンパクト性と分離公理
誘導位相
パラコンパクト性と可分性
一様位相と収束
著者等紹介
金子晃［カネコアキラ］
１９６８年東京大学理学部数学科卒業。１９７３年東京大学教養学部助教授。１９８７年東京大学教養学部教授。１９９７年お茶の水女子大学理学部情報科学科教授（現職）。理学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
枕流だった人
0
千
