One Forth
M00数学

数学语言、集合与证明

One Forth

命题与量词、集合与映射、关系、数学归纳法和证明方法。

3 编 · 6 章

开始本册

目录

6 章

第一编 数学语言与集合

  1. 01

    命题、量词与逻辑联结词

  2. 02

    集合、映射与关系

第二编 证明与递归结构

  1. 03

    直接证明、反证法与构造法

  2. 04

    等价关系、序关系与数学归纳法

第三编 基础结构与综合复习

  1. 05

    有限性、可数性与基本代数结构

  2. 06

    数学语言与证明综合复习

相关教材

参考资料