Lectures related to Proof by infinite descent

Matrix Determinant: Factorization and Linear Equations

Covers the determinant of a matrix, factorization, and linear equations with infinite solutions.

Introduces convex sets and functions, discussing minimizers, optimality conditions, and characterizations, along with examples and key inequalities.

Linear Equations: Introduction and Solutions

Covers the introduction and solutions of linear equations, including methods for solving systems and determining the number of solutions.

Systems of Linear Equations and Matrices

Covers the definition of linear equations, systems, solutions, and representations in 2D and 3D.

The Languages of Isabelle: Isar, ML, and Scala

Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.