Lectures related to The Languages of Isabelle: Isar, ML, and Scala

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Explains compression and Kraft inequality in codes and sequences.

Explores the composition of applications in mathematics and the importance of understanding their properties.

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Covers examples of direct and indirect proofs in mathematics.

Explores the convergence of Fourier series in L² space with trigonometric polynomials and approximation theorems.

Covers distributions, derivatives, convergence, and continuity criteria in function spaces.