What & How & Why

这是本文档旧的修订版!


离散数学

  • 数理逻辑
  • 集合论