Skip to content

MIEC-NOTE

Main Navigation Home

Semester 1

About

Semester 2

Semester 3

Semester 4

Appearance

Sidebar Navigation

README

Semester 1

About

CS161FZ 计算机科学导论 1

二进制的加减法和乘法

二维数组

关键字与运算符

关于 Java 的 Hello world 解析

计算机基础结构

数据类型转换

数据输入（控制台）

文件

文件系统和 Cluster 等概念

一点基本的网络知识

一维数组

异常处理

字符串

IEEE 754

Java 变量基础知识

Java 随机数

EE103FZ 数字系统 1

1. Binary Number Representation

2. Boolean Logic and Basic Gates

3. Boolean Minimisation Using Boolean

4. Boolean Minimisation Using Karnaugh Maps

5. Implementation Using NAND NOR Gates

6. Sequential Logic & Flipflops

7. Counters & Registers

8. Multi-Output Networks & 7-Segment Displays

9. Programmable Logic Devices

EE121FZ 电子工程基础

9.13 Electrostatics

9.13 Introduction to EE121FZ

9.24 Voltage, Current and Resistance

9.27 Voltage, Current and Resistance

10.4 Kirchhoff's Law

10.25 Maximum Power Transfer Theorem

11.1 Basic Circuit Theory 1

11.8 Basic Circuit Theory 2

11.29 Generation and Distribution

11.29 Other Basic Components

12.6 Introduction to Telecoms

12.6 Signals Noise

12.6 Signals Radio Propagation - DK

12.13 Analog & Digital Signals

12.13 Channel Capacity

12.xx Modulation Multiplexing

Semester 2

About

CS162FZ 计算机科学导论 2

Lecture 1 intro & revision

Lecture 2&3 Methods

Lecture 4 Regular Expression

Lecture 5&6 递归

Lecture 8 有限状态机 Finite State Machine

Lecture 10 排序和搜索算法

Lecture 11 Advanced Machine Learning（不考）

Lecture 12 Classes Objects

Lecture 13 Inheritance

Lecture 14 图灵机 Turing Machine

CS172FZ 计算机系统 2

side 11 谓词逻辑模型和有效性

slide 1：课程大纲

slide 2：推理

slide 3：命题逻辑

slide 4：命题逻辑：有效的推理

slide 5 Expressiveness

slide 6 集合论：定义集合

slide 7 三段论推理 Syllogistic Reasoning

slide 8 Relations 关系

slide 9 Classifying relations 关系分类

slide 10 谓词逻辑 Predicate Logic

slide 12 自然演绎（natural deduction）

slide 13 量词的自然演绎

slide 14 函数 Functions

slide 15 势 Cardinality（有限集）

slide 16 势 Cardinality（无限集）

slide 17 Transfinite Cardinals 超限势

CS210FZ 算法与数据结构 1

Overview

T00. Course Logistics

T01. Introduction

T02. Programming Revision

T03. Methods and Objects

T04. Arrays and Array Algorithms

T05. Big O Notation

T06. Sorting Algorithms

T07. Stacks and Queue

T08. Linked Lists

T09. Recursion

T10. Bit Manipulation

Semester 3

About

CS130FZ 数据库

Lecture 0

Lecture 1

Lecture 2 Introduction to Data Modelling and Database Design

Lecture 3 Structured Query Language

Lecture 4 More Advanced Usage of SQL

Lecture 5 Entity Relationship Modelling 实体关系模型

Lecture 6 More Advanced Pattern Matching 高级模式匹配

Lecture 7. Creating Tables and Inserting Data in PostgreSQL 创建表和插入数据

Lecture 8. Working with Dates and Times in PostgreSQL 日期和时间的使用

Lecture 9. Data Security, DA, DBA 数据安全与管理

Lecture 10. Working with Primary Keys 主键的使用

Lecture 11-12. Table Aliases, Working with Functions in SQL and PostgreSQL 表别名、函数

