Lectures related to Structure (mathematical logic)

Covers the basics of proofs, defining sets, and applications between sets.

Covers the Amyli language, including abstract syntax, program representation, and operational semantics.

Explores Monstrous Moonshine, focusing on the 1979 discovery and its mathematical connections.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Explores quadratic forms, symmetric bilinear forms, and their properties.

Explores Lie groups SU(2) and SO(3), emphasizing their mathematical properties and significance in physics.

Covers commutative diagrams, homotopy, and constructing topological spaces.

Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.