Monday 2025-10-13

[kokulife]

NMAI069 (Mathematical skills) - more of the same from last week, as in more propositional logic, what was interesting is that using just negation and the basic ones we defined every possible logic binary operator that could exist

NDMI002 (Discrete mathematics) [lecture] - partition of a set and proof that a if R is an equivalence to a set X, then partitions of R form a partition of X, definition of a partially ordered set and hasse diagrams

NDMI002 (Discrete mathematics) [tutorial] - we finished the proofs that we didn't have enough time for last week and then went onto relations, meaning we had some defined relations and were tasked with finding which properties they have

---

koku daily message:
god bless vim