Concept
Apply
Related lectures (32)
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Coq Workshop: Inductive Data Types and Proofs
Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.
Harmonic Series and Geometric Series
Covers the fundamental concepts of harmonic series and geometric series, including their convergence criteria and applications.
R Programming: Conditions, Loops, Functions & Graphics
Covers conditions, loops, functions, and graphics in R programming with practical examples.
Big-step semantics: Defining arithmetic expressions and commands
Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.
Exam Problems: Nonlinear Equations & ODEs
Covers exam-like problems on nonlinear equations, ODEs, and numerical methods.
Generalized Integrals: Type 2
Covers the integration of limit expansions and continuous functions by pieces.
Analysis I: Derivatives and Limits
Explores derivatives, limits, L'Hôpital's rule, and polynomial expansions in Analysis I.
Integral Calculus: Type 2 Integrals and Convergence Study
Explores type 2 integrals and their convergence study with illustrative examples.
Quantum Algorithms: Deutsch/Grover's
Explores the Deutsch Algorithm and Grover's Algorithm in quantum computing, showcasing their advantages over classical algorithms.