CS Fundamentals

487 articles in this topic

Memory management in OS: paging and segmentation explained

Memory management is how an operating system decides where each process lives in physical memory and maps program addresses to hardware locations. Correct mapping lets many processes share memory safely; bad mapping wastes space through fragmentation or causes invalid access. Most exam questions reduce to one skill: translating a logical address into a physical one.

Updated 16 Jul 20265 min read50 viewsOperating Systems

CPU scheduling algorithms: FCFS, SJF, Round Robin and priority explained

When several processes are ready to run and there is one CPU, the operating system has to choose who goes next. That choice is CPU scheduling, and the algorithm it uses decides how long each process waits and how responsive the system feels. It is almost entirely mechanical: draw a Gantt chart, read off the completion times, and two subtractions give you everything an exam question asks for. Four processes, four algorithms, and the same two averages come out different every time.

Updated 29 Jul 20266 min read351 viewsOperating Systems

Syntax-directed translation and code optimization in compilers explained

The back end of a compiler is where a parse tree stops being a grammar exercise and starts becoming a program that runs fast. Two ideas carry most of the weight there: syntax-directed translation, which attaches meaning and code to the grammar, and code optimization, which rewrites that code to do the same work with fewer instructions. Both are heavily tested and both reward understanding the mechanics rather than memorising names.

Updated 29 Jul 20266 min readCompiler Design

Parsing in Compiler Design: Top-Down and Bottom-Up Explained

Parsing in compiler design for GATE CS: FIRST and FOLLOW sets, LL(1) predictive parsing, LR and SLR shift-reduce, plus a worked parse table and trace.

Updated 15 Jul 20266 min read301 viewsCompiler Design

Lexical Analysis in Compiler Design: Tokens, Patterns and Lexemes Explained

Lexical analysis in compiler design for GATE CS: phases of a compiler, tokens, patterns and lexemes, regex to DFA scanners, input buffering and symbol tables.

Updated 15 Jul 20265 min read289 viewsCompiler Design

Group Theory and Algebraic Structures: Groups, Rings and Fields Explained

Group theory for GATE CS: binary operations, group axioms, abelian and cyclic groups, subgroups, Lagrange's theorem, rings, fields and a worked Zn example.

Updated 15 Jul 20266 min readEngineering Mathematics

Propositional and Predicate Logic: Truth Tables, Quantifiers and Inference

Propositional and predicate logic for GATE CS: connectives, truth tables, logical equivalences, quantifiers and negation, plus a worked inference proof.

Updated 15 Jul 20266 min read62 viewsComputer Networks

Set theory and relations: closures, equivalence and partial orders explained

Antisymmetric is not the negation of symmetric, a transitive closure is not finished after one pass, and a Hasse diagram is what is left once you delete every edge transitivity already implies. Set operations, relation properties, closures, equivalence classes and posets, worked for GATE.

Updated 29 Jul 20266 min readEngineering Mathematics

Sequential circuits: flip-flops, latches and counters explained

Sequential circuits for GATE: SR, D, JK and T flip-flops, excitation tables, latch versus flip-flop, and a fully worked synchronous counter design example.

Updated 15 Jul 20265 min read68 viewsDigital Logic

Combinational circuits: multiplexers, decoders and adders explained

A combinational circuit's output depends only on its current inputs, with no stored state. Multiplexers, decoders, encoders and adders are the blocks GATE keeps testing, and a single 4-to-1 MUX can implement any three-variable Boolean function using just one inverter.

Updated 15 Jul 20265 min read66 viewsEngineering Mathematics

Boolean algebra and K-map minimization: a worked GATE guide

K-map minimization becomes routine once you can read the groupings. Six Boolean identity pairs, DeMorgan's two theorems, the SOP and POS canonical forms, and a four-variable map traced loop by loop from seven minterms and three don't-cares down to F = B' + A'D.

Updated 15 Jul 20265 min read115 viewsDigital Logic

Number systems and base conversions: binary, octal and hexadecimal explained

Number systems for GATE: binary, octal and hexadecimal, base conversion, r's and (r-1)'s complement, signed representation, BCD and Gray code, worked.

Updated 15 Jul 20265 min read98 viewsDigital Logic