高中数学是培养学生逻辑思维、抽象能力与问题解决能力的关键学科，其知识点既有基础概念的铺垫，也有综合应用的延伸，为帮助同学们系统梳理知识体系，本文按高中数学模块化结构，从集合与逻辑到算法与程序框图，全面汇总核心知识点，并标注重点难点,助力高效复习与备考。
集合与逻辑：数学的语言基石
集合
- 概念：研究对象组成的确定性、互异性、无序性的整体，常用大写字母表示（如 (A, B)）。
- 表示方法：列举法（如 ({1, 2, 3})）、描述法（如 ({x \mid x > 0})）、文氏图。
- 集合间关系：
- 子集（(A \subseteq B)）：(A) 中元素全属于 (B)；真子集（(A \subsetneq B)）：(A \subseteq B) 且 (A \neq B)）。
- 相等（(A = B)）：(A \subseteq B) 且 (B \subseteq A)）。
- 集合运算：
并集（(A \cup B = {x \mid x \in A \text{ 或 } x \in B})）、交集（(A \cap B = {x \mid x \in A \text{ 且 } x \in B})）、补集（(\complement_U A = {x \mid x \in U \text{ 且 } x \notin A})，(U) 为全集）。
常用逻辑用语
- 命题：可以判断真假的陈述句，分为真命题、假命题。
- 逻辑联结词：“且”（(\land)，同真为真）、“或”（(\lor)，同假为假）、“非”（(\lnot)，真假相反）。
- 充分条件与必要条件：
- 若 (p \Rightarrow q)，则 (p) 是 (q) 的充分条件，(q) 是 (p) 的必要条件；
- 若 (p \Leftrightarrow q)，则 (p) 与 (q) 互为充要条件。
- 全称量词与存在量词：
- 全称命题（“(\forall x \in M, p(x))”），否定为“(\exists x \in M, \lnot p(x))”；
- 特称命题（“(\exists x \in M, p(x))”），否定为“(\forall x \in M, \lnot p(x))”。
函数与导数：描述变化的核心工具
函数的概念与性质
- 函数三要素：定义域（自变量取值范围）、值域（函数值取值范围）、对应法则
