Formal & Physical Sciences Computing & CybersecurityENTURING MACHINE | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 06 BY DR. RAJESH PRASAD | AKGECDr. Rajesh PrasadSeptember 2, 2026 24 min★ ★ ★ ☆ ☆ 3/5Turing MachineAutomata TheoryTheory of Computation
Formal & Physical Sciences Computing & CybersecurityENFINITE AUTOMATA WITH OUTPUT | TAFL | LECTURE 04 BY MS. VIBHA SRIVASTAVA | AKGECMs. Vibha SrivastavaSeptember 2, 2026 22 min★ ★ ★ ☆ ☆ 3/5Mealy MachineMoore MachineFinite Automata
Formal & Physical Sciences Computing & CybersecurityENPUMPING LEMMA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 02 BY DR. RAJESH PRASAD | AKGECDr. Rajesh PrasadAugust 25, 2026 25 min★ ★ ★ ★ ☆ 4/5Pumping LemmaRegular LanguagesAutomata Theory
Formal & Physical Sciences Computing & CybersecurityENGRAPH & MATRICES | SOCIAL MEDIA ANALYTICS AND DATA ANALYTICS | LECTURE 04 BY MS. KRITI MISHRA | AKGEMs. Kriti MishraFebruary 4, 2026 20 min★ ★ ★ ☆ ☆ 3/5Graph TheorySocial Network AnalysisMatrices
Formal & Physical Sciences Computing & CybersecurityENLayer cakes and slivers || @ CMU || Recitation 3 of CS Theory ToolkitRyan O'DonnellFebruary 2, 2022 65 min★ ★ ★ ★ ☆ 4/5Stirling's FormulaBerry-Esseen TheoremLayer Cake Formula
Formal & Physical Sciences Computing & CybersecurityENInequalities, asymptotics, primes || @ CMU || Homework 1 / Recitation 2 of CS Theory ToolkitRyan O'DonnellJanuary 26, 2022 60 min★ ★ ★ ★ ☆ 4/5AsymptoticsInequalitiesPrime Number Theorem
Formal & Physical Sciences Computing & CybersecurityENHamming codes part 2: The one-line implementation3Blue1Brown (Grant Sanderson)September 4, 2020 16 min★ ★ ★ ★ ★ 5/5Hamming CodeError CorrectionXOR
Formal & Physical Sciences Computing & CybersecurityENk-wise Independent Generators || @ CMU || Lecture 12c of CS Theory ToolkitRyan O'DonnellApril 22, 2020 26 min★ ★ ★ ★ ★ 5/5PseudorandomnessK-Wise IndependenceError-Correcting Codes
Formal & Physical Sciences Computing & CybersecurityENAsymptotics Tricks || @ CMU || Lecture 2c of CS Theory ToolkitRyan O'DonnellFebruary 5, 2020 25 min★ ★ ★ ★ ☆ 4/5AsymptoticsApproximationTaylor Series
Formal & Physical Sciences Computing & CybersecurityENBig O and friends || @ CMU || Lecture 2a of CS Theory ToolkitRyan O'DonnellFebruary 3, 2020 28 min★ ★ ★ ★ ★ 5/5Asymptotic NotationBig OComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENGreat Ideas in Theoretical Computer Science: Group Theory (Spring 2016)Ryan O'DonnellJuly 15, 2017 80 min★ ★ ★ ★ ★ 5/5Group TheoryTheoretical Computer ScienceLagrange's Theorem