Lecture 13. Deleting and Altering Data in a Database 删除和修改数据

Lecture 14. Altering Data in a Database TABLE 修改表

Lecture 15. The `HAVING` Operator, The `LIMIT` Operator, Table Constraints 运算符 `HAVING`、运算符 `LIMIT`、表限制

Lecture 16. REFERENTIAL INTEGRITY in JOINS, CASCADING DELETE and UPDATE operations 级联删除、级联更新和 JOIN 的参照完整性

Lecture 17. Relational Algebra and Query Planning in SQL and More Referential Integrity 关系代数、查询过程、参照完整性

Lecture 18. Tables as Sets in SQL 表集合

Lecture 19. SQL Injection Attack and Types of JOINS in SQL 注入攻击与 Join 的种类

Lecture 20. Normalization in Databases 数据库标准化

CS220FZ 计算机结构 1

阅读 CSAPP 关于算术运算的笔记

Chaper 2 Part 1 Boolean Algebra 布尔代数

Chapter 1 Number System 进制和数的表示

Chapter 2 Part 2 一些硬件知识

Chapter 2 Part 3 卡诺图

Chapter 2 Part 4 一大堆硬件电路（组合逻辑）

Chapter 3 Part 1 触发器 flip flop

Chapter 3 Part 2 触发器的应用以及时序逻辑电路设计

Chapter 3 Part 3 算术运算

Chapter 4 Part 1

Chapter 4 Part 2

Chapter 4 Part 3

Chapter 5, 6, 7

Overview

CS265FZ 软件测试

安排

Lecture 0. Overview

Lecture 1. Perspectives and Concepts

Lecture 2. Perspectives and Concepts

Lecture 3. Equivalence Class Testing

Lecture 4. Boundary Value Testing

Lecture 5. Combinational Testing

Lecture 6. Random Testing and Error Guessing

Lecture 7. Structural Testing - Statement Coverage 结构测试 - 语句覆盖

Lecture 8. Branch Coverage 分支覆盖

Lecture 9. Conditon Coverage 条件覆盖（没听懂）

Lecture 10. Path Coverage 路径覆盖（旷课了）

Lecture 11. Dataflow Coeverage 数据流覆盖

Lecture 12. Mutation Testing 变异测试

Lecture 13. Unit Testing - Object Oriented Software 面向对象软件的单元测试

Lecture 14. Integration Testing 集成测试

Lecture 14. System Testing 系统测试

Lecture 16. Software Test Automation 软件测试自动化

Lecture 17. Testing in the Software Progress 软件过程中的测试

CS355FZ 计算理论

L0. 概括 Overview

L1. 数学初步与有限状态机 Math Preliminaries & Finate State Automata

Lecture 2. 非确定型有限状态机（Nondeterministic Finite Automata）

Lecture 3. Context Free Languages 上下文无关语言

Lecture 4. Turing Machines 图灵机

Lecture 5. Decidability 可判定性

Lecture 6. Undecidability 不可判定性

Lecture 7. Reducibility 可归约性

Lecture 8. Time Complexity 时间复杂性

Lecture 9. The Class NP NP 类

Lecture 10. NP Complete NP 完全

Lecture 11. Introduction to Space Complexity 空间复杂性引入

Lecture 12. PSPACE-completeness PSPACE 完全性

Semester 4

About

CS211FZ 算法与数据结构 2

概览

Lecture 1. Foundations 基础知识

Lecture 2. Divide and Conquer 分治

Lecture 3. Hash Tables 哈希表

Lecture 4. 树

Lecture 5. 图

Lecture 6. 动态规划

Lecture 7. 贪心算法

Lecture 8. 暴力

Lecture 9. 回溯算法

Lecture 10. 密码学

Lecture 11. P、NP、NP 完全

CS230FZ Web 信息处理

概览

Chapter 4&5. HTML5 特性与编码规范

