华威 MA132《数学基础》：Moodle 测验 15% ＋ 闭卷考试 85%

华威 MA132：从「算数学」到「证数学」的桥接课——集合、逻辑、量词、证明方法，最后用 RSA 密码学收官，让你看见这些基础工具能干什么。

10 CATS、本科 Level 1，数学系大一核心必修（覆盖九个数学学位项目的第一年）；Moodle 测验 15% ＋ 中心排考闭卷 85%。

MA132 是一门什么课？

一句话：这门课教的是「数学家怎么知道事情」——先具体后抽象，从集合与计数走向逻辑与证明，最后落到公钥加密这种真实应用。

学校官网的说明（照实）：大学数学逐步引入越来越抽象的观念与结构，要求越来越多的证明；到数学学位末期，大部分时间用于理解证明与创建自己的证明（照实）——这不是因为大学数学家更学究，而是因为证明是数学中「知道」事情的方式，数学的力量与丰富正体现在它的证明里（照实）。课程目标（照实）：学习处理抽象与证明需要时间，本课旨在弥合中学与大学数学之间的鸿沟——从强调计算的具体技术开始，逐渐走向抽象与证明（照实）。

结构是五块（分析）——集合块：集合、函数、单射满射双射、排列组合（分析）、运算块：并交差、复合、迭代、基数、康托尔-伯恩斯坦（分析）、关系块：等价关系、商、模运算（分析）、逻辑与证明块：真值表、量词、演绎规则，再到直接证明、逆否、反证、构造、分情况、归纳、鸽笼（分析）、密码块：欧几里得算法、离散对数、中国剩余定理、RSA 公钥（分析）。

这门课的顺序有讲究（分析）：语言先行，方法随后，应用收官（分析）——先掌握数学的「说话方式」，再谈推理，最后看这些工具能干什么（分析）——密码学块正是让前几周的地基立刻见到用处（分析）。

五块之间是递进的（分析）——没有集合与函数的语言，量词讲不清；没有量词，连续性类定义就写不成；没有证明方法，后面的所有题都只能看懂一半（分析）——所以这门课掉一块，后面全掉（分析）。

有一处形态要留意（分析）：它是必修核心，不是选修（照实）——九个数学学位项目的第一年都要修（分析）——也就是说，绕不过去，只能一次走稳（分析）。

和国内《数学分析》或《高等代数》有什么不同？

国内数学系一年级以微积分与线性代数双主干开路（分析）：集合论与证明方法散在各门课里，不成专课（分析）——这门课把「数学基础」独立成核心必修（分析）——语言、方法、应用三合一（分析）。

第二处不同是目的（分析）：国内第一年先学内容（分析）——这门课先学怎么论证（分析）——证明是这门课的内容本身，不是附带的技能（分析）。

第三处不同是出口设计（分析）：很多基础课讲完就结束（分析）——这门课最后用 RSA 把模运算、欧几里得算法、素数这些工具焊成一个看得见的应用（分析）。

考核怎么算？

两件：平时测验与期末考试。

四处结构判断：

第一，八成半在闭卷考，证明能力必须手写。（分析）平时测验只是小件（分析）——数学系核心课的严谨传统：证明不能靠平时分兜底（分析）。

第二，Moodle 测验练的是语言与概念精度。（分析）多选题看着简单，考的是定义细节（分析）——拿它当送分题的人，往往在概念上留了洞（分析）。

第三，12 页答题册暗示了题量。（分析）书写量是设计参数（分析）——速度与条理同样影响分数（分析）。

第四，补考是纯闭卷。（分析）平时分不带（照实）——所以平时测验的价值在练概念，不在攒分（分析）。

第五，答题册的页数也是信息。（分析）十二页意味着题量以书写量为设计参数（分析）——平时就要练「一次写完整道证明」的手速与条理（分析）。

先修要求是什么？

没有正式先修要求（分析）：

• 身份：九个数学学位项目第一年的核心必修（照实）——覆盖数学、数学与商科、数学与经济等各版本（分析）。
• 内容预设：A-Level 数学底子，尤其是排列组合与基础代数（分析）。

