<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xmlns:dw="https://www.dreamwidth.org">
  <id>tag:dreamwidth.org,2025-10-04:4245574</id>
  <title>koku's life journal</title>
  <subtitle>studying notes and such</subtitle>
  <author>
    <name>Koku!</name>
  </author>
  <link rel="alternate" type="text/html" href="https://kokulife.dreamwidth.org/"/>
  <link rel="self" type="text/xml" href="https://kokulife.dreamwidth.org/data/atom"/>
  <updated>2025-10-13T17:11:43Z</updated>
  <dw:journal username="kokulife" type="personal"/>
  <entry>
    <id>tag:dreamwidth.org,2025-10-04:4245574:1631</id>
    <link rel="alternate" type="text/html" href="https://kokulife.dreamwidth.org/1631.html"/>
    <link rel="self" type="text/xml" href="https://kokulife.dreamwidth.org/data/atom/?itemid=1631"/>
    <title>Monday 2025-10-13</title>
    <published>2025-10-13T17:11:43Z</published>
    <updated>2025-10-13T17:11:43Z</updated>
    <category term="ndmi002"/>
    <category term="properties of relations"/>
    <category term="nmai069"/>
    <category term="mathematical proofs"/>
    <category term="partially ordered set"/>
    <category term="partition of a set"/>
    <category term="hasse diagram"/>
    <category term="propositinal logic"/>
    <dw:security>public</dw:security>
    <dw:reply-count>0</dw:reply-count>
    <content type="html">&lt;p&gt;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&lt;/p&gt;&lt;br /&gt;&lt;p&gt;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&lt;/p&gt;&lt;br /&gt;&lt;p&gt;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&lt;/p&gt;&lt;br /&gt;&lt;hr&gt;&lt;br /&gt;koku daily message:&lt;br /&gt;god bless vim&lt;br /&gt;&lt;br /&gt;&lt;img src="https://www.dreamwidth.org/tools/commentcount?user=kokulife&amp;ditemid=1631" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/&gt; comments</content>
  </entry>
</feed>
