A. 计算机语言 B. 计算机作图 C. 数学建模
单项选择题形式化是数学的基本特征之一，高中数学课程对形式推理的要求是：（）
单项选择题高中数学课程分必修和选修。必修课由几个模块组成：（）
A. 4 B. 5
