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
Counting with Recurrence Relations
Graph Chatbot
Related lectures (29)
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Proofs: Contraposition vs. Contradiction
Covers the concepts of contraposition and contradiction in proofs.
Compression: Kraft Inequality
Explains compression and Kraft inequality in codes and sequences.
Proofs: Direct and Indirect Methods
Covers examples of direct and indirect proofs in mathematics.
Distance Board: Compression
Covers the concept of compression and distance boards.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Holomorphic Functions: Taylor Series Expansion
Covers the basic properties of holomorphic maps and Taylor series expansions in complex analysis.
Entanglement: Bell Inequalities
Covers entanglement, Bell inequalities, CSHS requirements, EPR paradox, and experimental verification in quantum mechanics.
Proofs and Computations: A Journey Through Mathematical Theory
Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Generalization Error
Explores tail bounds, information bounds, and maximal leakage in the context of generalization error.
Linear Similarities and Similitudes
Explores linear similarities and similitudes, demonstrating their properties and applications in geometry.
Monodromy: Action and Classes
Covers the concept of monodromy action in the context of coverings and explores transitivity and unique classes.
Basic Properties of Conditional Expectation
Covers basic properties of conditional expectation and Jensen's inequality in probability theory.
Set Cover: Integrality Gap
Explores the integrality gap concept in set cover and multiplicative weights algorithms.
Cartesian Product in Linear Algebra
Explores the Cartesian product in linear algebra and the method of induction for proving propositions.
Distortion of the Hamming Cube
Log in to Mediaspace to watch this video
Explores the distortion of the Hamming cube and the effects of flipping individual bits.
Fourier Inversion Formula
Log in to Mediaspace to watch this video
Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.
Engineering Projects Overview
Log in to Mediaspace to watch this video
Provides an overview of engineering projects, troubleshooting tips, and practical demonstrations on signal processing and Arduino integration.
Previous
Page 1 of 2
Next