<aside> 💡

COMP1311 · Mathematics I — covering set theory, logic, combinatorics, and probability across the full semester.

</aside>

🧮 Set Theory

Mathematics Induction (1)

Set Theory Operations (1)

Set Theory Relations (1)

Set Theory Functions (1)

Set Theory Cardinality (1)

Cantor's Diagonal Argument & Mathematical Induction (1)

Set Theory Proofs: Double Inclusion (1)

Tutorial 2: Relation Properties (1)

🔣 Logic

Introduction to Propositional Logic Syntax (1)

Propositional Logic Syntax and Semantics (1)

Logic: Proof Systems, Soundness & Completeness (1)

Tutorial 3: Semantic Entailment and Logical Equivalence (1)

Natural Deduction (1)

Predicate Logic and Injective Functions (1)