fnoi2014xtx的博客

计算机网络原理文章目录计算机网络原理引言计算机网络体系结构数据通信的基本原理物理层接口数据链路控制及其协议局域网和介质访问子层网络层和路由控制传送层服务和控制计算机网络应用引言网络空间的三大基础性关键核心技术：CPU/OS/互联网体系结构历史：ARPANET，X.25，OSI体系，Internet主要研究内容：规模实验，路由性能，路由控制互联网重大技术挑战：扩展性 安全性 高性能 移动性 实时性 管理性计算机网络：一批独立自治的计算机系统的互连集合体计算机网络体系结构计算机网络：通信子

文章目录计算机系统概述计算机的指令系统Verilog & CPLD/FPGA数据表示及检错纠错算术运算及其电路实现运算器部件组成及设计控制器概述 指令和指令系统MIPS指令系统指令格式与数据通路设计单周期CPU控制器设计多周期CPU设计流水线技术概述结构冲突和数据冲突控制冲突和异常动态存储器静态存储器及高速缓冲存储器高速缓存虚拟存储器非易失性存储MIPS异常与中断输入输出系统和设备总线接口电路和外部设备计算机系统概述计算机运行机制Datapath : 完成算术和逻辑运算，通常包括其中的寄存

文章目录基本概念图的概念图的代数表示道路与回路的判定哈密顿回路旅行商问题最短路径关键路径中国邮路问题树基本关联矩阵及其性质支撑树的计数回路矩阵与割集矩阵平面图与图染色图的平面性检测色数与色数多项式匹配与网络流网络流图的连通性代数系统半群群置换基本概念图的概念多重图：含有重边的图d+(v)d^+(v)d+(v)：出度支撑子图：G′G'G′是GGG的子图，且满足V′=VV'=VV′=V导出子图：G′G'G′是GGG的子图，E′E'E′包含GGG在V′V'V′中所有的边G1⊕G2=(V1∪V2,E1

文章目录Two-Person Zero-Sum GamesFinding safety strategies for 2-strategy gamesGames in Extensive FormReduction of a Game in Extensive Form to Strategic FormTwo-Person General-Sum GamesCorrelated EquilibriumApplication of Game Theory to BiologyRepeat GamesCoop

文章目录绪论字母表字符串语言上下文无关语言与下推自动机图灵机及其语言归纳证明法上下文无关文法与上下文无关语言归约与推导上下文无关语言文法与语言的Chomsky分类方法语法分析树文法和语言中的二义性正规表达式与正规语言正规表达式正规语言代数定律具体化有限状态自动机确定有限状态自动机非确定有限自动机DFA和NFA的等价性带空转移的非确定有限自动机有限状态自动机与正规表达式的关系转换算法的复杂度正规语言的性质与运算Pumping引理正规语言的判定性质正规语言的封闭运算下推自动机两种定义从下推自动机构造等价的上下文

计算机科学导论

数理逻辑与集合论