初中趣味数学 【文化科学教育体育】

本书是由教学经验丰富的一线教师和素质教育研究组的专家学者参与编写，适合初中学生阅读的数学知识读物，其中内容丰富有趣，能让学生在轻松愉快的气氛中得到知识和启发。...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

初中教材全解析 数学 九年级 下 【文化科学教育体育】

初中数学精要百讲 【文化科学教育体育】

本书针对初中数学重点和难点，采用专题形式举例讲解，既强调数学基础知识的掌握，更突出数学思想方法的渗透和数学能力的培养。

初中数学教学策略 【文化科学教育体育】

本书介绍了初中数学知识和技能教学的规划、设计与实施过程可用策略，结合具体的案例介绍了初中数学教学和评价的具体操作方法。

龙门专题 初中数学 方程 【文化科学教育体育】

课标专题依据知识板块为分册划分依据，坚持基础、提高、应试为一体，知识板块各个击破，夯实基础，培养学生综合素质，适合中等及中等以上学生使用。...

初中数学竞赛金版题典 【文化科学教育体育】

本书是中学数学竞赛试题汇编，并附讲解。

初中数学教学案 七年级 下 【文化科学教育体育】

本书设置了课前导学、情景设置、探索讨论等。

初中数学教学案 七年级 上 【文化科学教育体育】

本书设置了课前导学、情景设置、探索讨论等。

龙门专题 几何初步 初中数学 【文化科学教育体育】

课标专题依据知识板块为分册划分依据，坚持基础、提高、应试为一体，知识板块各个击破，夯实基础，培养学生综合素质，适合中等及中等以上学生使用。...