Lectures related to Operations on Formal Languages

Explores orthogonality between vectors and subspaces, demonstrating practical implications in matrix operations.

Explores active learning in Group Theory, focusing on products, coproducts, adjunctions, and natural transformations.

Introduces Cartesian product and induction for proofs using integers and sets.

Covers computational methods focusing on paths and strings, including examples of concatenation, regex elements, and string operations.