Catalog Content |
Symbolic logic and methods of proof; sets, algebra of sets, families of set, partitions of families of set, product sets; relations, inverse of relation, composition of relations, equivalence relations and equivalence classes, order relations; partially-ordered set, completely-ordered set; functions, one to one and surjective functions, composition of functions, inverse functions, permutations, operations. |