Lectures related to Combinatorial Search Example

Introduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.

Explores cardinality in sets and properties of groups, including commutativity and examples of abstract groups.

Introduces the concept of relations, composition, and reciprocity between sets.

Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.

Covers set equality, subsets, proper subsets, and techniques for showing equality of sets.

Covers set equality, subsets, proper subsets, and Venn diagrams.

Covers advanced topics in mathematical analysis, including cubes, electrical operators, LP spaces, and compact operators.