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
Lecture
Strong Induction: The Power of Mathematical Proof
Graph Chatbot
Related lectures (25)
Previous
Page 2 of 3
Next
Proofs: Contraposition vs. Contradiction
Covers the concepts of contraposition and contradiction in proofs.
Complexity & Induction: Algorithms & Proofs
Explores worst-case complexity, mathematical induction, and algorithms like binary search and insertion sort.
Subtraction: Absolute Value and Opposite
Covers absolute value, subtraction in integers, and comparisons between integers.
Proofs: Direct and Indirect Methods
Covers examples of direct and indirect proofs in mathematics.
Elementary Algebra: Numeric Sets
Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.
Linear Algebra: Propositions and Sets
Covers propositions indexed by vectors, proof by induction, and Cartesian products of sets.
Geometric Series: Convergence and Applications
Explores the convergence of geometric series and their applications in real-world problems.
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.
Extrema and Lagrange Multipliers
Explores Lagrange multipliers for finding extrema under constraints and various proof methods.
Integers: Elementary Concepts
Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
