🎓 CS × DS Vault

Tag: Math/Theory

53 items with this tag.

Aug 02, 2026
FIT2014 Unit Cheatsheet
- Math/Theory
- CS/Computation
Aug 02, 2026
Universal Turing Machine
- Math/Theory
- CS/Computation
Aug 01, 2026
Chomsky Normal Form
Aug 01, 2026
Proving a Language Non-Context-Free
Jul 31, 2026
Building Turing Machines
Jul 31, 2026
Computable Functions and the Church-Turing Thesis
- Math/Theory
- CS/Computation
Jul 31, 2026
Cook-Levin Theorem
- Math/Theory
- CS/Computation
Jul 31, 2026
Decidability and Decision Problems
- Math/Theory
- CS/Computation
Jul 31, 2026
Deciding Properties of FAs and CFGs
- Math/Theory
- CS/Computation
Jul 31, 2026
Encoding Turing Machines (Code Words)
Jul 31, 2026
Enumerators and Dovetailing
- Math/Theory
- CS/Computation
Jul 31, 2026
Mapping Reductions
- Math/Theory
- CS/Computation
Jul 31, 2026
NP-Completeness
- Math/Theory
- CS/Computation
Jul 31, 2026
Polynomial Time and the Class P
- Math/Theory
- CS/Computation
Jul 31, 2026
Polynomial-Time Reductions
- Math/Theory
- CS/Computation
Jul 31, 2026
Proving NP-Completeness by Reduction
- Math/Theory
- CS/Computation
Jul 31, 2026
Proving Undecidability by Reduction
- Math/Theory
- CS/Computation
Jul 31, 2026
Recursively Enumerable Languages
- Math/Theory
- CS/Computation
Jul 31, 2026
Reducing to SATISFIABILITY
- Math/Theory
- CS/Computation
Jul 31, 2026
Standard NP Problems and Certificates
- Math/Theory
- CS/Computation
Jul 31, 2026
Turing Machines
Jul 31, 2026
Undecidability and the Halting Problem
- Math/Theory
- CS/Computation
Jul 31, 2026
Verifiers, Certificates and the Class NP
- Math/Theory
- CS/Computation
Jul 30, 2026
CYK Algorithm
Jul 30, 2026
Conjunctive Normal Form
Jul 30, 2026
Disjunctive Normal Form
Jul 30, 2026
Pumping Lemma for Context-Free Languages
Jul 30, 2026
Pushdown Automata (PDA)
Jul 30, 2026
Parsing and Shift-Reduce Parsers
Jul 30, 2026
Pumping Lemma for Regular Languages
Jul 28, 2026
Proof Techniques
Jul 25, 2026
CNF Encoding Patterns (At Least, At Most, Exactly)
Jul 25, 2026
Closure Properties of Regular Languages
Jul 25, 2026
Context-Free Grammars (CFG)
Jul 25, 2026
Converting Regular Expressions to NFA
Jul 25, 2026
Countability and Cantor Diagonalisation
Jul 25, 2026
DFA Minimisation (Colouring)
Jul 25, 2026
Derivations and Parse Trees
Jul 25, 2026
Encoding Problems in Propositional Logic
Jul 25, 2026
FA to Regular Expression (GNFA State Elimination)
Jul 25, 2026
Finding Regular Expressions
Jul 25, 2026
Finite Automata (DFA and NFA)
Jul 25, 2026
Formal Languages (Alphabets, Words, Languages)
- Math/Theory
- CS/Computation
Jul 25, 2026
Kleene's Theorem
Jul 25, 2026
Lexical Analysis (Patterns, Tokens, Lexemes)
Jul 25, 2026
NFA to DFA (Subset Construction)
Jul 25, 2026
Predicate
Jul 25, 2026
Proof Critique (Good, Bad and Ugly Proofs)
- Math/Proof
- Math/Theory
Jul 25, 2026
Proving a Language Non-Regular
Jul 25, 2026
Quantifiers (Existential and Universal)
Jul 25, 2026
Regular Expressions
Jul 25, 2026
Regular Grammars and the CFL Hierarchy
Jul 25, 2026
Writing a CFG

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community