考试科目：

• ① 101 思想政治理论

• ② 201 英语（一）

• ③ 303 数学（三）

• ④ 836 数理逻辑

重点参考书籍与资料

1. 科目③ 303 数学（三）：

   • 《高等数学》（同济版）、《线性代数》（同济版）、《概率论与数理统计》（浙大版）：通用考研数学教材，重点复习微积分与线性代数。

2. 科目④ 836 数理逻辑：

   • 《数理逻辑》（汉密尔顿/朱水林）：重点掌握命题逻辑的真值表法、自然演绎系统。
   • 《符号逻辑讲义》（徐明）：针对北大风格，重点复习一阶逻辑（谓词逻辑）的推理规则与模型论初步。
   • 《逻辑学导论》（柯匹）：辅助理解逻辑基本概念。

专业课复习方案

• 基础阶段（3-6月）：复习数学三的基础知识，同时学习数理逻辑的符号系统与基本语法。重点区分“语法”与“语义”的不同。

• 强化阶段（7-9月）：攻克一阶逻辑的难点——量词的推理与前束范式。大量做数理逻辑的推演题（如构造证明序列）。数学三开始刷题训练。

• 冲刺阶段（10-12月）：进行836的综合证明题训练，重点练习“可靠性定理”与“完全性定理”的相关应用。回顾数学三的错题集。

答题技巧

• 符号规范：数理逻辑对符号要求极其严格。答题时必须使用标准的逻辑联结词（如 $<span\; style="font-size:\; large;">\wedge </span><span\; style="font-size:\; large;">,</span><span\; style="font-size:\; large;">\vee </span><span\; style="font-size:\; large;">,</span><span\; style="font-size:\; large;">\to </span>$∧,∨,→ ）和量词（ $\mathrm{<span\; style="font-size:\; large;">\forall </span>}<span\; style="font-size:\; large;">,</span>\mathrm{<span\; style="font-size:\; large;">\exists </span>}$∀,∃ ），不能随意创造符号。

• 步骤清晰：逻辑证明题按步骤给分。在进行形式推导时，需明确写出每一步的依据（如引用了哪条公理或推理规则）。

• 模型构建：在回答语义学题目（如判断公式是否有效）时，若公式无效，需构造一个反例模型（Interpretation）来证明。

高效备考，新祥旭助你圆梦北大
考研是一场信息战，更是一场持久战。面对北京大学这样顶尖学府的高难度专业课（如801专业综合的跨学科考察、347的分方向命题），仅靠自学往往难以精准把握命题规律和导师偏好。
新祥旭考研全科定制辅导课程，专为冲击名校的学子设计：
1对1定制：匹配北大直系高分学长学姐，针对性解决专业课盲区。
全科护航：涵盖公共课与专业课，从参考书目筛选到答题技巧精讲，提供全流程陪伴。
精准信息：及时同步学院最新招生动态与备考策略，让你复习不走弯路。
立即咨询，抢占上岸先机！咨询电话：400-000-3363