Chapter 6. CSS Part1（语法、背景、边框、留白）

Chapter 7. CSS Part2（留白、文本、字体、链接、列表、表格）

Chapter 8. CSS Part3（显示样式、位置、浮动）

Chapter 9. CSS Part4（对齐、选择器、伪类、导航条、下拉框）

Chapter 10. CSS Part5（属性选择器、动画、分页）

Chapter 11. JS Part1（引用方式、显示信息、修改元素、语法类型）

Chapter 13. DOM

Chapter 14

Lecture 1. HTML Part1（标签、CSS、格式化、引用）

Lecture 2. HTML Part2（颜色、图片、表格、列表）

Lecture 3. HTML Part3

Lecture 12. JS 对象

CS240FZ 操作系统通信和并发

概览

Lecture 2. 进程管理（26 页）

Lecture 3. 进程调度 1：非抢占式调度（24 页）

Lecture 4. 进程调度 2：抢占式调度（25 页）

Lecture 5. 进程调度 3 关于进程调度的数学建模（26 页）

Lecture 6. 磁盘操作与磁盘调度（21 页）

Lecture 7. UNIX 的进程管理与进程间通信（30 页）

Lecture 8. Unix 管道与套接字（16 页）

Lecture 9. Unix 消息队列与远程过程调用（22 页）

Lecture 10. 线程（25 页）

Lecture 11. 互斥锁问题（22 页）

Lecture 12. 解决临界区问题的算法（25 页）

Lecture 13. 信号量（23 页）

Lecture 14 生产者-消费者问题（有节缓冲问题）（21 页）

Lecture 15.16 哲学家就餐以及读者作者问题（42 页）

Lecture 17. 死锁（31 页）

Lecture 18. 引入内存管理（28 页）

Lecture 19.20 内存管理二：虚拟内存等（46 页）

Lecture 21.22.23 文件系统（71 页）

Lecture. 1 OS 概述（25 页）

CS253FZ 计算机结构 Ⅱ

概览

Lecture 1. CPU

Lecture 2. 汇编语言 Part1：寄存器与基础汇编结构知识

Lecture 3. 汇编语言 Part2：寻址模式与指令格式

Lecture 4. 汇编语言 Part3：算术、逻辑、位、转移指令

Lecture 5. 汇编语言 Part4：整数，实数，字符串

Lecture 6. 汇编语言 Part5：浮点与 8087

Lecture 7. 半导体与 PN 结二极管

Lecture 8. 晶体管和 FET

Lecture 9. IO 与中断

Lecture 10. 关于中断与 TSR 的汇编实现

Lecture 11. 内存与动态、静态 RAM

Lecture 12. 内存管理与缓存策略

Lecture 13.A 硬盘、CD-ROM

Lecture 13.B 硬件保护

Lecture 14. RISC VS CISC、现代计算机技术

Lecture 15. 总线

Lecture 16. 闪存与 FGPA

CS335FZ 软件工程与软件过程

概览

Lecture 1 引入

Lecture 2 软件过程

Lecture 3 敏捷软件开发

Lecture 4 设计模式

Lecture 5 系统建模

Lecture 6 需求工程

Lecture 7 结构设计

Lecture 8 系统设计

Lecture 9 软件测试与调试

Lecture 10. UI 与 UX 设计

Lecture 11. 项目管理

ST221FZ 统计学导论

概览

Chapter 1

Chapter 2 描述数据的方法

Chapter 3 概率

Chapter 4 概率分布

Chapter 5 概率密度 Probability Density

Chapter 6 样本分布

Chapter 7 关于均值的推断

Chapter 8 比较两个对象

Chapter 9 方差

On this page

Overview

评分说明

小测 10%（Moodle）
编程测验 30%（Moodle）
期末考试 60%

Pager

Previous pageslide 17 Transfinite Cardinals 超限势

Next pageT00. Course Logistics

Overview ​

评分说明 ​

Overview

评分说明