诺丁汉 COMP1001《计算机科学家数学 1》：作品集 25% ＋ 现场考试两小时 75%

诺丁汉 COMP1001：写软件背后那五块数学——布尔代数、初等数论、集合函数与关系、组合计数、自然数归纳，一学期装完。

10 学分、Level 1，秋季学期面授；仅面向计算机科学学院一年级学生；作品集 25% ＋ 现场考试两小时 75%，补考为 100% 考试。

COMP1001 是一门什么课？

一句话：这门课补的是计算机学位的数学底子——五种工具，后面算法、数据库、密码学、计算理论都会回来找它们。

学校官网的说明（照实）：本课覆盖与计算机软件开发相关的基础数学概念（照实）——主题五项：布尔代数；初等数论；集合、函数与关系；组合计数；自然数的简单归纳（照实）——开课目的是为计算机学位课程提供所需的基础数学技能（照实）。

五块各管一件事（分析）——布尔代数：逻辑条件与电路的运算规则，程序里的条件合并化简全靠它（分析）、数论：给编码与加密打整数底子，模运算就在这里（分析）、集合、函数与关系：数据建模与数据库的语言（分析）、组合计数：算法复杂度与概率的分母（分析）、归纳法：证明递归与循环正确性的基本工具（分析）。

五块互相咬合（分析）：计数要用集合的语言、归纳在自然数上走、数论的整除论证本身就是逻辑推理的练习（分析）——前面学不牢，后面会连锁卡（分析）。

这门课有一处考核结构要留意（分析）：作品集只占四分之一，成绩最终由闭卷现场考说了算（照实）——而补考只有考试一条通道（分析）——没有过程分可捞（分析）。

和国内《离散数学》有什么不同？

国内离散数学通常讲得更全（分析）：图论、代数结构、命题逻辑都在一起，一学期甚至两学期（分析）——这门课只取软件最常用的五块（分析）——范围窄、密度高、练题重（分析）。

第二处是形式训练（分析）：学习成果第一条是「定义基本数学概念、定义与记号并应用」（照实）——用英文把定义写准确，本身就是考点（分析）。

第三处是考核权重（分析）：小比例过程分加大比例闭卷（分析）——考场强的人占便宜（分析）。

考核怎么算？

两件：作品集与现场考试。

四处结构判断：

第一，七成半在考场上。（分析）作品集做得再好也只有四分之一（分析）——考场崩就等于课挂（分析）。

第二，补考只考不补作业。（分析）没有过程分可捞（照实）——所以第一次就要把考试准备好（分析）。

第三，定义题是送分也可能是丢分。（分析）第一条学习成果直接对应定义复述（分析）——背不准就白丢（分析）。

第四，考前两周突击最危险。（分析）权重结构惩罚临时抱佛脚（分析）——平时每周练题才是正路（分析）。

先修要求是什么？

门槛是学院与年级（分析）：

• 对象（照实）：仅面向计算机科学学院 Level 1 学生（照实）。
• 学术先修：学校官网未列学术先修条目（照实）——无数学或编程门槛（分析）。
• 实际需要（分析）：中学代数与基本逻辑即可（分析）——不需要微积分，也不需要编程（分析）。

中国学生的中学数学底子直接够用（分析）：尤其排列组合（分析）——真正要补的是用英文写定义与证明的形式训练（分析）。

要自查的三样：

• 一份学院年级确认：是否属计算机学院 Level 1。
• 一张定义卡：五块各三个核心定义，英文原文照抄。
• 一份周练计划：每周固定做题时段。

学完能做什么？

学完你能把基本数学概念、定义与记号写准确并拿来解题、能读懂并运用简单逻辑推理、能用数学而不是拍脑袋解决问题。

三条预期学习成果（照实）：定义基本数学概念、定义与记号，并应用于多种数学问题（照实）；理解并应用简单逻辑推理（照实）；运用数学解决问题（照实）。

第一条是考法核心（分析）：定义、记号、应用三层，定义复述题就出在这里（分析）——第三条落在解题上，作品集与考试都考（分析）。

教学形态照实（分析）：每周讲授新内容，另有一次习题、实践或演示（照实）——课外自学包括做在线练习、查补没懂的内容与准备考试（照实）。

资源与书单未提及（照实）：学校官网未列任何教材或书目，材料另置学习平台（分析）——主粮是每周练习题（分析）——这门课练题重于读书（分析）。

直接能力（分析）：形式定义与记号（分析）、逻辑推理（分析）、五块工具的解题应用（分析）——这是后续算法、数据库、密码学与计算理论的前置语言：算法课要计数与归纳、数据库要集合与关系、密码学要数论、计算理论要逻辑（分析）。

去向层面（分析）：计算机学位后续课程（算法、数据库、密码学、计算理论）（分析）；数据分析与工程岗位的形式化基础（分析）；安全与密码方向（数论直接对口）（分析）；任何需要把需求写成精确定义的岗位（分析）。

一条判断（分析）：这门课最耐用的是把话说准的习惯（分析）——定义写不准，程序里的边界条件就写不对（分析）——计算机里很多 bug，本质上是一个定义没写清（分析）——而这门课的五块，恰好都是那种「差一个字就全错」的东西（分析）。

难点与常见挂因

一年级入门、五块密度高、闭卷权重七成半，坑集中在十处：布尔化简、数论同余、集合语言、计数的模型、归纳结构、英文定义、练题量、作品集轻敌、考场书写、突击备考。

十处里，前五处是五块数学各自的坎，后五处是语言、节奏与考试形态的坎；前者靠每块学完当周练题解决，后者靠定义卡与限时模拟解决。

五块之间有咬合：集合的语言没立起来，计数与归纳的题就读不顺；数论的同余一乱，逻辑推理也跟着错。所以每块都不能欠账。

一、布尔代数的化简

与、或、非的运算规则（分析）——程序里的条件合并全靠它（分析）。

为什么卡：真值表会画，化简不会（分析）——而化简题给分点密集（分析）。

卡在哪：条件式被越写越长（分析）。

卡了会怎样：逻辑题与化简题同时失分（分析）——而这两类题在闭卷卷面上出现得很稳（分析）。

怎么补：每天做三道化简，写出用了哪条律（分析）——写完再用真值表验证一次，两条路对得上才算过（分析）——三条律能指名道姓为准（分析）。

二、数论的同余运算

整除与同余（分析）——模运算是加密与哈希的地基（分析）。

为什么卡：同余的等式性质与普通等式不同（分析）——除法尤其不能随便做（分析）。

卡在哪：同余式两边直接约掉一个数（分析）。

卡了会怎样：整题错（分析）——而同余题往往一步错、后面全错（分析）。

怎么补：把同余的运算法则逐条抄一遍，配反例（分析）——尤其把「什么时候不能约」写成一条醒目的提醒（分析）——能举出不能约的反例为准（分析）。

三、集合、函数与关系的语言

这是数据建模的语言（分析）——也是后面关系代数与数据库的底子（分析）。

为什么卡：符号多、写法严（分析）——一个量词位置错了意思就变（分析）。

卡在哪：定义里量词顺序颠倒（分析）。

卡了会怎样：定义题直接扣分（分析）——而定义题是最容易拿分、也最容易被忽视的一类（分析）。

怎么补：每个定义抄原文一遍，再自己写一遍（分析）——两遍一致为准（分析）。

四、组合计数的模型

数清楚一共有多少种情况（分析）——有序无序、放回不放回（分析）。

为什么卡：模型选错，答案全错（分析）。

卡在哪：读完题不确定该用排列还是组合（分析）。

卡了会怎样：计数题成片丢分（分析）。

怎么补：每题先写一句「有序还是无序、放回还是不放回」（分析）——模型声明为准（分析）。

五、自然数归纳的结构

证明「对每个自然数都成立」的标准方法（分析）——基例加归纳步，缺一不可（分析）。

为什么卡：漏基例，或者把归纳假设当结论用（分析）。

卡在哪：证明写成循环论证（分析）。

卡了会怎样：证明题被判为不成立（分析）——证明不是看结论对不对，而是看每一步站不站得住（分析）。

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

六、英文定义与记号

第一条学习成果就是「定义、记号并应用」（照实）——用英文写准定义本身是考点（分析）。

为什么卡：中文理解了，英文写不出（分析）——而定义题要原文式的准确（分析）。

卡在哪：定义里漏掉一个条件（分析）。

卡了会怎样：白丢定义分（分析）。

怎么补：做定义卡：五块各三个核心定义，英文原文照抄（分析）——抄完遮住原文默写一遍，对不上的再抄一次（分析）——能默写为准（分析）。

七、练题量

这门课练题重于读书（分析）——每周习题是唯一有效的学习方式（分析）。

为什么卡：只看讲义不做题（分析）——看懂与会做之间隔着题量（分析）。

卡在哪：考前才发现题型没见过（分析）。

卡了会怎样：考场时间不够（分析）。

怎么补：每周固定做题时段，每类题五道（分析）——做题时手写全过程，不只在脑子里过（分析）——五类各五道为准（分析）。

八、作品集的轻敌

作品集占两成半（照实）——是过程分，也是练习机会（分析）。

为什么卡：觉得占比小就随便交（分析）。

卡在哪：作品集分数低，期末压力全压到考试（分析）。

卡了会怎样：七成半那一件失手就没退路（分析）。

怎么补：作品集当模拟考做，每题写完整过程（分析）——错的地方记下来，正好是期末的重点复习清单（分析）——完整过程为准（分析）。

九、考场书写

两小时闭卷，定义、证明与计算混合（分析）——写得慢就做不完（分析）。

为什么卡：平时不做限时练习（分析）。

卡在哪：最后一道题空白（分析）。

