Semester 5 Faculty of Technology & Engineering · Computer Science
Semester Progress: 0 / 30 (0%)

Academic Study Compendium · Semester 5

Four Subjects.
One Unified Compendium.

Every chapter is a standalone, browser-native study guide loaded with textbook-depth theory, every numerical step hand-worked with no skipped intermediate calculations, interactive simulations, and comprehensive self-tests. Jump directly into any subject's master course map or locate specific topics across all 30 chapters below.

4 Subjects
30 Study Chapters
100% Self-Contained
Zero Dependencies
/
Found 0 matching chapters Press Esc to clear
CSUC301 Core Course · 4 Credits (3L+1P) · 45 Hours

Machine Learning

The complete theoretical and computational machinery of modern ML. Every algorithm is fitted to concrete student datasets, with complete derivations from gradient calculus to backpropagation and MDP reinforcement loops.

Progress: 0/7
· Géron 3rd ed. aligned
Open Course Map →
01
Unit 1 · 6 hrs · CO1
Mathematical Foundation

Linear equation systems, convex vs non-convex loss functions, gradient descent variants, entropy, information gain, and the bias-variance trade-off.

1.1 Linear Systems · 1.2 Convexity · 1.3 Loss Minimization · 1.4 Batch & SGD · 1.5 Entropy · 1.6 Bias-Variance · 1.7 Regularization
2A
Unit 2 · Part 1 · 13 hrs · CO2, CO5
Supervised Learning: Models

Six supervised algorithms fitted step-by-step to the same eight students: multiple regression, ridge, lasso, logistic regression, k-NN, hard/soft margin SVMs, and decision trees.

2.1 Model Selection · 2.2 Multiple Regression · 2.3 Logistic · 2.4 k-NN · 2.5 SVM · 2.6 Decision Trees · 2.7 Bagging & Boosting
2B
Unit 2 · Part 2 · CO2, CO5
Supervised Learning: Evaluation & Responsible AI

Confusion matrices, precision-recall trade-offs, ROC-AUC geometry, cost-based thresholds, regression metrics, and the mathematical impossibility theorem of fairness.

2.4 Confusion Matrix · 2.5 Precision & Recall · 2.6 ROC/AUC · 2.7 Calibration · 2.8 Fairness & Impossibility Theorem
03
Unit 3 · 7 hrs · CO3
Unsupervised Learning

K-Means, Agglomerative Hierarchical, DBSCAN density reachability, Gaussian Mixture Models with EM, elbow and silhouette analysis, and full PCA variance derivation.

3.1 K-Means · 3.2 Hierarchical · 3.3 DBSCAN · 3.4 GMM & EM · 3.5 Silhouette & Elbow · 3.6 PCA Derivation · 3.7 t-SNE
04
Unit 4 · 7 hrs · CO4
Neural Networks

The biological and artificial neuron, the XOR proof of single-layer limitations, forward propagation matrix equations, and the complete chain-rule backpropagation algorithm.

4.1 Perceptron · 4.2 XOR Inseparability · 4.3 Multi-Layer Perceptrons · 4.4 Chain Rule · 4.5 Backprop Derivation · 4.6 Loss Functions
05
Unit 5 · 7 hrs · CO4
Deep Learning Foundation

Vanishing and exploding gradients, modern activation functions (ReLU, Leaky ReLU, GELU), weight initialisation heuristics (He, Xavier), optimizers (Momentum, RMSProp, Adam), and regularizers.

5.1 Vanishing Gradients · 5.2 Modern Activations · 5.3 Weight Init · 5.4 Adam & RMSProp · 5.5 BatchNorm · 5.6 Dropout
06
Unit 6 · 5 hrs · CO5
Reinforcement Learning

Markov Decision Processes (MDPs), the Bellman expectation and optimality equations, policy iteration, value iteration, Q-Learning update rule, and Deep Q-Networks (DQN).

