Induction Courses and Certifications

UC San Diego;  Higher School of Economics

Mathematical Thinking in Computer Science

2236 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
• Free Online Course (Audit)

Learn about discrete math, the math of computer science!

• Codecademy
• 5 hours
• On-Demand
• Free Trial Available

Explore induction, strong induction, and various proof methods. Learn to prove theorems and model proofs using Python, gaining essential skills for computer science mathematics.

• Codecademy
• 1 hour
• On-Demand
• Free Trial Available

Learning Lounge

Recruitment, Selection and Induction: The Basics

1 rating at FutureLearn

Build your skills and knowledge of the recruitment pipeline and learn how to manage the selection and induction of new staff.

• FutureLearn
• 1 week, 2 hours a week
• On-Demand
• $49.00

Institute for Advanced Study

On the Kudla-Rapoport Conjecture - Chao Li

Explore the Kudla-Rapoport conjecture, Hurwitz class numbers, and their connections to Eisenstein series and L-functions in this advanced number theory seminar by Chao Li.

• YouTube
• 1 hour 14 minutes
• On-Demand
• Free Online Course

Spahn's Science Lectures

College Physics 2 - Charge, Charging, and Atoms

Explore conductors, insulators, and charging processes through conduction and induction. Gain atomic-level insights into electrostatic phenomena and electric dipoles.

• YouTube
• 28 minutes
• On-Demand
• Free Online Course

Institute for Advanced Study

A Brief Tour of Proof Complexity - Lower Bounds and Open Problems - Toniann Pitassi

Explore proof complexity, lower bounds, and open problems in computer science and discrete mathematics with insights on proof systems and their limitations.

• YouTube
• 1 hour 46 minutes
• On-Demand
• Free Online Course

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

Michael Penn

Greatest Common Divisor of Fibonacci Numbers

Explore the fascinating relationship between Fibonacci numbers and their greatest common divisors through a rigorous mathematical proof and analysis.

• YouTube
• 24 minutes
• On-Demand
• Free Online Course

Problem Solving Techniques

Explore advanced problem-solving techniques including the Pigeonhole Principle, induction, symmetry, and number theory applications to enhance analytical skills.

• YouTube
• 2 hours 30 minutes
• On-Demand
• Free Online Course

MITCBMM

Statistical Learning Theory and Applications - Class 7

Explore statistical learning theory, covering least squares, gradient descent, regularization, and induction, with insights into historical context and practical applications.

• YouTube
• 1 hour 27 minutes
• On-Demand
• Free Online Course

Logic and Computational Thinking

2 reviews

Build a solid foundation for programming by learning basic logic and exploring how logic forms the foundation of computer programs.

• edX
• 4 weeks, 2-3 hours a week
• Finished
• Free Online Course (Audit)

Ural Federal University

Scientific Methods and Research

Learn how to conduct research based on scientific methodology and analyze scientific articles and conduct experiments.

• edX
• 5 weeks, 3-4 hours a week
• Finished
• Free Online Course (Audit)

Universitat de València

Quot erat demonstrandum. Curso cero de Matemáticas

Introducción a las pruebas matemáticas, teoría de conjuntos y números complejos. Desarrolla habilidades de razonamiento formal y comprensión del lenguaje matemático.

• Miríadax
• 4 weeks, 5 hours a week
• Finished
• Free Online Course