怎么补：每周一次限时两小时模拟（分析）——先做定义题热身，再做计算与证明，最后回头补空题（分析）——模拟完成度为准（分析）。

十、突击备考

权重结构惩罚临时抱佛脚（分析）——七成半在一场考试上（分析）。

为什么卡：习惯考前两周集中（分析）——而五块内容装不下（分析）。

卡在哪：考前才发现数论与计数都没练（分析）。

卡了会怎样：考场成片空白（分析）。

怎么补：按周推进，每块学完当周练完（分析）——每块留一张「已过关」的自查条：定义会写、题型见过、错题清零（分析）——块块过关为准（分析）。

留学生特别提醒

中国学生最容易在六处吃亏：英文定义写不准、同余乱约分、计数模型选错、归纳漏基例、只听课不做题、把作品集当小事。

• 做定义卡，五块各三个核心定义英文照抄：定义分不丢。
• 同余法则逐条配反例：不乱约分。
• 每题先写「有序无序、放回不放回」：模型不错。
• 归纳用三件套模板检查：基例不漏。
• 每周固定做题，每类五道：题量到位。
• 作品集当模拟考做：过程分与练习一起拿。

怎么准备？

准备的关键是三条：定义先背准、题型先见全、速度先练出来。

• 读课程说明与五块主题清单：先有地图。
• 做定义卡：五块各三个核心定义。
• 每块学完当周做题：不让欠账滚雪球。
• 归纳三件套模板写十题：结构成习惯。
• 计数题先声明模型：有序无序先分清。
• 每周一次限时两小时模拟：考场不慌。
• 作品集按模拟考标准写：过程分拿满。
• 确认学院年级资格：仅计算机学院 Level 1。

中英术语速查

• boolean algebra —— 布尔代数。
• truth table —— 真值表。
• logical connective —— 逻辑联结词。
• tautology —— 重言式。
• number theory —— 数论。
• divisibility —— 整除。
• congruence —— 同余。
• modular arithmetic —— 模运算。
• prime number —— 素数。
• greatest common divisor —— 最大公因数。
• set —— 集合。
• subset —— 子集。
• function —— 函数。
• relation —— 关系。
• domain / codomain —— 定义域／陪域。
• injective / surjective / bijective —— 单射／满射／双射。
• equivalence relation —— 等价关系。
• combinatorial counting —— 组合计数。
• permutation —— 排列。
• combination —— 组合。
• pigeonhole principle —— 鸽笼原理。
• induction —— 归纳法。
• base case —— 基例。
• inductive step —— 归纳步。
• definition —— 定义。
• notation —— 记号。
• proof —— 证明。
• portfolio —— 作品集。
• in-person exam —— 现场考试。

关于我们

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

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

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

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

课程官网与核对说明

课程官网（学校官网）：https://campus.nottingham.ac.uk/psc/csprd_pub/EMPLOYEE/HRMS/c/UN_PROG_AND_MOD_EXTRACT.UN_PLN_EXTRT_FL_CP.GBL?PAGE=UN_CRS_EXT4_FPG&CAMPUS=U&TYPE=Module&YEAR=2026&TITLE=Mathematics%20for%20Computer%20Scientists%201&MODULE=COMP1001&CRSEID=007178&LINKA=%25&LINKB=COMP%25&LINKC=%25

本文涉及学校、模块代码、课程名称、学分（Total credits 10.00）、层级（Level 1）、学期（秋季学期 Autumn UK）、授课形态（面授 Face to Face）、模块负责人（Yancong Lin 与 Jason Atkin）、课程内容（覆盖与计算机软件开发相关的基础数学概念；主题五项：布尔代数、初等数论、集合函数与关系、组合计数、自然数的简单归纳）、开课目的（为计算机学位课程提供所需基础数学技能）、三条预期学习成果（定义基本数学概念与记号并应用于多种数学问题／理解并应用简单逻辑推理／运用数学解决问题）、教学方式（每周讲授新内容，另有一次习题、实践或演示；课外自学含在线练习、查补内容与备试）、考核（Assessment 1 作品集 25%，含若干数学题；Exam 1 现场考试两小时 75%；补考为 100% 考试，形式为现场两小时）、选课限制（仅面向计算机科学学院 Level 1 学生）、先修（学校官网未列学术先修条目）、书单（学校官网未列教材或书目，材料另置学习平台）等事实，均来自上述学校官网课程目录页；核对时间为 2026-11-03。该页当前对自动抓取返回拦截码，链接与卡内 provenance 完全一致，凭 raw 存档核验通过（该 URL 于 2026-10-30 抓取时为 HTTP 200、63,031 B），上线后 24 小时内补测。学习投入与课堂时数的具体数字未采用；作品集占比、考试时长与补考形式属考核规格，照实保留。文中标「（分析）」的句子为基于官网事实的推导或判断，不代表学校官方表述；「适合谁、怎么准备」等属学习建议。本文只写课程结构、考核方式与学习方法，不含任何成绩承诺与引流信息。

← 学业指南首页课程库