6.1 MDP Formalism · 6.2 Bellman Equations · 6.3 Policy & Value Iteration · 6.4 Temporal Difference · 6.5 Q-Learning · 6.6 Deep Q-Networks
CEUC301 Core Course · 9 Units · 38 Sections

Fundamentals of OS Design

Traces the modern operating system from raw CPU registers and dual-mode traps to virtual memory management, journaling file trees, disk arm elevator algorithms, and hard real-time scheduling.

Progress: 0/9
· Silberschatz & OSTEP aligned
Open Course Map →
01
Unit 1 · Core Architecture · 5 sections
Operating System Design, Processes & Threads

Kernel architectures (monolithic vs microkernel), hardware traps, PCB/TCB fields, and the exact clock cycle cost of saving and restoring user registers.

1.1 Design Goals · 1.2 Kernel Architectures · 1.3 PCB & TCB Internals · 1.4 Switching Overhead · 1.5 Kernel vs User Threads
02
Unit 2 · Scheduling Theory · 4 sections
CPU Scheduling & Performance Evaluation

Preemption vs non-preemption, Gantt chart scheduling arithmetic (FCFS, SJF, SRTF, RR), Multi-Level Feedback Queues (MLFQ), and hard real-time scheduling (RMS, EDF).

2.1 Scheduling Metrics · 2.2 Classical Algorithms · 2.3 Real-Time RMS & EDF · 2.4 MLQ & MLFQ Tuning
03
Unit 3 · Concurrency · 4 sections
Synchronization & Concurrency Control

The critical section problem, Peterson's algorithm proof, hardware atomic instructions (Test-and-Set, Compare-and-Swap), counting semaphores, and monitor condition variables.

3.1 Race Conditions & Critical Section · 3.2 Semaphores & Monitors · 3.3 Memory Consistency · 3.4 Lock-Free Primitives
04
Unit 4 · Deadlock · 4 sections
Deadlock Modeling & System-level Handling

The four Coffman conditions, resource-allocation graph reduction, Banker's Safety and Request algorithms computed step-by-step, detection matrices, and recovery cost models.

4.1 Prevention & Coffman Rules · 4.2 Banker's Avoidance · 4.3 Detection & Reduction · 4.4 Livelock & Starvation
05
Unit 5 · Memory Systems · 5 sections
Memory Management System Design

Contiguous allocation, internal vs external fragmentation, paging address translation (VPN to PPN), multi-level page tables, and kernel allocators (Buddy System & Slab).

5.1 Fragmentation · 5.2 Paging & Address Translation · 5.3 Buddy & Slab Systems · 5.4 Two-Level Page Tables · 5.5 Protection
06
Unit 6 · Virtual Memory · 3 sections
Virtual Memory & Page Replacement Design

Effective Access Time (EAT) formulas, TLB reach, Belady's anomaly, and page replacement comparisons: FIFO, Optimal, LRU, Second-Chance Clock, and Working-Set model.

6.1 TLB Performance & EAT · 6.2 Page Replacement (FIFO, LRU, Clock) · 6.3 Thrashing & Working-Set Model
07
Unit 7 · Storage Systems · 5 sections
File System Design & Performance

File abstractions, directory tree models, contiguous vs linked vs indexed allocation, Unix multi-level inodes, and crash consistency in write-ahead journaling vs log-structured FS.

7.1 Inodes & Allocation · 7.2 Journaling vs Log-Structured · 7.3 Free-Space Bitmaps · 7.4 Caching & Crash Recovery
08
Unit 8 · Hardware I/O · 5 sections
I/O Subsystem & Storage System Design

Programmed I/O vs interrupts vs Direct Memory Access (DMA), disk seek physics, and elevator arm scheduling algorithms (FCFS, SSTF, SCAN, C-SCAN, LOOK).

8.1 DMA & Bus Architecture · 8.2 Disk Geometry · 8.3 Arm Scheduling (SSTF, SCAN, C-SCAN) · 8.4 Flash SSD FTL
09
Unit 9 · Specialized Kernels · 5 sections
Specialized Operating Systems

