Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Optimal Sequence Selection
Graph Chatbot
Related lectures (30)
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
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.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Harmonic Forms: Main Theorem
Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Curvature and Inflection Points
Explores curvature, inflection points, and angular functions in plane curves, highlighting the importance of inflection points.
Soundness and Completeness of a Propositional Proof System
Explores the importance of soundness and completeness in a propositional proof system.
Untitled
Differential Forms Integration
Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.
Compression: Kraft Inequality
Explains compression and Kraft inequality in codes and sequences.
Variational Formulation: Information Measures
Explores variational formulation for measuring information content and divergence between probability distributions.
Convergence in Law: Theorem and Proof
Explores convergence in law for random variables, including Kolmogorov's theorem and proofs based on probability lemmas.
Topology of Riemann Surfaces
Covers the topology of Riemann surfaces, focusing on orientation and orientability.
Generalization Error
Explores generalization error in machine learning, focusing on data distribution and hypothesis impact.
Distance Board: Compression
Covers the concept of compression and distance boards.
Entanglement: Bell Inequalities
Covers entanglement, Bell inequalities, CSHS requirements, EPR paradox, and experimental verification in quantum mechanics.
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.
Previous
Page 1 of 2
Next
