Formal concept analysis 2003/04. For 4th year mathematics students. Official name: Algebra superiore.

Preliminaries Boolean functions as set systems The normal disjunctive form The 16 binary boolean functions Intervals in P(X) The hypercube Closure operators and neighbourhood spaces * * Formal concept analysis Lattices The concept lattice of a context The boolean extension of a context