Hard vs soft real-time systems, Mars Pathfinder priority inversion case study, Priority Inheritance Protocol (PIP), embedded RTOS design, and power-aware mobile scheduling.

9.1 Hard vs Soft RTOS · 9.2 Priority Inversion & PIP · 9.3 Embedded & IoT Constraints · 9.4 Mobile Power Management
CEUC302 Core Course · 7 Chapters · 266 Practice Problems

Theory of Computation

The mathematical limits of computing. Organised around the memory demands of languages: from zero-memory DFAs and stack-powered PDAs to unrestricted Turing Machines and the Halting Problem proof.

Progress: 0/7
· Sipser & Hopcroft aligned
Open Course Map →
01
Unit 1 · 4 hrs · 4 sections · 38 problems
Language Foundation

Alphabets, strings, Kleene star, grammars, the 4-tier Chomsky hierarchy, and proof techniques (induction, contradiction, pigeonhole principle).

1.1 Alphabets & Strings · 1.2 Grammars & Productions · 1.3 Chomsky Hierarchy · 1.4 Proof Tools Preview
02
Unit 2 · Part 1 · 4 sections · 38 problems
Finite Automata I

Deterministic Finite Automata (DFA), table-filling state minimization, Myhill-Nerode indistinguishability equivalence, NFA subset construction, and Kleene's theorem.

2.1 Deterministic Finite Automata · 2.2 Minimization & Myhill-Nerode · 2.3 NFA & Powerset Construction · 2.4 Regular Expressions
03
Unit 2 · Part 2 · 4 sections · 38 problems
Finite Automata II

Closure properties under union, intersection, complement via cross-product machines, the formal Pumping Lemma adversary game, and DFA-based lexical scanner engines.

3.1 Closure Properties · 3.2 The Pumping Lemma Game · 3.3 Lexical Analysis · 3.4 Production DFA Scanners
04
Unit 3 · Part 1 · 4 sections · 38 problems
Context-Free Grammars I

Context-free grammar formalisms, leftmost vs rightmost derivations, parse tree yields, arithmetic expression ambiguity resolution, and inherently ambiguous languages.

4.1 CFG Formal Definition · 4.2 Derivations & Parse Trees · 4.3 Ambiguity & Fixes · 4.4 Inherent Ambiguity
05
Unit 3 · Part 2 · 4 sections · 38 problems
Context-Free Grammars II

Grammar normalisation: useless symbols, ε-productions, unit production elimination, Chomsky Normal Form (CNF), Greibach Normal Form (GNF), and the CFG Pumping Lemma.

5.1 Chomsky Normal Form (CNF) · 5.2 Greibach Normal Form (GNF) · 5.3 CFG Pumping Lemma · 5.4 CYK Parsing Algorithm
06
Unit 4 · 4 sections · 38 problems
Pushdown Automata

Adding infinite LIFO stack memory: instantaneous descriptions, acceptance by empty stack vs final state, equivalence between CFGs and PDAs, and why DPDA ⊂ NPDA.

6.1 PDA Architecture · 6.2 Acceptance Criteria · 6.3 CFG to PDA Conversion · 6.4 Deterministic vs Non-Deterministic PDAs
07
Unit 5 · Final Chapter · 4 sections · 38 problems
Turing Machines & Decidability

Two-way infinite tape machines, Church-Turing thesis, Universal Turing Machines, decidable vs recognizable languages, and Turing's diagonal proof of the Halting Problem.

7.1 TM Definition · 7.2 Multi-tape TMs · 7.3 Church-Turing Thesis · 7.4 Halting Problem Undecidability · 7.5 Reducibility
CSUE301 University Elective · 7 Units · 34 Sections

Big Data Analytics

Seven chapters, one running example: CityCourier food platform. Every chapter traces the same sixteen lunch orders through distributed storage, MapReduce, in-memory Spark RDDs, Kafka streaming, and sub-linear probabilistic sketches.

