计算基础

Discrete mathematics, logic, sets, and formal reasoning.

离散数学、逻辑、集合和形式推理。