🎓 CS × DS Vault
Search
Search
Dark mode
Light mode
Explorer
Tag: Math/Proof
14 items with this tag.
Aug 01, 2026
Proving a Language Non-Context-Free
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 30, 2026
Pumping Lemma for Context-Free Languages
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 30, 2026
Pumping Lemma for Regular Languages
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 28, 2026
Proof Techniques
Math/Proof
Math/Logic
Math/Theory
Jul 25, 2026
Closure Properties of Regular Languages
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 25, 2026
Countability and Cantor Diagonalisation
Math/Theory
Math/Proof
CS/Computation
Jul 25, 2026
Finding Proofs
Math/Proof
Math/Logic
Jul 25, 2026
Logical Implication
Math/Logic
Math/Proof
Jul 25, 2026
Mathematical Induction
Math/Proof
Math/Induction
Jul 25, 2026
Modus Ponens
Math/Logic
Math/Proof
Jul 25, 2026
Proof Critique (Good, Bad and Ugly Proofs)
Math/Proof
Math/Theory
Jul 25, 2026
Proving a Language Non-Regular
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 25, 2026
Quantifiers (Existential and Universal)
Math/Logic
Math/Proof
Math/Theory
Jul 25, 2026
Theorem and Proof
Math/Logic
Math/Proof