https://kokulife.dreamwidth.org/ koku's life journal - Dreamwidth Studios Mon, 13 Oct 2025 17:11:43 GMT LiveJournal / Dreamwidth Studios kokulife personal https://v2.dreamwidth.org/18093858/4245574 https://kokulife.dreamwidth.org/ 100 100 https://kokulife.dreamwidth.org/1631.html Mon, 13 Oct 2025 17:11:43 GMT https://kokulife.dreamwidth.org/1631.html <p>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</p><br /><p>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</p><br /><p>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</p><br /><hr><br />koku daily message:<br />god bless vim<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=kokulife&ditemid=1631" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments https://kokulife.dreamwidth.org/1631.html propositinal logic partition of a set mathematical proofs nmai069 properties of relations ndmi002 hasse diagram partially ordered set public 0