Login to filter by course Login to filter by course Reset
Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
Discusses the Dini theorem for the uniform convergence of monotonically increasing or decreasing functions.
Explores the theory of quasi-convexity in variational problems from continuum mechanics, discussing its principles, applications, and relationship with convexity.
Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.
