Induction Courses and Certifications

Mathematical Thinking in Computer Science

2243 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)

Critical Thinking/Writing

Enhance critical thinking, writing, and research skills in philosophy, exploring diverse human experiences and logical reasoning techniques.

• California Community Colleges System
• 17 weeks, 3 hours a week
• 19th Aug, 2024
• Paid Course

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

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

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 Video

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 Video

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 Video

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 Video

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 Video

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 Video

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

Neuro Symbolic

Introduction to Abductive Inference in AI

Explore abductive inference in AI, covering basic concepts, types, and applications. Learn about geospatial abduction, probabilistic horn abduction, and its use in perception.

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

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