Monday 2025-10-06

[kokulife]

NMAI069 (Mathematical skills) - we did propositional logic, nothing that i didn't already know

NDMI002 (Discrete mathematics) [lecture] - binary relations, their compositions, how they all relate to functions and composite functions. then we did properties of functions (injective, surjective and bijective) if they are the same size and finite then being injective proves it's surjective and vice versa. properties of binary relations, which are reflexive, symmetrical, anti-symmetrical and transitive

NDMI002 (Discrete mathematics) [tutorial] - we went over types of proofs (direct, indirect, by contradiction and by induction) and then had exercises where we had to prove various statements using those methods

---

koku daily message:
tautology