GLOSSARY
গ্লোসারি
Technical term-গুলো ইংরেজিতেই রাখা হয়েছে — কারণ engineering-এ এগুলোই মান। ব্যাখ্যা বাংলায়। প্রতিটার সাথে বলা আছে কারিকুলামের কোথায় এটা আসলে শেখানো হচ্ছে।
A
ABIএবিআইApplication Binary Interface — hardware-এ কম্পাইল-হওয়া কোড কীভাবে interact করবে তার নিয়ম: register ব্যবহার, calling convention, data layout। hardware-এনফোর্সড না, সফটওয়্যার-চুক্তি।L3 · Assembly LanguageAddressing Modeঅ্যাড্রেসিং মোডএকটা instruction-এর operand field থেকে অপারেন্ডের প্রকৃত মান (বা তার ঠিকানা) বের করার নিয়ম — সরাসরি মান (immediate), register-এর মান, নাকি register+offset দিয়ে গণনা করা একটা memory address।L3 · CPU ArchitectureAddressing Mode (x86)x86 অ্যাড্রেসিং মোডx86-64-এর memory operand সিনট্যাক্স — displacement(base, index, scale), যেখান থেকে effective address = base + index×scale + displacement। এক instruction-এ array indexing, pointer arithmetic, ও struct field access একসাথে এনকোড হয়।L3 · Assembly LanguageALUএএলইউArithmetic Logic Unit — একটা op-select code দিয়ে নিয়ন্ত্রিত সার্কিট যা একই hardware-এ ADD, SUB, AND, OR, XOR, shift-এর মতো একাধিক অপারেশন করতে পারে।L2 · Digital Logic & Computer OrganizationASCIIআসকিপ্রথম ব্যাপকভাবে গৃহীত character encoding (১৯৬৩) — মাত্র ৭ bit, ১২৮টা code point, ইংরেজি অক্ষর ও control character-এর জন্য।L1 · How Computers Represent InformationAssemblerঅ্যাসেম্বলারAssembly mnemonic টেক্সট (.s)-কে machine code বিটে রূপান্তরকারী প্রোগ্রাম — প্রায় এক-থেকে-এক, কিন্তু আউটপুট (.o) এখনও অসম্পূর্ণ: external symbol-এর ঠিকানা placeholder থাকে।L3 · Assembly LanguageAsymptotic Notationউপগামী সংকেতInput বড় হলে একটা algorithm-এর cost কীভাবে বাড়ে সেটা প্রকাশের ভাষা — O, Θ, Ω। ধ্রুবক আর ছোট পদ বাদ দিয়ে শুধু বৃদ্ধির হার দেখায়।L6 · Data Structures & AlgorithmsAT&T SyntaxAT&T সিনট্যাক্সx86-64 assembly লেখার একটা কনভেনশন — source আগে destination পরে, register-এ % প্রিফিক্স, immediate-এ $, size suffix (b/w/l/q)। GNU টুলচেইনের (gcc, gdb, objdump) ডিফল্ট।L3 · Assembly Language
B
Bayes Theoremবেইজের উপপাদ্য`P(A|B) = P(B|A)P(A)/P(B)` — শর্তসাপেক্ষ সম্ভাবনার দিক উল্টানোর সূত্র। এটা না জানলে base rate fallacy অনিবার্য।L0 · Mathematical FoundationsBijectiveএকৈক ও উপরিচারীInjective এবং surjective দুটোই — নিখুঁত এক-এর-সাথে-এক জোড়া। তখন এবং কেবল তখনই inverse function থাকে।L0 · Mathematical FoundationsBinomial Coefficientদ্বিপদী সহগ`C(n,k)` বা `ⁿCₖ` — `(x+y)ⁿ` -এর বিস্তারে `xᵏ` -এর সহগ, আর একই সাথে `n` থেকে `k` বাছার সংখ্যা।L0 · Mathematical FoundationsBipartite Graphদ্বিপক্ষীয় গ্রাফVertex-দের দুই দলে ভাগ করা যায় যেন প্রতিটা edge এক দল থেকে অন্য দলে যায়। সমতুল্যভাবে: কোনো বিজোড় দৈর্ঘ্যের cycle নেই।L0 · Mathematical FoundationsBitবিটদুই অবস্থার (0/1) একটা পার্থক্যযোগ্য ভৌত রাশি — তথ্যের সবচেয়ে ছোট একক। ৮টা bit মিলে ১টা byte।L1 · How Computers Represent InformationBoolean Algebraবুলিয়ান বীজগণিতPropositional logic-এরই বীজগণিতিক রূপ, কিন্তু circuit-এর ভাষায়। প্রশ্ন বদলে যায় 'এটা কি সত্য?' থেকে 'সবচেয়ে কম gate-এ কীভাবে?'L0 · Mathematical FoundationsBootloaderবুটলোডারFirmware আর kernel-এর মাঝের সেতু — disk থেকে kernel image মেমরিতে লোড করে, প্রয়োজনীয় CPU mode সেট করে, তারপর নিয়ন্ত্রণ হস্তান্তর করে।L4 · Operating SystemsBranch Predictionব্র্যাঞ্চ প্রেডিকশনBranch resolve হওয়ার আগেই CPU-র একটা শিক্ষিত অনুমান — নেওয়া হবে নাকি হবে না — যাতে fetch থামাতে না হয়; ভুল হলে speculatively করা কাজ বাতিল হয়।L3 · CPU ArchitectureByteবাইটমেমরির সবচেয়ে ছোট addressable একক — ঐতিহাসিকভাবে বিভিন্ন আকারের পর ৮ bit-এ স্থির হয়েছে (0-255)।L1 · How Computers Represent Information
C
Cacheক্যাশCPU-র কাছে বসানো একটা ছোট, দ্রুত SRAM array যেটা main memory-র একটা অংশের কপি ধরে রাখে — locality of reference exploit করে গড় access time কমায়।L3 · CPU ArchitectureCache Lineক্যাশ লাইনCache যে ন্যূনতম, স্থির আকারের ব্লক নিয়ে কাজ করে — সাধারণত 64 বাইট। এক বাইট চাইলেও পুরো line আনা হয়, spatial locality exploit করতে।L3 · CPU ArchitectureCache Missক্যাশ মিসচাওয়া ঠিকানার ডেটা cache-এ নেই — নিচের, ধীর memory স্তর পর্যন্ত যেতে হয়। বিপরীত শব্দ hit; miss হওয়া access-এর ভগ্নাংশ miss rate।L3 · CPU ArchitectureCalling Conventionকলিং কনভেনশনফাংশন কল করার সময় argument কোন register/stack-এ যায়, return value কোথায়, কে কোন register বাঁচায় — সব হার্ডওয়্যার-নিয়ম না, compiler-লেখকদের মধ্যে সম্মত software চুক্তি।L3 · Assembly LanguageCardinalityকার্ডিনালিটিএকটা set-এর সদস্য সংখ্যা, লেখা হয় `|A|`। অসীম set-এও সংজ্ঞায়িত — আর সব অসীম সমান নয়।L0 · Mathematical FoundationsCarry Lookahead Adderক্যারি-লুকঅ্যাহেড অ্যাডারপ্রতিটা bit-এর carry আগের bit-এর carry-র জন্য অপেক্ষা না করে সরাসরি Generate/Propagate সূত্র থেকে গণনা করা adder — delay কমায়, gate খরচ বাড়িয়ে।L2 · Digital Logic & Computer OrganizationCartesian Productকার্তেসীয় গুণফল`A × B` = সব ordered pair `(a,b)`। `|A × B| = |A|·|B|`। Relation, tuple type আর SQL cross join — সবার ভিত্তি।L0 · Mathematical FoundationsCatastrophic Cancellationক্যাটাস্ট্রফিক ক্যান্সেলেশনপ্রায়-সমান দুইটা float বিয়োগ করলে leading significant digit বাতিল হয়ে যায় — absolute error প্রায় অপরিবর্তিত থাকে, কিন্তু ফলাফল ছোট হওয়ায় relative error বিস্ফোরিত হয়।L1 · How Computers Represent InformationChinese Remainder Theoremচীনা অবশেষ উপপাদ্যPairwise coprime modulus-এর একগুচ্ছ congruence-এর একটা অনন্য সমাধান আছে, modulus-দের গুণফলের ভেতরে।L0 · Mathematical FoundationsCISCসিস্ক (কমপ্লেক্স ইনস্ট্রাকশন সেট কম্পিউটার)Complex Instruction Set Computer — একটা instruction-এ বেশি কাজ (memory access + arithmetic একসাথে), variable length। ১৯৭০-এর ব্যয়বহুল/ধীর memory-র যুগে code density বাঁচানোর যুক্তিসঙ্গত ডিজাইন।L3 · CPU ArchitectureCMOSসিমসComplementary MOS — NMOS ও PMOS জোড়া দিয়ে গঠিত logic পরিবার, যেখানে pull-up (PMOS) ও pull-down (NMOS) কখনো একসাথে conduct করে না, ফলে static power প্রায় শূন্য।L2 · Digital Logic & Computer OrganizationCNFসংযোজক প্রামাণ্য রূপConjunctive Normal Form — AND of ORs। `(a ∨ ¬b) ∧ (¬a ∨ c)`। সব আধুনিক SAT solver শুধু এই রূপ নেয়।L0 · Mathematical FoundationsCode Pointকোড পয়েন্টUnicode-এ একটা abstract অক্ষরের সংখ্যাগত পরিচয় (`U+XXXX`) — এটা byte encoding না, শুধু 'কোন অক্ষর' তার লেবেল।L1 · How Computers Represent InformationCombinationসমাবেশ`n` টা থেকে `k` টা বাছা যেখানে **ক্রম গুরুত্বপূর্ণ নয়** — `C(n,k) = n!/(k!(n−k)!)`। Permutation-কে `k!` দিয়ে ভাগ করা।L0 · Mathematical FoundationsCompiler Optimization Levelকম্পাইলার অপ্টিমাইজেশন লেভেল-O0 থেকে -O3 — কম্পাইলার কতগুলো optimization pass চালাবে তার পূর্বনির্ধারিত সংকলন। -O0 আক্ষরিক, প্রতিটা variable স্ট্যাকে, debugging-friendly; -O2 register-ভিত্তিক, দ্রুত, কিন্তু debugger-এ বিভ্রান্তিকর।L3 · Assembly LanguageCondition Variableকন্ডিশন ভেরিয়েবলএকটা শর্ত সত্য হওয়ার জন্য অপেক্ষা করার primitive — সবসময় একটা mutex-এর সাথে জোড়ায় ব্যবহৃত। Wait অবশ্যই `while` loop-এ রাখতে হয়, `if`-এ নয়।L4 · Operating SystemsCongruenceসর্বসমতা`a ≡ b (mod n)` — `a` আর `b` কে `n` দিয়ে ভাগ করলে একই ভাগশেষ। এটা একটা equivalence relation, তাই ℤ কে `n` টা class-এ ভাগ করে।L0 · Mathematical FoundationsContrapositiveবিপরীত প্রতিজ্ঞা`p → q` -এর contrapositive হলো `¬q → ¬p` — দুটো logically equivalent, তাই একটা প্রমাণ করলেই অন্যটা প্রমাণিত।L0 · Mathematical FoundationsCounterexampleবিপ্রতীপ উদাহরণএকটা universal দাবি খণ্ডন করার একটামাত্র উদাহরণ। `∀x P(x)` মিথ্যা প্রমাণ করতে একটা `x` যথেষ্ট যেখানে `P(x)` মিথ্যা।L0 · Mathematical Foundations
D
Datapathডেটাপাথরেজিস্টার, ALU, আর মাল্টিপ্লেক্সারের নেটওয়ার্ক যার মধ্য দিয়ে ডেটা প্রবাহিত হয় একটা অপারেশন সম্পাদন করতে — CPU-র 'পেশি', নিয়ন্ত্রিত হয় control unit দিয়ে।L2 · Digital Logic & Computer OrganizationDe Morgan's Lawদ্য মরগানের সূত্রNegation ভেতরে ঢুকলে operator উল্টে যায় — `¬(p ∧ q) ≡ ¬p ∨ ¬q` এবং `¬(p ∨ q) ≡ ¬p ∧ ¬q`।L0 · Mathematical FoundationsDiscrete Mathematicsবিচ্ছিন্ন গণিতগোনা যায় এমন, আলাদা আলাদা বস্তুর গণিত — set, graph, logic, integer। Computer-এর প্রতিটা স্তর discrete বলে এটাই CS-এর মূল গণিত।L0 · Mathematical FoundationsDMAডিএমএDirect Memory Access — একটা dedicated hardware controller যে device ও memory-র মধ্যে সরাসরি ডেটা সরায়, CPU-র প্রতিটা byte কপি করার প্রয়োজন ছাড়াই; কাজ শেষে একটা interrupt দিয়ে CPU-কে জানায়।L3 · CPU ArchitectureDNFবিয়োজক প্রামাণ্য রূপDisjunctive Normal Form — OR of ANDs। `(a ∧ ¬b) ∨ (¬a ∧ c)`। Truth table-এর সত্য row-গুলো থেকে সরাসরি পাওয়া যায়।L0 · Mathematical FoundationsDRAMডির্যামDynamic RAM — মাত্র ১ transistor + ১ capacitor প্রতি bit, খুব ঘন ও সস্তা, কিন্তু capacitor charge leak করে বলে প্রতি ~৬৪ms-এ প্রতিটা cell রিফ্রেশ করতে হয়।L2 · Digital Logic & Computer Organization
E
ELFএক্সিকিউটেবল অ্যান্ড লিংকেবল ফরম্যাটLinux-এর বাইনারি container format — object file, executable, shared library তিনটাই একই ফরম্যাট, ELF header-এর e_type ফিল্ড দিয়ে আলাদা।L3 · Assembly LanguageEndiannessএন্ডিয়ানেসএকটা multi-byte value-র byte-গুলো memory address-এ কোন ক্রমে সাজে তার convention — big-endian-এ সবচেয়ে গুরুত্বপূর্ণ byte আগে, little-endian-এ পরে। কোনোটাই 'সঠিক' না, শুধু আলাদা চুক্তি।L1 · How Computers Represent InformationEntropyএনট্রপিঅনিশ্চয়তার পরিমাণ, bit-এ মাপা। `k` অক্ষরের password-এ `H = k log₂ n`। Entropy হিসাব হয় **জেনারেশন প্রক্রিয়ার** উপর, ফলাফলের চেহারার উপর নয়।L0 · Mathematical FoundationsEquivalence Relationসমতুল্যতা সম্পর্কReflexive, symmetric আর transitive — তিনটাই। প্রতিটা equivalence relation set-কে partition করে, আর প্রতিটা partition একটা equivalence relation।L0 · Mathematical FoundationsExpectationপ্রত্যাশিত মানএকটা random variable-এর গড় মান, `E[X] = Σ x·P(X=x)`। Linearity of expectation — `E[X+Y] = E[X]+E[Y]` — independence ছাড়াই খাটে, আর সেটাই একে এত শক্তিশালী করে।L0 · Mathematical Foundations
F
Fetch-Decode-Execute Cycleফেচ-ডিকোড-এক্সিকিউট চক্রএকটা CPU-র মৌলিক, অবিরাম-পুনরাবৃত্ত লুপ — PC থেকে instruction পড়া (fetch), তার মানে বোঝা (decode), তারপর কার্যকর করা (execute, প্রয়োজনে memory access, তারপর writeback) — এটাই একটা প্রোগ্রাম 'চলা'-র সংজ্ঞা।L3 · CPU ArchitectureFinite State Machineফাইনাইট স্টেট মেশিনপ্রতিটা sequential circuit-এর আনুষ্ঠানিক কাঠামো — state register + next-state combinational logic + output combinational logic, ক্লকের নিয়ম মেনে।L2 · Digital Logic & Computer OrganizationFlip-Flopফ্লিপ-ফ্লপএকটা edge-triggered মেমরি উপাদান — শুধু clock-এর একটা নির্দিষ্ট মুহূর্তে (rising বা falling edge) state বদলায়, বাকি পুরো period-এ স্থির থাকে।L2 · Digital Logic & Computer OrganizationFloating-Pointফ্লোটিং পয়েন্টsign × significand × 2^exponent — scientific notation-এর বাইনারি সংস্করণ, radix point exponent দিয়ে 'ভাসে' যাতে একই bit বাজেটে খুব ছোট আর খুব বড় সংখ্যা দুটোই ধরা যায়।L1 · How Computers Represent InformationFull Adderফুল অ্যাডারতিনটা input (A, B, Carry-in) নিয়ে দুইটা output (Sum, Carry-out) দেয় এমন combinational circuit — n-bit adder-এর একটা bit-position-এর জন্য এটাই একক building block।L2 · Digital Logic & Computer OrganizationFunctionফাংশনএমন একটা relation যেখানে প্রতিটা input-এর ঠিক একটা output — total এবং deterministic। প্রোগ্রামিং-এর অধিকাংশ 'function' গাণিতিক অর্থে function নয়।L0 · Mathematical Foundations
G
gdbজিডিবিGNU Debugger — ptrace() দিয়ে একটা চলমান প্রসেস নিয়ন্ত্রণ করে breakpoint, register, memory সরাসরি পরীক্ষা করার টুল।L3 · Assembly LanguageGraphগ্রাফ`G = (V, E)` — কিছু vertex আর তাদের মধ্যে কিছু edge। Network, dependency, control flow, filesystem, git history — সবই graph।L0 · Mathematical FoundationsGraph Coloringগ্রাফ রঙকরণপ্রতিটা vertex-এ রঙ দেওয়া যেন কোনো edge-এর দুই প্রান্তে একই রঙ না থাকে। সর্বনিম্ন রঙ সংখ্যা `χ(G)` বের করা NP-complete।L0 · Mathematical FoundationsGrapheme Clusterগ্রাফিম ক্লাস্টারএকজন মানুষ চোখে যা 'একটা অক্ষর' হিসেবে দেখে, তার প্রকৃত সংজ্ঞা — যা প্রায়ই একাধিক Unicode code point মিলে গঠিত হয়।L1 · How Computers Represent InformationGreatest Common Divisorগরিষ্ঠ সাধারণ গুণনীয়কদুইটা সংখ্যাকে ভাগ করে এমন সবচেয়ে বড় পূর্ণসংখ্যা। Euclid's algorithm `O(log min(a,b))`-এ বের করে — ২৩০০ বছরের পুরনো, আজও ব্যবহৃত।L0 · Mathematical Foundations
H
Hardware Description Languageহার্ডওয়্যার বর্ণনা ভাষাHardware-কে কোডে বর্ণনা করার ভাষা — structural (কোন gate, কীভাবে তারে জোড়া) বা behavioral (কী আচরণ চাই) স্টাইলে। Verilog সবচেয়ে প্রচলিত।L2 · Digital Logic & Computer OrganizationHash Functionহ্যাশ ফাংশননির্বিচার আকারের input থেকে নির্দিষ্ট আকারের output। Collision গাণিতিকভাবে অনিবার্য; ভালো hash সেগুলো সমানভাবে ছড়ায়।L0 · Mathematical Foundations
I
IEEE 754আইইইই ৭৫৪Floating-point-এর জন্য universal standard (১৯৮৫) — sign, biased exponent, আর implicit-leading-1 mantissa দিয়ে সংখ্যা এনকোড করে। আজ প্রায় প্রতিটা CPU/GPU এটা মেনে চলে।L1 · How Computers Represent InformationInductionআরোহ পদ্ধতিঅসীম সংখ্যক ক্ষেত্র সসীম যুক্তিতে প্রমাণ করার একমাত্র হাতিয়ার — base case আর inductive step। Recursion-এর গাণিতিক যমজ।L0 · Mathematical FoundationsInjectiveএকৈকভিন্ন input সবসময় ভিন্ন output দেয় — কোনো তথ্য হারায় না। `f(a₁) = f(a₂) ⟹ a₁ = a₂`। এই একটা ধর্মই hash collision আর compression-এর সীমা ব্যাখ্যা করে।L0 · Mathematical FoundationsInline Assemblyইনলাইন অ্যাসেম্বলিGCC/Clang-এর extended asm volatile("..." : outputs : inputs : clobbers) সিনট্যাক্স — C কোডের ভেতর থেকে সরাসরি raw machine instruction বসানো। শেষ অস্ত্র — যেখানে কোনো C বা intrinsic equivalent নেই সেখানেই কেবল।L3 · Assembly LanguageInteger Overflowইন্টিজার ওভারফ্লোসত্যিকারের গাণিতিক ফলাফল representation-এর সীমার বাইরে গেলে যা ঘটে — unsigned-এ সংজ্ঞায়িত wraparound, signed-এ C/C++-এ undefined behavior।L1 · How Computers Represent InformationIntel SyntaxIntel সিনট্যাক্সx86-64 assembly লেখার আরেকটা কনভেনশন — destination আগে source পরে, কোনো register/immediate প্রিফিক্স নেই, size memory operand-এর আগে keyword দিয়ে (dword ptr)। Intel-এর নিজস্ব manual, NASM/MASM-এর ডিফল্ট।L3 · Assembly LanguageInterruptইন্টারাপ্টএকটা asynchronous, বাহ্যিক ঘটনা (keypress, timer, device সংকেত) যা বর্তমান instruction-এর সাথে সম্পর্কহীনভাবে CPU-কে তার handler-এ পাঠায় — exception (synchronous) ও trap (deliberate)-এর থেকে আলাদা, যদিও mechanism প্রায় অভিন্ন।L3 · CPU ArchitectureISAআইএসএInstruction Set Architecture — hardware আর software-এর মধ্যেকার চুক্তি: instruction, register, আচরণের একটা fixed vocabulary যা যেকোনো compiler টার্গেট করতে পারে, আর যেকোনো সঠিকভাবে বানানো CPU-কে মানতেই হয়।L3 · CPU Architecture
K
Karnaugh Mapকারনো ম্যাপTruth table-এর একটা দৃশ্যমান সাজানো যেখানে পাশাপাশি ঘর ঠিক এক bit-এ আলাদা (Gray code) — তাই সরলীকরণ চোখে দেখা যায়।L0 · Mathematical FoundationsKernelকার্নেলOS-এর সেই অংশ যা সর্বোচ্চ privilege-এ (ring 0 / EL1) চলে — hardware multiplex করে, process isolate করে, আর syscall-এর মাধ্যমে abstraction সরবরাহ করে।L4 · Operating Systems
L
Latchল্যাচএকটা level-triggered মেমরি উপাদান — enable সিগন্যাল সক্রিয় থাকাকালীন পুরো সময় transparent (output সরাসরি input অনুসরণ করে)।L2 · Digital Logic & Computer OrganizationLinkerলিংকারএকাধিক object file আর library জুড়ে সব undefined symbol resolve করে একটা executable বা shared library বানায় — static (কোড embed) বা dynamic (runtime dependency) দুইভাবে।L3 · Assembly LanguageLoaderলোডারOS-এর অংশ যা একটা executable ফাইলকে একটা নতুন process-এর virtual address space-এ map করে আর entry point-এ execution শুরু করায় — execve() syscall-এর ভেতরে চলে।L3 · Assembly LanguageLocality of Referenceলোকালিটি অফ রেফারেন্সপ্রোগ্রামের memory access সম্পূর্ণ random না — সাম্প্রতিক ব্যবহৃত (temporal) বা কাছাকাছি ঠিকানার (spatial) ডেটা আবার লাগার সম্ভাবনা বেশি। এই নীতিই memory hierarchy-কে কার্যকর করে।L3 · CPU ArchitectureLogic Gateলজিক গেটএকটা boolean function-এর ভৌত বাস্তবায়ন — transistor দিয়ে বানানো। NAND একা universal: শুধু NAND দিয়ে সব function বানানো যায়।L0 · Mathematical FoundationsLogical Connectiveযৌক্তিক সংযোজকছোট proposition জোড়া দিয়ে বড় proposition বানানোর operator — ¬, ∧, ∨, →, ↔।L0 · Mathematical FoundationsLogical Equivalenceযৌক্তিক সমতুল্যতাদুইটা expression প্রতিটা possible assignment-এ একই truth value দিলে তারা logically equivalent — লেখা হয় `P ≡ Q`।L0 · Mathematical FoundationsLoop Invariantলুপ অপরিবর্তকএকটা predicate যা loop-এর প্রতিটা iteration-এর শেষে সত্য থাকে। Initialization, maintenance আর termination — এই তিন ধাপে প্রমাণ করলে loop-এর correctness প্রমাণিত।L0 · Mathematical Foundations
M
Microkernelমাইক্রোকার্নেলএমন kernel নকশা যেখানে শুধু IPC, scheduling আর basic memory management privileged mode-এ থাকে — driver, filesystem আর network stack user space-এ চলে।L4 · Operating SystemsMintermমিনটার্মএকটা product যেখানে প্রতিটা variable ঠিক একবার আছে (সরাসরি বা complement সহ)। ঠিক একটা truth table row-তে `1`, বাকি সব row-তে `0`।L0 · Mathematical FoundationsModular Arithmeticমডুলার গণিতঘড়ির গণিত — একটা নির্দিষ্ট modulus-এ পৌঁছে সংখ্যা আবার শূন্যে ফেরে। `a ≡ b (mod n)` মানে `n`, `a−b` কে ভাগ করে।L0 · Mathematical FoundationsModular Inverseমডুলার বিপরীত`a`-এর inverse হলো এমন `x` যে `ax ≡ 1 (mod m)`। অস্তিত্ব আছে **কেবল যদি** `gcd(a, m) = 1`।L0 · Mathematical FoundationsMOSFETমসফেটMetal-Oxide-Semiconductor Field-Effect Transistor — Gate ভোল্টেজ দিয়ে Source-Drain-এর মধ্যে conduction নিয়ন্ত্রণ করা transistor, আজকের প্রায় সব digital চিপের ভিত্তি।L2 · Digital Logic & Computer OrganizationMultiplexerমাল্টিপ্লেক্সারN ইনপুট থেকে একটা বেছে নিয়ে আউটপুটে পাঠানো একটা ডেটা-সিলেক্টর সার্কিট — log₂N সংখ্যক select line দিয়ে নিয়ন্ত্রিত।L2 · Digital Logic & Computer OrganizationMutexমিউটেক্সপারস্পরিক বর্জনের primitive — একসাথে কেবল একটা thread critical section-এ ঢুকতে পারে। Ownership আছে: যে lock করেছে কেবল সে-ই unlock করতে পারে।L4 · Operating Systems
N
NaNন্যানNot a Number — exponent field সব 1, mantissa অ-শূন্য। কোনো অর্থবহ ফলাফল নেই এমন operation-এর (0/0, ∞−∞) জন্য IEEE 754-এর সংরক্ষিত bit pattern।L1 · How Computers Represent InformationNibbleনিবলঅর্ধেক byte, ৪ bit — ঠিক একটা hex digit-এর সমান, তাই hex byte-এর সংক্ষিপ্ত, নির্ভুল উপস্থাপনা।L1 · How Computers Represent InformationNoise Marginনয়েজ মার্জিনএকটা গেটের output voltage range আর পরের গেটের input voltage range-এর মধ্যেকার ফাঁক — এটাই অবিশ্বস্ত analog physics থেকে বিশ্বস্ত digital abstraction তৈরি করে।L2 · Digital Logic & Computer Organization
O
Opcodeঅপকোডএকটা instruction-এর সেই বিট-ফিল্ড যা বলে দেয় কোন operation করতে হবে — RV32I-তে সবসময় bit[6:0], funct3/funct7 দিয়ে আরও সূক্ষ্ম variant নির্বাচিত হয়।L3 · CPU ArchitectureOut-of-Order Executionআউট-অফ-অর্ডার এক্সিকিউশনযেই instruction প্রস্তুত (তার সব operand পাওয়া গেছে) সেটাই আগে execute করা, program-এ লেখা ক্রম না মেনে — কিন্তু চূড়ান্ত ফলাফল সবসময় program order-এই ঘটেছে বলে দেখানো।L3 · CPU Architecture
P
Partial Orderআংশিক ক্রমReflexive, antisymmetric আর transitive। কিছু জোড়া অতুলনীয় থাকতে পারে — আর সেই অতুলনীয়তাই concurrency-র গাণিতিক রূপ।L0 · Mathematical FoundationsPermutationবিন্যাস`n` টা থেকে `k` টা বাছা যেখানে **ক্রম গুরুত্বপূর্ণ** এবং পুনরাবৃত্তি নেই — `P(n,k) = n!/(n−k)!`।L0 · Mathematical FoundationsPipeline Hazardপাইপলাইন হ্যাজার্ডএকটা পরিস্থিতি যেখানে instruction-দের overlap করে চালানো (pipelining) ভুল ফলাফল দিতে পারে, যদি বিশেষ সাবধানতা না নেওয়া হয় — তিন ধরনের: structural, data, control।L3 · CPU ArchitecturePosition-Independent Codeপজিশন-ইনডিপেন্ডেন্ট কোডএমন কোড যার internal reference সব RIP-relative (absolute ঠিকানা না) — তাই যেকোনো লোড-অ্যাড্রেসে সঠিকভাবে চলে। Shared library ও ASLR-এর ভিত্তি।L3 · Assembly LanguagePower Setপাওয়ার সেটএকটা set-এর সব উপসেটের set। `|𝒫(A)| = 2^|A|` — আর এই exponential বৃদ্ধিই brute force-এর সীমা টানে।L0 · Mathematical FoundationsPredicateবিধেয়Variable-সহ একটা বাক্য যার নিজে থেকে সত্যমান নেই — `P(x) : x জোড়`। Variable-এ মান বসালে proposition হয়।L0 · Mathematical FoundationsPrimeমৌলিক সংখ্যাঠিক দুইটা ধনাত্মক ভাজক আছে এমন সংখ্যা (`1` আর নিজে)। Cryptography-র ভিত্তি, কারণ গুণ করা সহজ কিন্তু factor করা কঠিন।L0 · Mathematical FoundationsPrivilege Ringপ্রিভিলেজ রিংCPU-র ভেতরে দুই bit যা বলে বর্তমান কোড কতটা বিশ্বাসযোগ্য। x86-এ ring 0–3, ARM-এ EL0–EL3। প্রতিটা instruction ও memory access-এ যাচাই হয়।L4 · Operating SystemsProbabilityসম্ভাবনাএকটা event ঘটার পরিমাণগত পরিমাপ, `[0,1]`-এ। Sample space, event আর তিনটা axiom — এর উপর পুরো কাঠামো দাঁড়ানো।L0 · Mathematical FoundationsProgram Counterপ্রোগ্রাম কাউন্টারপরবর্তী execute হতে যাওয়া instruction-এর memory address ধরে রাখা register। প্রতিটা fetch-এ instruction-দৈর্ঘ্য পরিমাণ বাড়ে; branch/jump/call নিলে ভিন্ন address-এ লাফায়।L3 · CPU ArchitectureProofপ্রমাণগৃহীত সত্য থেকে শুরু করে বৈধ inference rule প্রয়োগ করে লক্ষ্য দাবিতে পৌঁছানোর যুক্তিশৃঙ্খল। Testing দেখায় bug আছে; proof দেখায় নেই।L0 · Mathematical FoundationsPropagation Delayপ্রোপাগেশন ডিলেএকটা gate/circuit-এর input বদলানোর পর সঠিক output পাওয়া পর্যন্ত যে সসীম সময় লাগে — কোনো ভৌত প্রক্রিয়াই সত্যিকারের instant না।L2 · Digital Logic & Computer OrganizationPropositionপ্রতিজ্ঞাএমন একটা declarative বাক্য যার একটা নির্দিষ্ট সত্যমান আছে — হয় true, নয় false। প্রশ্ন, আদেশ বা variable-সহ template proposition নয়।L0 · Mathematical Foundations
Q
R
Random Variableদৈব চলকএকটা function `Ω → ℝ` যা প্রতিটা ফলাফলকে একটা সংখ্যা দেয়। 'Variable' নামটা বিভ্রান্তিকর — এটা আসলে একটা function।L0 · Mathematical FoundationsRecursionপুনরাবৃত্তিএকটা function যা নিজেকে ছোট input-এ ডাকে। Base case থামায়, recursive case ছোট ফল থেকে বড় ফল বানায়। Induction-এর computational রূপ।L0 · Mathematical FoundationsRegisterরেজিস্টারN-টা D flip-flop সমান্তরালে, একটা common clock শেয়ার করে একটা N-bit মান ধরে রাখে — CPU-র সক্রিয় গণনার মধ্যবর্তী মান রাখার জায়গা।L2 · Digital Logic & Computer OrganizationRegister Renamingরেজিস্টার রিনেমিংপ্রতিটা write-কে একটা তাজা physical register-এ পাঠানো, যাতে একই architectural register নামের পুনর্ব্যবহার থেকে তৈরি নকল WAR/WAW dependency ভেঙে যায় — সত্যিকারের RAW dependency অক্ষত রেখে।L3 · CPU ArchitectureRelationসম্পর্ক`A × B`-এর একটা উপসেট — কে কার সাথে যুক্ত তার সংগ্রহ। Database-এর 'relational' শব্দটা এখান থেকেই।L0 · Mathematical FoundationsReorder Bufferরিঅর্ডার বাফারএকটা circular buffer যেখানে instruction program order অনুযায়ী entry পায়, এলোমেলো ক্রমে execute হয়ে সেই entry-তে ফলাফল জমা করে, কিন্তু কঠোরভাবে মাথা থেকে, in-order commit হয় — এটাই out-of-order CPU-তে precise exception সম্ভব করে।L3 · CPU ArchitectureRISCরিস্ক (সরলীকৃত ইনস্ট্রাকশন সেট কম্পিউটার)Reduced Instruction Set Computer — সরল, fixed-length, uniform instruction; শুধু LOAD/STORE memory ছোঁয়, বাকি সব register-এ। Pipelining-বান্ধব ডিজাইনের জন্য ১৯৮০-র দশকে জন্ম।L3 · CPU ArchitectureRSAআরএসএPublic-key cryptosystem যার নিরাপত্তা বড় সংখ্যা factor করার কঠিনতার উপর দাঁড়ানো। Modular arithmetic, Euler's theorem আর modular inverse — তিনটাই এক জায়গায়।L0 · Mathematical Foundations
S
Semaphoreসেমাফোরএকটা atomic counter সহ দুইটা operation — wait (কমাও, শূন্য হলে অপেক্ষা করো) আর post (বাড়াও)। Mutex-এর বিপরীতে কোনো ownership নেই, তাই thread-এর মধ্যে signalling-এ ব্যবহার করা যায়।L4 · Operating SystemsSerializationসিরিয়ালাইজেশনIn-memory data structure-কে একটা flat, self-contained byte sequence-এ রূপান্তর করা — কারণ pointer/memory address শুধু নিজের process-এর মধ্যেই অর্থবহ। বিপরীত দিক: deserialization।L1 · How Computers Represent InformationSetসেটস্বতন্ত্র বস্তুর একটা অসজ্জিত সংগ্রহ। ক্রমের অর্থ নেই, পুনরাবৃত্তি নেই — আর সেই স্বাধীনতাই hash-ভিত্তিক O(1) lookup সম্ভব করে।L0 · Mathematical FoundationsShift Registerশিফট রেজিস্টারD flip-flop-এর একটা chain যেখানে প্রতিটা bit এক ধাপ করে পরের flip-flop-এ সরে যায় প্রতি clock edge-এ — serial ও parallel ডেটার মধ্যে রূপান্তরের হার্ডওয়্যার ভিত্তি।L2 · Digital Logic & Computer OrganizationSign-Magnitudeসাইন-ম্যাগনিচিউডঋণাত্মক সংখ্যা লেখার সবচেয়ে স্বজ্ঞাত (কিন্তু হারিয়ে যাওয়া) scheme — MSB শুধু sign বোঝায়, বাকি bit-গুলো magnitude।L1 · How Computers Represent InformationSignalসিগন্যালkernel থেকে process-কে asynchronous ভাবে পাঠানো একটা সংখ্যা-চিহ্নিত বার্তা — normal control flow থামিয়ে একটা handler চালায়, তারপর সাধারণত আগের জায়গায় ফেরে। SIGKILL(9)/SIGSTOP(19) কখনো catch/block/ignore করা যায় না।L4 · Operating SystemsSIMDসিমডSingle Instruction, Multiple Data — একটা instruction একসাথে একটা wide, packed register-এর ভেতরে বহু data element-এ একই operation চালায়, যেমন একটা vaddps দিয়ে আটটা float একসাথে যোগ।L3 · CPU ArchitectureSpanning Treeস্প্যানিং ট্রিএকটা connected graph-এর সব vertex ধরে রাখা একটা tree-উপগ্রাফ। সবাইকে যুক্ত রাখার সবচেয়ে কম edge — ঠিক `n−1` টা।L0 · Mathematical FoundationsSpinlockস্পিনলকএমন lock যা অপেক্ষার সময় ঘুমায় না — একটা loop-এ atomic operation চালিয়ে যায়। Critical section context switch-এর চেয়ে ছোট হলেই কেবল যুক্তিসঙ্গত।L4 · Operating SystemsSRAMএসর্যামStatic RAM — সাধারণত 6-transistor cell (দুইটা cross-coupled inverter + দুইটা access transistor), power থাকা পর্যন্ত data ধরে রাখে, refresh লাগে না।L2 · Digital Logic & Computer OrganizationStack Frameস্ট্যাক ফ্রেমএকটা function call-এর জন্য stack-এ বরাদ্দ মেমরি-অঞ্চল — return address, saved rbp, local variable — সবই rbp-র সাপেক্ষে ঠিকানা করা।L3 · Assembly LanguageStack Pointerস্ট্যাক পয়েন্টারCall stack-এর 'top'-এর ঠিকানা ধরে রাখা register। PUSH-এ কমে, POP-এ বাড়ে (stack নিচের দিকে বাড়ে) — function call-এর local variable, return address, saved register এখানেই থাকে।L3 · CPU ArchitectureSuperscalarসুপারস্কেলারএকই cycle-এ একাধিক (স্বাধীন) instruction fetch/decode/execute করার হার্ডওয়্যার ক্ষমতা — একাধিক ALU/fetch-unit-এর কপি দিয়ে, শুধু pipeline overlap না।L3 · CPU ArchitectureSurjectiveউপরিচারীCodomain-এর প্রতিটা মান অন্তত একটা input থেকে আসে — অর্থাৎ range = codomain। `|A| ≥ |B|` না হলে অসম্ভব।L0 · Mathematical FoundationsSystem Callসিস্টেম কলUser program-এর kernel-এর সেবা চাওয়ার একমাত্র নিয়ন্ত্রিত দরজা। x86-64-এ `syscall` instruction, ARM64-এ `svc`। খরচ কয়েকশো ন্যানোসেকেন্ড।L4 · Operating Systems
T
Threadথ্রেডএকই address space ভাগ করা একটা execution context। নিজস্ব stack, register আর TLS থাকে; heap, global আর file descriptor শেয়ার করে।L4 · Operating SystemsThread Groupথ্রেড গ্রুপএকই process-এর সব thread মিলে একটা thread group। Group-এর নেতার TID-ই process-এর PID, আর `getpid()` সেটাই ফেরত দেয়।L4 · Operating SystemsThread-Local Storageথ্রেড-লোকাল স্টোরেজপ্রতিটা thread-এর নিজস্ব কপি পায় এমন variable। x86-64-এ `fs` segment register দিয়ে অ্যাক্সেস করা হয়, তাই খরচ প্রায় সাধারণ global-এর সমান।L4 · Operating SystemsTopological Sortটপোলজিক্যাল সর্টএকটা DAG-এর vertex-দের এমন ক্রমে সাজানো যাতে প্রতিটা edge আগের থেকে পরের দিকে যায়। DAG হলে সম্ভব, নাহলে নয়।L0 · Mathematical FoundationsTransistorট্রানজিস্টরএকটা solid-state, voltage-controlled সুইচ — ১৯৪৭ সালে Bell Labs-এ আবিষ্কৃত, যা relay ও vacuum tube-কে প্রতিস্থাপন করে আধুনিক কম্পিউটিং সম্ভব করেছে।L2 · Digital Logic & Computer OrganizationTransitive Closureসকর্মক আবরণ`R⁺` — সবচেয়ে ছোট transitive relation যা `R` ধারণ করে। `a R⁺ b` মানে `a` থেকে `b`-তে এক বা একাধিক ধাপে পৌঁছানো যায়।L0 · Mathematical FoundationsTreeট্রিConnected acyclic undirected graph। `n` vertex-এ ঠিক `n−1` edge, আর যেকোনো দুই vertex-এর মধ্যে ঠিক একটা path।L0 · Mathematical FoundationsTruth Tableসত্যক সারণিএকটা compound proposition-এর সব সম্ভাব্য input combination আর তাদের ফলাফলের তালিকা। `n` variable মানে `2^n` row।L0 · Mathematical FoundationsTwo's Complementটু'জ কমপ্লিমেন্টঋণাত্মক সংখ্যা লেখার প্রায়-universal scheme — negation হলো `~x + 1`, আর এটা আসলে ℤ_(2ⁿ)-এ additive inverse নেওয়া মাত্র।L1 · How Computers Represent Information
U
Unicodeইউনিকোডপ্রতিটা ভাষার প্রতিটা অক্ষরের জন্য একটা universal code point মানচিত্র — 'কোন অক্ষর' প্রশ্নটাকে 'কীভাবে byte-এ লেখা হবে' প্রশ্ন থেকে আলাদা করে।L1 · How Computers Represent InformationUser Spaceইউজার স্পেসring 3 / EL0-এ চলা সব কোড — আপনার প্রোগ্রাম, shell, libc, এমনকি root হিসেবে চলা প্রোগ্রামও। Privileged instruction চালাতে পারে না, kernel memory ছুঁতে পারে না।L4 · Operating SystemsUTF-8ইউটিএফ-৮Unicode code point-কে byte-এ এনকোড করার সবচেয়ে জনপ্রিয় পদ্ধতি — variable-width (1-4 byte), ASCII-সামঞ্জস্যপূর্ণ, self-synchronizing।L1 · How Computers Represent Information
V
W
Well-Ordering Principleসুবিন্যাস নীতিঅ-ঋণাত্মক পূর্ণসংখ্যার যেকোনো অ-খালি উপসেটে একটা সর্বনিম্ন উপাদান আছে। প্রতিটা termination proof-এর ভিত্তি।L0 · Mathematical FoundationsWordওয়ার্ডএকটা CPU architecture-এর স্বাভাবিক processing একক — register-এর প্রস্থ। আজ সাধারণত 32 বা 64 bit।L1 · How Computers Represent Information