跳到正文
xiaofu OS
首页
关于我
◐
☰
课程目录
格物之境
/
CS 学习指南
/
全部学科
/
计算机核心系统
SUBJECT
计算机核心系统
沿着逻辑电路、处理器、操作系统、网络、数据库与语言实现理解系统栈。
数字逻辑与体系结构
Nand2Tetris
课程的价值在于纵向贯通，而非覆盖每个领域的工业级细节。12 个项目分为硬件与软件两部分，适合边做边记录每层接口与不变量。
Berkeley CS 61C
从 C 程序、汇编、处理器、存储层次和并行角度理解机器结构。
ETH Digital Design
数字逻辑与硬件设计学习入口；公开课程材料以 ETH 当期页面为准。
系统基础
CMU 15-213
15-213/CS:APP 以程序员视角串起计算机系统。该课程编程负担较重，建议在具备 C 和调试经验后学习，并把实验作为核心而非附属练习。
Stanford CS110
系统编程课程入口；具体学期内容和资源以 Stanford 课程页为准。
操作系统
MIT 6.1810
MIT 6.1810 用 xv6 作为教学系统，围绕内核抽象和实现展开。OCW 课程材料属于 Fall 2023 历史版本；实验需要 C、RISC-V 与调试基础，资源访问和提交规则以公开页面为准。
Berkeley CS 162
操作系统与系统编程课程，覆盖并发、虚拟内存与系统设计。
NJU OS
南京大学操作系统课程与实验资源入口；授课安排以课程站为准。
计算机网络
Stanford CS 144
CS 144 的学习重点是通过代码构建网络协议部件，而非只记协议名词。课程官网按学期更新，公开课程页可能要求课程平台账号才能访问部分提交资源。
Berkeley CS 168
互联网架构与协议课程入口；教材与课程信息以 Berkeley 页面为准。
USTC Computer Networking
中国科学技术大学计算机网络学习入口；如当期官方站点无法访问，将保留课程条目并等待核验。
数据库
CMU 15-445
CMU 15-445 是数据库系统实现课程，项目负担高，要求较熟练的 C++。课程官网指出不同学期的项目与安排会变化；自学时应固定一个学期版本并遵从其代码发布政策。
Berkeley CS 186
数据库系统课程与实验入口，涉及关系数据库和系统实现。
Stanford CS 346
数据库系统实现课程入口；具体开放讲义和实验材料以当期页面为准。
编译原理
Stanford CS 143
通过编译器结构理解词法、语法、语义与代码生成。
PKU 编译实践
北京大学编译实践课程资料入口；开放资源范围以课程维护者说明为准。
NJU 编译原理
南京大学编译原理课程资料入口；版本和作业要求以课程站点为准。
编程语言原理
Cornell CS 3110
通过 OCaml 和函数式编程学习数据抽象、模块和程序推理。
Stanford CS 242
编程语言课程资源索引；不同年份课程材料可能变化。
Software Foundations
用 Coq 形式化证明介绍逻辑、函数式程序与程序语言基础。