Progress: 0/7
· Verifiable on 16 rows
Open Course Map →
01
Unit 1 · 4 hrs · 7 sections
Big Data Fundamentals

The five V's, life cycle stages, MapReduce and BSP paradigms, Lambda vs Kappa architectures, performance metrics, and the CAP theorem.

1.1 Five V's · 1.2 Life Cycle · 1.3 MapReduce & BSP · 1.4 Lambda & Kappa · 1.5 CAP Theorem · 1.6 Governance
02
Unit 2 · 5 hrs · 6 sections
Distributed Storage Systems

HDFS 128 MB blocks and rack-aware replication, NameNode edit logs, NoSQL models (Key-Value, Column, Document, Graph), consistent hashing rings, and LSM-Trees.

2.1 HDFS Architecture · 2.2 Replication Topology · 2.3 Four NoSQL Models · 2.4 Consistent Hashing · 2.5 LSM vs B-Trees
03
Unit 3 · 5 hrs · 6 sections
Parallel & Distributed Data Processing

YARN resource allocation, MapReduce trace step-by-step, data skew salting, Apache Spark DAG stages, wide vs narrow dependencies, and lineage fault recovery.

3.1 YARN Resource Manager · 3.2 MapReduce Execution Trace · 3.3 Data Skew & Salting · 3.4 Spark DAG · 3.5 Lineage
04
Unit 4 · 3 hrs · 4 sections
In-Memory Data Processing

Why RAM beats disk by 80×, RDD caching and persistence storage levels, LRU eviction and spill-to-disk thresholds, and Catalyst optimizer filter pushdown.

4.1 Memory vs Disk Physics · 4.2 Caching & Persistence Levels · 4.3 Spill-to-Disk Dynamics · 4.4 Catalyst Optimization
05
Unit 5 · 5 hrs · 6 sections
Streaming Analytics & Real-Time Processing

Tumbling, sliding, and session windows; event time vs processing time; watermarks for late arrivals; Kafka topic partitioning; and end-to-end exactly-once guarantees.

5.1 Window Types · 5.2 Event Time & Watermarks · 5.3 Kafka Partitions · 5.4 Exactly-Once Semantics · 5.5 Spark Structured Streaming
06
Unit 6 · 4 hrs · 5 sections
Scalable Machine Learning

Data parallelism vs model parallelism, distributed parameter-server gradient descent, distributed K-Means centroid broadcasting, and parallel Naive Bayes scaling.

6.1 Data vs Model Parallelism · 6.2 Distributed SGD · 6.3 Distributed K-Means · 6.4 Parallel Naive Bayes · 6.5 Big Data Train/Test Splits
07
Unit 7 · 4 hrs · 5 sections
Scalable Visualization & Analytics

Probabilistic data structures: Bloom filters (membership), HyperLogLog (cardinality), Count-Min Sketch (frequency), OLAP multidimensional cubes, and legible dashboard sampling.

7.1 Bloom Filters · 7.2 HyperLogLog · 7.3 Count-Min Sketch · 7.4 OLAP Cubes · 7.5 Visual Sampling Dynamics
Cross-Course Integration Principle

Notice the symmetry across the syllabus: In Operating Systems, you build synchronization locks, memory address tables, and hardware context switches from scratch. In Theory of Computation, you prove which computational languages mathematically fit in finite memory versus which require stacks or unbounded tapes. In Machine Learning, you turn continuous optimization into classification and decision surfaces. In Big Data, you break those same algorithms across hundreds of distributed nodes with explicit network partition and failure tolerance.

Every guide in this folder is self-contained: copy any single HTML file to a flash drive or phone and it will render identically without a local web server or internet connection.

Color Contract Across Subjects Machine Learning (CSUC301) Operating Systems (CEUC301) Theory of Computation (CEUC302) Big Data Analytics (CSUE301)