「无先修」不等于「无落差」（分析）：中国高中的微积分与向量方向与 A-Level 有差异（分析）——排列组合与模运算恰恰是国内课纲的薄弱处（分析）——这两块又是本课开局就要用的（分析）。

要自查的三样：

• 一张证明连接词卡：因此、从而、假设、不妨设等各配功能说明。
• 一份排列组合基础练习：开局两周就要用。
• 一张量词顺序图：对任意、存在两种顺序各画一遍。

学完能做什么？

学完你能操作数系统、掌握集合与量词及函数与关系的语言、熟悉多种证明方法与风格。

三条预期学习成果（照实）：操作数系统并发展对其性质的熟练（照实）；学习集合与量词、函数与关系的语言（照实）；熟悉多种证明方法与风格（照实）。

三条的核心是「语言＋方法」（分析）：集合、量词、函数、关系是数学的语言系统（分析）——证明方法是数学的推理系统（分析）——两套都上手，后面的分析、代数、数论才走得动（分析）。

阅读清单照实（分析）：学校官网未列具体书目，只指向 Talis 平台的阅读清单（照实）——一本「证明入门」类教材与本课精神高度对齐（分析）。

直接能力（分析）：数学语言系统（分析）、证明方法论（分析）、基础抽象结构（分析）、密码学的入口（分析）——这是后续课程的通行证：分析课要量词、代数课要商结构、数论课要模运算，三门都在等这门课打底（分析）。

去向层面（分析）：数学学位的基础层（一切后续的地基）（分析）；密码学与信息安全方向（RSA 块是入口）（分析）；计算机科学理论方向（逻辑与算法复杂度）（分析）；量化金融（证明思维训练）（分析）。

一条判断（分析）：这门课最耐用的是证明直觉（分析）——此后看到任何断言，数学的也好、生活的也好，都会自动问：前提是什么、证明在哪、反例找得到吗（分析）——逻辑免疫力是一切理性工作的底层装备（分析）。

难点与常见挂因

大一核心、范式转变、语言双关，坑集中在十处：跳步证明、量词序、归纳结构、定义操作化、数学英语阅读、英语写证明、课纲错位、Moodle 轻敌、辅导课口语、考前突击。

十处里，前四处是数学本身的门槛，后六处是语言与节奏的门槛；前者靠模板与图画解决，后者靠每日练习与提前补课解决。

一、从计算到证明的范式转变

中学数学求出答案，这门课论证为什么（分析）——这一步是文体革命，不是门槛升级（分析）。

为什么卡：每一步都要有理由、不能跳步、不能用「显然」（分析）——而中学的写法恰恰习惯了「显然」（分析）。

卡在哪：作业批注里反复出现「justify」（分析）。

卡了会怎样：证明题拿不到步骤分（分析）——而八成的分数在闭卷证明题上（分析）。

怎么补：每步写理由：引用定义或定理编号（分析）——理由在场为准（分析）。

二、量词的精确操作

对任意与存在两个量词嵌套时，顺序决定意义（分析）——连续性定义就是量词顺序的典范（分析）。

为什么卡：「对任意 ε 存在 δ」意味着 δ 依赖 ε（分析）——反过来则只需一个万能 δ（分析）——两者完全不同（分析）。

卡在哪：量词位置互换而不自知（分析）——定义写反（分析）。

卡了会怎样：逻辑块失分，后续分析课也跟着痛苦（分析）。

怎么补：给每个量词序画「对手游戏」图：谁先选、谁后选（分析）——三种顺序能画对为准（分析）。

三、归纳法的结构

中学的归纳法只是公式化操作（分析）——这里的归纳是一个逻辑结构（分析）。

为什么卡：归纳步是「假设 P(k) 推 P(k+1)」，不是证明 P(k)（分析）——搞混了，整题错（分析）。

卡在哪：漏基例，或归纳假设用错（分析）。

卡了会怎样：归纳题被扣程序分（分析）。

