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

Home

Lecture

Mathematical Recursion: Induction and Recursion

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (51)

Logic and Proof Techniques Log in to Mediaspace to watch this video

Covers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.

Function Composition and Integers Log in to Mediaspace to watch this video

Covers function composition and integers, including properties and examples.

Understanding Equivalence Relations and Integer Construction Log in to Mediaspace to watch this video

Covers the construction of integers through equivalence relations and their properties in mathematics.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Binomial Formula, Euler Number, Infinity Log in to Mediaspace to watch this video

Covers the binomial formula, Euler number, and infinity, including induction and convergence of sequences.

Linear Algebra: Integers Log in to Mediaspace to watch this video

Explores linear algebra over integers, emphasizing solutions to A.x=b equations and Hermite normal form.

Closure Conversion: Representation and Transformation Log in to Mediaspace to watch this video

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Untitled Log in to Mediaspace to watch this video

Cauchy-Hadamard Theorem Log in to Mediaspace to watch this video

Explores the Cauchy-Hadamard theorem on convergence radius of power series and real analytical solutions.

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.

Hadamard Factorisation Log in to Mediaspace to watch this video

Covers the Hadamard factorisation theorem for entire functions of order at most 1.

Introduction to Analysis Log in to Mediaspace to watch this video

Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

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.

Relative Homology: Exact Sequence Log in to Mediaspace to watch this video

Covers the long exact sequence of relative homology groups and chain complexes.

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.

Lipschitz Maps and Compact Domains Log in to Mediaspace to watch this video

Covers Lipschitz maps, compact domains, changing variables, counting problems, and probability of ideals.

Shor's factoring algorithm: Quantum Phase Estimation Log in to Mediaspace to watch this video

Covers Shor's factoring algorithm and the link between order finding and factoring.

Induced Homomorphisms on Relative Homology Groups Log in to Mediaspace to watch this video

Covers induced homomorphisms on relative homology groups and their properties.

Different Infinities: Cantor's Theorem Log in to Mediaspace to watch this video

Explains Cantor's theorem comparing cardinalities of different number sets.

Page 2 of 3