Induction Courses and Certifications

Animated biology With arpan

Induction and Competence in Amphibian Lens Development

Explore amphibian lens induction, focusing on the concepts of induction and competence in developmental biology. Gain insights into key processes shaping embryonic development.

• YouTube
• 13 minutes
• On-Demand
• Free Video

Mathematical Thinking in Computer Science

2282 ratings at Coursera

Develop critical thinking skills for computer science through induction, recursion, logic, and invariants. Solve interactive puzzles to grasp key concepts in algorithms, data science, and machine learning.

• Coursera
• 1 day 17 hours 45 minutes
• On-Demand
• Paid Course

A-Level Further Mathematics for Year 12 - Course 2: 3 x 3 Matrices, Mathematical Induction, Calculus Methods and Applications, Maclaurin Series, Complex Numbers and Polar Coordinates

Develop your thinking skills, fluency and confidence in A-level further maths and prepare for undergraduate STEM degrees.

• edX
• 7 weeks, 2-4 hours a week
• On-Demand
• Free Online Course (Audit)

A-Level Further Mathematics for Year 12 - Course 2: 3 x 3 Matrices, Mathematical Induction, Calculus Methods and Applications, Maclaurin Series, Complex Numbers and Polar Coordinates

Develop your thinking skills, fluency and confidence in A-level further maths and prepare for undergraduate STEM degrees.

• edX
• 7 weeks, 2-4 hours a week
• On-Demand
• Free Online Course (Audit)

IEEE

ProVerif with Lemmas, Induction, Fast Subsumption, and Much More

Explore advanced features of ProVerif for protocol verification, including lemmas, induction, and fast subsumption techniques to enhance security analysis capabilities.

• YouTube
• 17 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Incremental Proof Development in Dafny with Module-Based Induction

Explore module-based induction in Dafny for stable, maintainable proofs about inductive data structures. Enhance proof development with Coq-like principles.

• YouTube
• 16 minutes
• On-Demand
• Free Video

BIMSA

Perverse Sheaves, Hopf Algebras and Induction/Restriction Formalism

Explore advanced mathematical connections between perverse sheaves, Hopf algebras, and induction/restriction methods in this specialized algebraic geometry lecture.

• YouTube
• 57 minutes
• On-Demand
• Free Video

Animated biology With arpan

Eye Lens Induction - Developmental Biology, Lens Formation, Induction and Competence

Explore eye lens induction mechanisms in developmental biology, covering lens formation processes, cellular induction pathways, and competence factors in embryonic development.

• YouTube
• 13 minutes
• On-Demand
• Free Video

Eddie Woo

Further Proof by Mathematical Induction

Master advanced mathematical induction techniques through factorial identities, Fibonacci sequences, inequality proofs, divisibility, geometry, and recursive formulas with comprehensive examples.

• YouTube
• 7 hours 5 minutes
• On-Demand
• Free Video

NITTTR

Induction, Synchronous and Special Electrical Machines

Explore induction, synchronous, and special electrical machines through comprehensive 8-week study covering motor principles, operation, and applications in power systems.

• Swayam
• 12 weeks
• On-Demand
• Free Online Course

Backward Induction: Chess, Strategies, and Credible Threats in Game Theory - Lecture 15

Explore game theory concepts like Zermelo's theorem, perfect information, and Nash equilibria in sequential games. Learn about backward induction and its implications for strategic decision-making.

• YouTube
• 1 hour 13 minutes
• On-Demand
• Free Video

Sequential Games: Moral Hazard, Incentives, and Backward Induction

Explore sequential games, moral hazard, and incentive design through borrower-lender scenarios. Learn backward induction, commitment strategies, and their applications in game theory.

• YouTube
• 1 hour 11 minutes
• On-Demand
• Free Video

Backward Induction - Reputation and Duels in Game Theory - Lecture 16

Explore game theory concepts like reputation-building, chain-store paradox, and dueling. Learn to apply dominance and backward induction in strategic decision-making and pre-emption games.

• YouTube
• 1 hour 16 minutes
• On-Demand
• Free Video

Backward Induction and Optimal Stopping Times in Financial Theory - Lecture 16

Explore backward induction in financial theory, from calculating default probabilities to solving optimal stopping problems like deciding when to marry, revealing the surprising value of options.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

Stanford Seminar 2022 - Transformer Circuits, Induction Heads, In-Context Learning

Explore reverse engineering of transformer language models, focusing on induction head circuits and their role in in-context learning. Gain insights into neural network interpretability and AI safety.

• YouTube
• 1 hour
• On-Demand
• Free Video