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.md (774B)

      1 +++
      2 title = 'Logic & Sets'
      3 +++
      4 # Logic & Sets
      5 Logic:
      6 
      7 1. [Propositional logic](propositional-logic)
      8 
      9 2. [Semantic entailment](semantic-entailment)
     10 
     11 3. [Adequate systems of connectives](adequate-systems-of-connectives)
     12 
     13 4. [Functional completeness](functional-completeness) — CNF, DNF, Satisfiability & DPLL
     14 
     15 5. [Logic circuits](logic-circuits)
     16 
     17 6. [Binary Decision Trees](binary-decision-trees), OBDD
     18 
     19 7. [Universal & Existential quantification](universal-existential-quantification)
     20 
     21 8. [Predicate Logic](predicate-logic)
     22 
     23 Sets
     24 
     25 1. [Relations](relations)
     26 
     27 2. [Partial orders](partial-orders)
     28 
     29 3. [Equivalence classes](equivalence-classes)
     30 
     31 4. [Equivalence relations & classes](equivalence-relations-classes)
     32 
     33 5. [Cardinality](cardinality)
     34 
     35 6. [Functions](functions)