怎么补：用三件套模板：基例、假设、步骤，逐项检查（分析）——三件齐备为准（分析）。

四、抽象定义的操作化

等价关系、商集、同余类是第一批「定义在定义上」的结构（分析）——不能再依赖直觉图像（分析）。

为什么卡：必须回到定义本身逐条对照（分析）——而直觉在这里会骗人（分析）。

卡在哪：商集的良定性证明写不出来（分析）——「看似显然但要证」（分析）。

卡了会怎样：关系块整段失分（分析）。

怎么补：把「代表元选取不影响结果」这句话补成完整证明（分析）——写完一遍为准（分析）。

五、数学英语的阅读

定义、定理、证明的英语句式高度模式化（分析）——但初见时是文体壁垒（分析）。

为什么卡：中文数学语言已经固化（分析）——英文逻辑连接词一多就跟不上（分析）。

卡在哪：课本证明读到第三行就断了（分析）。

卡了会怎样：预习失效，课堂也跟不上（分析）。

怎么补：备证明连接词卡：因此、从而、由此可得、假设、不妨设（分析）——二十词即时反应为准（分析）。

六、用英语写证明

每周作业要写证明（分析）——想通和写清是两件事（分析）。

为什么卡：写成散文太冗，写成符号堆又没有衔接（分析）——数学写作要的是简洁与功能（分析）。

卡在哪：导师批语言问题，而不是逻辑问题（分析）。

卡了会怎样：表达扣分，且逻辑看起来也不清（分析）。

怎么补：模仿课本证明的句式写三道题，请导师批语言（分析）——三次批改为准（分析）。

七、A-Level 与国内课纲的错位

本课预设 A-Level 数学基础（分析）——排列组合与模运算正是国内课纲的弱项（分析）。

为什么卡：开局两周就要用（分析）——没补就直接掉队（分析）。

卡在哪：计数块前两周作业正确率低（分析）。

卡了会怎样：整门课从开局就落后（分析）。

怎么补：开课前两周自学排列组合与模运算基础（分析）——前两周作业过七成为准（分析）。

八、Moodle 测验的轻敌

多选题占 15%，看着像送分（分析）——实际考的是定义细节（分析）。

为什么卡：自认为懂了，选项一设套就错（分析）。

卡在哪：测验均分低于作业分（分析）。

卡了会怎样：概念漏洞留到闭卷考暴露（分析）。

怎么补：每次测验后精读错题，回到定义原文（分析）——错题清零为准（分析）。

九、辅导课的口语数学

小班辅导要当堂讲题（分析）——开口用英语说数学是另一项技能（分析）。

为什么卡：心里明白，嘴上卡壳（分析）——「这个证明的第一步是……」说不顺（分析）。

卡了会怎样：辅导效果打折，问题也没问出来（分析）。

怎么补：每次辅导前预讲一道题，录音一分钟（分析）——预讲三轮为准（分析）。

十、考前突击的失效

数学技能靠积累，闭卷考尤其如此（分析）——一周突击换不来手写证明的熟练（分析）。

为什么卡：高中习惯考前冲刺（分析）——这里冲刺只能覆盖记忆型内容（分析）。

卡在哪：考前两周才开始做题（分析）。

卡了会怎样：八成的闭卷考成片失分（分析）。

怎么补：每周一题作业加隔周测验，按周推进（分析）——每天固定练习时段为准（分析）。

留学生特别提醒

中国学生最容易在六处吃亏：英语证明读不动、证明写不地道、量词序搞反、归纳结构不全、排列组合与模运算开局掉队、把 Moodle 当送分。

• 做二十词证明连接词卡，配中文功能说明：读证明不断线。
• 模仿课本句式写三道证明，请导师批语言：写得地道。
• 画量词顺序图：谁先选谁后选：定义不写反。
• 归纳题用三件套模板检查：基例、假设、步骤：结构不缺。
• 开课前两周补排列组合与模运算：开局不掉队。
• 每次 Moodle 测验后精读错题、回归定义：概念不留洞。

怎么准备？

准备的关键是三条：语言先过关、证明先动笔、缺口先补上。

