shoko/math-notes

Files

T

Shoko d56191fd7a Initial commit: math notes vault

2026-03-14 14:20:16 +00:00

346 B

Raw Blame History

Logic and Proofs

Topics

Propositional Logic
Predicate Logic
Proof by Contradiction
Mathematical Induction
Proof Techniques

Resources

MIT 6.1200J Mathematics for Computer Science
Buffalo CSE 191

Key Concepts

(Add as you learn)