Reference:
| id | name | coverage | Tripos |
|---|---|---|---|
| 1 | Relations and Functions | def, properties and relationship |
IA Discrete Math ✎ |
| 1-2 | Standard Random Variables | Discrete/Continuous RV Joint/marginal probability |
IA Intro to Probability/NST Math IB Data Science, etc ✎ |
| 1-3 | Information Theory | Entropy, ML loss function | IB Formal model of language II InfoTheory |
| 1-4 | Machine Learning | Prob, Data Science, ML Practical, Troubleshooting |
IA Intro to Prob, MLRD IB Data Science, AI II MLBI, etc |
Reference:
| id | name | coverage | Tripos |
|---|---|---|---|
| 2-1 | Data Segment and Linking | Memory and ABI | IA Java - IB C/C++ (ProgLang) IA OS - IB Arch (RISC) ✎ IB Compiler Construction ✓ IB Concurrent System |
| 2-2 | Memory Address Calculation | Page table, TLB and cache | IA OS ✎ IB Computer Architecture MSI+Cacheline ✓ Q y21p5q3 |
| 2-3 | Comparative Architectures | design tradeoff | IB Arch & II Ad Arch ■ IB Compiler Construction |
| id | name | coverage | Tripos |
|---|---|---|---|
| 3-1 | Concurrency Control | for single object and transactions |
IB Architecture (Mem ACID) IB Concurrent System ✎ |
| 3-2 | Clocks Broadcast Replication | causality, summary | IB Distributed, Network ✎✓ |
| 3-3 | Network by Analogy | five-layer OSI | IB Computer Networking |
| 3-4 | HCI Principles | Heuristic Evaluation, Gestalt Cognitive |
IA Interaction Design IB Further HCI ✎ |
Reference:
Languages and Automata, Compiler, Algorithm and Complexity
| id | name | coverage | Tripos |
|---|---|---|---|
| 4-1 | Formal Languages and Automata |
Chomsky hierarchy RegLang ⇔ DFA CFG ⇔ PDA CSG/RE ⇔ TM |
IA Discrete Math (Reg, DFA) ✎ IB Compiler Construction (CFG) IB Computation Theory (TM) IB Formal Model of Language |
| 4-2 | Parsing Algorithms | outline and key points | IB Compiler, Formal language ✎ ✓ Q y20p4q4 |
| 4-3 | CFG Parser | table driven parsers LL(k), SLR(1), LR(1) |
IB Compiler Construction ✎ ✓ Q y15p3q3, 21p4q4, etc |
| 4-4 | Translation | Continuous Passing Style Defunctionalization to VM |
✓ IB Compiler Construction ■ CPS @ CS6110-Ad_ProgLang |
| 4-5 | Algos & Complexity | P, NP, SPACE, etc | IA Algorithm; IB Complexity II Randomized Algo, etc ✎ |
| 4-6 | Quantum Computing | LA, gates, algos, QFT | II Quantum Computing |
Reference:
Reference:
E[·] Concise way to write context rule.Reference: