2026/27 · 官方课程目录版本
该 PDF 文件注明的生效学期为 Semester A 2026/27。
2026/27 开课安排尚未核对。选课前请在 AIMS 确认可选课节。
这门课学什么
港真课程概览
以数系、集合与逻辑推理建立数字技术基础，讨论数值表示、布尔运算和证明方法，并衔接离散数学结构。
- 课程简介
- This course is aimed at providing students with an understanding of the basic mathematical and fundamental concepts required for Foundations of Digital Techniques.
校方 PDF 第 2 页 · Abstract
- 课程内容
- Numbers Number Systems: Integers, rational numbers, real numbers; Number representation methods: signed and unsigned binary numbers, hexadecimal, binary coded decimal, fixed-point numbers, floating-point numbers; binary arithmetic, floating- point arithmetic. Sets Sets, subsets, cardinality, set operations: union, intersection, complement; Venn diagrams, Cartesian product, power sets. Logic Logic connectives, truth tables, conditionals, necessary and sufficient conditions, validity and soundness of arguments, rules of inference, universal and existential quantifiers, nested quantification, De Morgan's Laws, logic gates, simple logic circuits. Functions Definition of functions, injection, surjection, bijection, inverse functions, composition of functions; polynomial and rational functions, exponential and logarithmic functions, graphs of functions, growth of functions, big-O notation. Methods of Proof Direct proof methods, counter-examples, indirect proof methods: contradiction and contraposition, mathematical induction. Sequences and Series Explicit formula for sequences, summation and product notation, arithmetic series, geometric series, recursive definition of sequences, solving simple recurrence relations. Counting Combination, permutation, the Binomial Theorem, the inclusion-exclusion principle, the pigeon-hole principle.
校方 PDF 第 5 页 · Keyword Syllabus
- 教学内容（Keyword Syllabus）
- Numbers Number Systems: Integers, rational numbers, real numbers; Number representation methods: signed and unsigned binary numbers, hexadecimal, binary coded decimal, fixed-point numbers, floating-point numbers; binary arithmetic, floating- point arithmetic. Sets Sets, subsets, cardinality, set operations: union, intersection, complement; Venn diagrams, Cartesian product, power sets. Logic Logic connectives, truth tables, conditionals, necessary and sufficient conditions, validity and soundness of arguments, rules of inference, universal and existential quantifiers, nested quantification, De Morgan's Laws, logic gates, simple logic circuits. Functions Definition of functions, injection, surjection, bijection, inverse functions, composition of functions; polynomial and rational functions, exponential and logarithmic functions, graphs of functions, growth of functions, big-O notation. Methods of Proof Direct proof methods, counter-examples, indirect proof methods: contradiction and contraposition, mathematical induction. Sequences and Series Explicit formula for sequences, summation and product notation, arithmetic series, geometric series, recursive definition of sequences, solving simple recurrence relations. Counting Combination, permutation, the Binomial Theorem, the inclusion-exclusion principle, the pigeon-hole principle.
校方 PDF 第 5 页 · Keyword Syllabus
- 预期学习成果
查看学习成果表
CILO 预期学习成果 比重 DEC 1 Explain abstract mathematical concepts (e.g., logic, sets, and functions) fundamental to digital technologies. — DEC-A1, DEC-A2 2 Apply inference rules and/or methods of proof to determine and demonstrate the truth or falsity of propositions. — DEC-A1, DEC-A2 3 Describe how numbers are represented in binary form and demonstrate how digital systems perform arithmetic operations. — DEC-A1, DEC-A2 4 Apply combinatorial methods to solve counting problems. — DEC-A1, DEC-A2 5 Implement simple combinatorial logic circuits. — DEC-A1, DEC-A2 原表及说明
Course Intended Learning Outcomes (CILOs) CILOs Weighting (if DEC-A1 DEC-A2 DEC-A3 app.) 1 Explain abstract mathematical concepts (e.g., x x logic, sets, and functions) fundamental to digital technologies. 2 Apply inference rules and/or methods of proof x x to determine and demonstrate the truth or falsity of propositions. 3 Describe how numbers are represented in x x binary form and demonstrate how digital systems perform arithmetic operations. 4 Apply combinatorial methods to solve counting x x problems. 5 Implement simple combinatorial logic circuits. x x A1: Attitude Develop an attitude of discovery/innovation/creativity, as demonstrated by students possessing a strong sense of curiosity, asking questions actively, challenging assumptions or engaging in inquiry together with teachers. A2: Ability Develop the ability/skill needed to discover/innovate/create, as demonstrated by students possessing critical thinking skills to assess ideas, acquiring research skills, synthesizing knowledge across disciplines or applying academic knowledge to real-life problems. A3: Accomplishments Demonstrate accomplishment of discovery/innovation/creativity through producing /constructing creative works/new artefacts, effective solutions to real-life problems or new processes.校方 PDF 第 2 页 · Course Intended Learning Outcomes (CILOs)
校方 PDF 第 2 页 · Course Intended Learning Outcomes (CILOs)
我能不能修这门课
先修、建议先备和并修要求分别查看；等同及互斥条件也会影响选课。and 表示同时满足，or 表示备选；组合条件按下方原文分组阅读。
- 先修条件
- 无（校方注明 Nil）
- 建议先备知识
- 无（校方注明 Nil）
- 并修要求
- 该版官方课纲未列明该项。
- 其他修读要求
- 该版官方课纲未列明该项。
- 等同课程及条件
- 无（校方注明 Nil）
- 互斥课程及条件
- 无（校方注明 Nil）
怎么考，怎样才算通过
- 考核方式
- Continuous assessment: 30%; Examination: 70%; Examination duration: 2 hours
各项考核占多少分
考核项目 比重 生成式 AI 使用 备注与限制 TestsCILO 1, 2, 3, 4 20% 否（No） - AssignmentsCILO 1, 2, 3, 4 5% 是（Yes） - Lab Exercises/ReportsCILO 5 5% 是（Yes） - 校方 PDF 第 2–3 页 · Assessment Tasks / Activities (ATs)
查看校方原始考核表与使用要求
Assessment Tasks / Activities (ATs) ATs CILO No. Weighting (%) Remarks Allow Use of GenAI? 1 Tests (min.: 2) 1, 2, 3, 4 20 - No 2 #Assignments 1, 2, 3, 4 5 - Yes (min.: 3) 3 Lab Exercises/ 5 5 - Yes Reports Continuous Assessment (%) 30 Examination (%) 70 Examination Duration (Hours) 2 Minimum Continuous Assessment Passing Requirement (%) 30 Minimum Examination Passing Requirement (%) 30 Additional Information for ATs Remark: To pass the course, students are required to achieve at least 30% in the coursework and 30% in the examination. Also, 65% laboratory attendance rate must be obtained. # may include homework, tutorial exercise, project/mini-project, presentation, lab report 3 Lab Exercises/ 5 5 - Yes Reports - 通过条件
- Remark: To pass the course, students are required to achieve at least 30% in the coursework and 30% in the examination. Also, 65% laboratory attendance rate must be obtained. # may include homework, tutorial exercise, project/mini-project, presentation, lab report
学分、时长与版本信息
- 本版本课程名称
- Foundations of Digital Techniques
- 本版本学分
- 3
- 修读时长
- One Semester
- 课纲生效学期
- Semester A 2026/27
- 课纲列明的级别
- B1, B2, B3, B4 - Bachelor's Degree
核对官方原文件
可通过下方校方链接阅读或下载该版原始 PDF。 EE1001 · 打开校方原始 PDF ↗
来源 · 校方课程介绍 ↗ · 查阅 2026-10-18