内容説明
コーシーとワイエルシュトラスによって構築されたε‐σ論法を論理学の基礎から解説。
目次
命題論理（意味論）
述語論理
論理式の否定
数列の極限
連続関数
実数の連続性
中間値の定理
有界な単調数列の収束
Ｃａｕｃｈｙ列
Ｂｏｌｚａｎｏ‐Ｗｅｉｅｒｓｔｒａｓｓの定理〔ほか〕
著者等紹介
田中隆幸［タナカタカユキ］
１９５８年三重県伊勢市生まれ。大阪大学大学院基礎工学研究科物理系専攻博士課程前期修了（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
