Lectures related to Counting: Permutations and Combinations

Combinatorial Mathematics

Explores combinatorial mathematics, covering permutations, combinations, and binomial coefficients, along with probability and statistics concepts.

Type Systems: Preservation and Typing Rules

Covers preservation, substitution, weakening, and sequencing in type systems.

Indicial Notation and Tensor Components

Covers the manipulation of indicial notation and tensor components, focusing on concepts such as indical notation, free indices, contraction, and the dot product.

Networked Control Systems: Properties and Connectivity

Explores properties of matrices, irreducibility, and graph connectivity in networked control systems.

Recap of Group Theory

Provides a recap of group theory, defining a group as a set with a multiplication operation.

Permutations and Signature

Explores permutations, signature, and alternating multilinear forms in vectors.