Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Introduction to Coq: Arithmetic Expressions and Evaluators

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (50)

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Effective Altruism: AI Safety and Governance Log in to Mediaspace to watch this video

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Analysis IV: Measurable Sets and Properties Log in to Mediaspace to watch this video

Covers the concept of outer measure and properties of measurable sets.

Memory Safety and Client/Server Architecture: Key Concepts Log in to Mediaspace to watch this video

Covers memory safety principles and the client/server architecture in system design.

MATLAB: Crash Course in MATLAB Log in to Mediaspace to watch this video

Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.

Untitled Log in to Mediaspace to watch this video

Laplace Equation: Decomposition and Solutions Log in to Mediaspace to watch this video

Covers the Laplace equation, decomposition of linear problems, and solutions through separation of variables.

Numerics for Fluids, Structures and Electromagnetics: Projects Rules Log in to Mediaspace to watch this video

Students in 'Numerics for Fluids, Structures and Electromagnetics' must complete projects individually or in pairs, following specific rules and evaluation criteria.

Formal Logic: Proofs and Sets Log in to Mediaspace to watch this video

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

Distribution & Interpolation Spaces Log in to Mediaspace to watch this video

Explores distribution and interpolation spaces, showcasing their importance in mathematical analysis and the computations involved.

Cheeger's Inequality Log in to Mediaspace to watch this video

Explores Cheeger's inequality and its implications in graph theory.

Sparsest Cut: Leighton-Rao Algorithm Log in to Mediaspace to watch this video

Covers the Leighton-Rao algorithm for finding the sparsest cut in a graph, focusing on its steps and theoretical foundations.

Calculus of Variations: Some Topics Log in to Mediaspace to watch this video

Covers fundamental topics in calculus of variations, including minimizers and the Euler-Lagrange equation.

Variational Problems: Quasi-Convexity Log in to Mediaspace to watch this video

Explores the theory of quasi-convexity in variational problems from continuum mechanics, discussing its principles, applications, and relationship with convexity.

Fourier Transform: Properties and Applications Log in to Mediaspace to watch this video

Covers the properties and applications of the Fourier transform and its relation to Heisenberg's uncertainty principle.

Integration on H_pxH and Arithmetic Log in to Mediaspace to watch this video

Explores integration on H_pxH and arithmetic properties, including norms, structures, and polynomial factorization.

Closest Vector Problem: Voronoi Cells Log in to Mediaspace to watch this video

Explores the Closest Vector Problem and Voronoi cells in lattice reduction algorithms.

Analysis IV: Convergence Theorems and Integrable Functions Log in to Mediaspace to watch this video

Covers convergence theorems and integrable functions, including the Lebesgue integral and Borel-Cantelli sets.

Page 2 of 3