Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Well-founded relation
Formal sciences
Mathematics
Mathematical logic
Set theory
Graph Chatbot
Related lectures (13)
Login to filter by course
Login to filter by course
Reset
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Understanding Chaos in Quantum Field Theories
Explores chaos in quantum field theories, focusing on conformal symmetry, OPE coefficients, and random matrix universality.
Limit of a Sequence
Explores the limit of a sequence, convergence conditions, algebraic operations, and order relations.
Endomorphisms and automorphisms of totally disconnected locally compact groups V
Explores endomorphisms and automorphisms of totally disconnected locally compact groups, emphasizing surjective homomorphisms and free abelian groups.
Mathematical Recursion: Induction and Recursion
Explains mathematical induction for proving propositions true for all positive integers.
Real Numbers: Sets and Operations
Covers the fundamental concepts related to real numbers, including sets, notations, and operations.
Force-extension relation of a polymer
Explores the force-extension relation of polymers through experiments and models.
Total Order Relation: Properties of Real Numbers
Covers the concept of total order relation and properties of real numbers.
Quantum Mechanics and Linear Algebra
Covers Hermitian and Unitary operators, real number equivalents, and eigenvalues.
Logical Structure: Choice and Bar Induction Principles
Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.
Von Neumann Extractor: Optimal Binary Extraction Procedure
Covers the von Neumann Extractor, rate computation, and extraction rates.
Analytic Structure of Green's Function
Explores the analytic structure of Green's function, bound and scattering states, and perturbation theory.
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
Previous
Page 1 of 1
Next
