Lectures related to Collections: Methods and For-Expressions

Explores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.

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

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

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

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

Covers powers, roots, calculation rules, logarithmic functions, reciprocal functions, sets, and basic notations.

Introduces the basics of group theory, defining groups, categories, and groupoids.

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