• 读一本证明入门教材的前两章：先认证明文体。
• 做证明连接词卡：二十词配中文功能说明。
• 练排列组合与模运算：开局两周就要用。
• 画量词顺序图：三种顺序各画一遍。
• 归纳三件套模板写十题：基例、假设、步骤。
• 预讲练习：每次辅导课前录音一分钟讲一道题。
• 查阅读清单：清单在 Talis 平台。
• 排每周节奏：一题作业、隔周一测。
• 准备补考口径：补考纯闭卷 100%，平时分不带。

中英术语速查

• set —— 集合。
• subset —— 子集。
• function —— 函数。
• injection / surjection / bijection —— 单射／满射／双射。
• permutation / combination —— 排列／组合。
• union / intersection / difference —— 并／交／差。
• composition —— 复合。
• cardinality —— 基数。
• Cantor–Bernstein theorem —— 康托尔-伯恩斯坦定理。
• equivalence relation —— 等价关系。
• quotient set —— 商集。
• well-defined —— 良定义。
• congruence —— 同余。
• modular arithmetic —— 模运算。
• truth table —— 真值表。
• quantifier —— 量词。
• universal quantifier（∀） —— 全称量词。
• existential quantifier（∃） —— 存在量词。
• direct proof —— 直接证明。
• proof by contradiction —— 反证法。
• proof by contrapositive —— 逆否证明。
• proof by induction —— 数学归纳法。
• base case / inductive step —— 基例／归纳步。
• pigeonhole principle —— 鸽笼原理。
• Euclidean algorithm —— 欧几里得算法。
• Chinese remainder theorem —— 中国剩余定理。
• discrete logarithm —— 离散对数。
• public-key cryptography —— 公钥密码。
• RSA —— RSA 加密算法。

关于我们

鱼之跃做在读留学生的学业支持，服务分两块，界限很清楚：

辅导＝老师授课：由 QS 前 200 院校的硕博老师把课程的知识点、推导链、作业要求讲透，按对口专业配课；覆盖同步辅导、论文辅导、考前辅导、预习。

护航＝你的学业管家：排计划、理材料、理流程这些杂事都替你打点好，该提前准备的他先想到；你只管学，有事随时找，需要时都在。同地区的留学学姐，熟悉你所在学校的节奏。

学术问题上的申诉，我们做材料梳理与流程陪跑，不代写、不代考、不碰学术诚信边界，也不承诺任何成绩。

课程官网与核对说明

课程官网（学校官网）：https://warwick.ac.uk/study/modules/MA132

本文涉及学校、开课单位（华威数学研究所）、模块代码、课程名称、学分（10 CATS）、层级（本科 Level 1）、模块负责人（Gavin Brown）、课长（10 周）、授课地点（华威主校区）、课程简述原句（大学数学逐步引入更抽象的观念与结构、要求更多证明；证明是数学中「知道」事情的方式，数学的力量与丰富正体现在其证明中）、课程目标（学习处理抽象与证明需要时间，本课旨在弥合中学与大学数学的鸿沟，从强调计算的具体技术开始、逐渐走向抽象与证明）、学习成果（操作数系统并熟练其性质／学习集合与量词、函数与关系的语言／熟悉多种证明方法与风格）、考核（Moodle 测验 15%，学期内多次多选题、可自证延期；中心排考考试 85%，闭卷、粉色答题册 12 页；补考为现场考试 100%；无需通过全部考核组件即可通过模块；反馈为测验判分并在考试后反馈）、先修（无正式先修要求；为九个数学学位项目第一年的核心必修）、阅读清单（学校官网未列具体书目，指向 Talis 平台）等事实，均来自上述学校官网模块目录页；核对时间为 2026-11-03。学习投入与每周用时的具体数字未采用。文中标「（分析）」的句子为基于官网事实的推导或判断，不代表学校官方表述；「适合谁、怎么准备」等属学习建议。本文只写课程结构、考核方式与学习方法，不含任何成绩承诺与引流信息。

← 学业指南首页课程库