• 本

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

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

出版社名 サイエンス社
出版年月 2010年6月
ISBNコード 978-4-7819-1253-0
4-7819-1253-2
税込価格 2,420円
頁数・縦 263P 21cm

商品内容

目次

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

著者紹介

金子 晃 (カネコ アキラ)  
1968年東京大学理学部数学科卒業。1973年東京大学教養学部助教授。1987年東京大学教養学部教授。1997年お茶の水女子大学理学部情報科学科教授(現職)。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)