跳转至
MIEC CSSE 课程笔记
Lecture 14: 图灵机 Turing Machine
正在初始化搜索引擎
About
Semester 1
Semester 2
Semester 3
Semester 4
MIEC CSSE 课程笔记
About
Semester 1
Semester 1
About
CS161FZ 计算机科学导论 1
CS161FZ 计算机科学导论 1
计算机基础结构
一点基本的网络知识
关于 Java 的 Hello world 解析
Java 变量基础知识
IEEE 754
关键字与运算符
字符串
数据类型转换
数据输入（控制台）
异常处理
二进制的加减法和乘法
一维数组
Java 随机数
二维数组
文件
文件系统和 Cluster 等概念
EE103FZ 数字系统 1
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 电子工程基础
EE121FZ 电子工程基础
9.13 Introduction to EE121FZ
9.13 Electrostatics
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 Other Basic Components
11.29 Generation and Distribution
12.6 Introduction to Telecoms
12.6 Signals Radio Propagation - DK
12.6 Signals Noise
12.13 Channel Capacity
12.13 Analog & Digital Signals
12.xx Modulation Multiplexing
Semester 2
Semester 2
About
CS162FZ 计算机科学导论 2
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
CS172FZ 计算机系统 2
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
side 11: 谓词逻辑模型和有效性
slide 12: 自然演绎（natural deduction）
slide 13: 量词的自然演绎
slide 14: 函数 Functions
slide 15: 势 Cardinality（有限集）
slide 16: 势 Cardinality（无限集）
slide 17: Transfinite Cardinals 超限势
Semester 3
Semester 3
About
CS130FZ 数据库
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 数据库标准化
CS210FZ 算法与数据结构 1
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
CS220FZ 计算机结构 1
CS220FZ 计算机结构 1
Overview
Chapter 1: Number System 进制和数的表示
Chaper 2 Part 1: Boolean Algebra 布尔代数
Chapter 2 Part 2: 一些硬件知识
Chapter 2 Part 3: 卡诺图
Chapter 2 Part 4: 一大堆硬件电路（组合逻辑）
Chapter 3 Part 1: 触发器 flip flop
Chapter 3 Part 2: 触发器的应用以及时序逻辑电路设计
阅读 CSAPP 关于算术运算的笔记
Chapter 3 Part 3: 算术运算
Chapter 4 Part 1
Chapter 4 Part 2
Chapter 4 Part 3
Chapter 5, 6, 7
CS265FZ 软件测试
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 计算理论
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
Semester 4
About
CS211FZ 算法与数据结构 2
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 信息处理
CS230FZ Web 信息处理
概览
Lecture 1. HTML Part1（标签、CSS、格式化、引用）
Lecture 2. HTML Part2（颜色、图片、表格、列表）
Lecture 3. HTML Part3
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（引用方式、显示信息、修改元素、语法类型）
Lecture 12. JS 对象
Chapter 13. DOM
Chapter 14
CS240FZ 操作系统通信和并发
CS240FZ 操作系统通信和并发
概览
Lecture. 1 OS 概述（25 页）
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 页）
CS253FZ 计算机结构 Ⅱ
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 软件工程与软件过程
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 统计学导论
ST221FZ 统计学导论
概览
Chapter 1
Chapter 2 描述数据的方法
Chapter 3 概率
Chapter 4 概率分布
Chapter 5 概率密度 Probability Density
Chapter 6 样本分布
Chapter 7 关于均值的推断
Chapter 8 比较两个对象
Chapter 9 方差
Lecture 14: 图灵机 Turing Machine