lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

index.html (2191B)

      1 <?xml version="1.0" encoding="UTF-8"?>
      2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
      3 <html>
      4 
      5 <head><link rel="stylesheet" type="text/css" href="sitewide.css">
      6   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
      7   <meta name="exporter-version" content="Evernote Mac 7.0.3 (456341)" />
      8   <meta name="altitude" content="-1.627367734909058" />
      9   <meta name="author" content="Alex Balgavy" />
     10   <meta name="created" content="2018-03-12 14:37:30 +0000" />
     11   <meta name="latitude" content="52.33370100163172" />
     12   <meta name="longitude" content="4.867379630557172" />
     13   <meta name="source" content="desktop.mac" />
     14   <meta name="updated" content="2018-03-27 15:56:31 +0000" />
     15   <title>Logic &amp; Sets</title>
     16 </head>
     17 
     18 <body>
     19   <nav>
     20 <a href="http://thezeroalpha.github.io">Homepage</a>
     21 </nav>
     22 
     23   <h1>Logic &amp; Sets</h1>
     24   <h3>Alex Balgavy, 2018</h3>
     25   <div>Logic:</div>
     26   <ol>
     27     <li><a href="Propositional%20logic.html">Propositional logic</a></li>
     28     <li><a href="Semantic%20entailment.html">Semantic entailment</a></li>
     29     <li><a href="Adequate%20systems%20of%20connectives.html">Adequate systems of connectives</a></li>
     30     <li><a href="Functional%20completeness.html">Functional completeness</a> — CNF, DNF, Satisfiability &amp; DPLL</li>
     31     <li><a href="Logic%20circuits.html">Logic circuits</a></li>
     32     <li><a href="Binary%20Decision%20Trees.html">Binary Decision Trees</a>, OBDD</li>
     33     <li><a href="Universal%20&amp;%20Existential%20quantification.html">Universal &amp; Existential quantification</a></li>
     34     <li><a href="Predicate%20Logic.html">Predicate Logic</a></li>
     35   </ol>
     36   <div><br/></div>
     37   <div>Sets</div>
     38   <ol>
     39     <li><a href="Relations.html">Relations</a></li>
     40     <li><a href="Partial%20orders.html">Partial orders</a></li>
     41     <li><a href="Equivalence%20classes.html">Equivalence classes</a></li>
     42     <li><a href="Equivalence%20relations%20&amp;%20classes.html">Equivalence relations &amp;amp; classes</a></li>
     43     <li><a href="Cardinality.html">Cardinality</a></li>
     44     <li><a href="Functions.html">Functions</a></li>
     45   </ol>
     46   <div><br/></div>
     47 </body>
     48 
     49 </html>