Logic Courses and Certifications

Alan Turing Institute

Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

Explore a declarative framework for machine learning using logic-defined hypotheses, discussing learnability results for various logics over strings, trees, and graphs.

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

Azure Serverless Functions and Logic Apps

4886 ratings at Udemy

Learn about the new Serverless model for Cloud Apps, using Azure Functions, Logic Apps, and Event Grid.

• Udemy
• 2 hours 10 minutes
• On-Demand
• Paid Course

The Python Bible™ | Everything You Need to Program in Python

56851 ratings at Udemy

Build 11 Projects and go from Beginner to Pro in Python with the World's Most Fun Project-Based Python Course!

• Udemy
• 9 hours 9 minutes
• On-Demand
• Paid Course

The Royal Institution

How to Think Like a Mathematician - Applying Logic to Real-World Situations

Discover how mathematical thinking can enhance clarity in everyday situations, from fake news to privilege, using logic and precise reasoning to navigate complex issues.

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

3Blue1Brown

The AI That Solved IMO Geometry Problems - How AlphaGeometry Combines Logic and Intuition

Discover how AlphaGeometry revolutionizes mathematical problem-solving by combining logical reasoning with AI intuition to tackle Olympic-level geometry challenges.

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

Insights into Mathematics

The Algebra of Boole - Logic and Circuit Analysis - MF250-280

Explore Boole's algebra for logic and circuit analysis, covering historical foundations, logical operations, transistors, and systematic deduction methods.

• YouTube
• 14 hours 24 minutes
• On-Demand
• Free Video

TrevTutor

Philosophical Logic - 2024 Lectures

Master propositional and predicate logic through translations, truth tables, trees, and natural deduction proofs for philosophy, mathematics, and computer science applications.

• YouTube
• 9 hours 43 minutes
• On-Demand
• Free Video

Applied Logic (Level 2)

3845 ratings at Udemy

This course will give an intermediate-level student the experience necessary to originate complex, logical solutions.

• Udemy
• 8 hours 28 minutes
• On-Demand
• Paid Course

Azure Function, Logic Apps & Blob Storage for .NET Developer

3453 ratings at Udemy

Master Azure Functions, Azure Logic Apps, Azure Blob Storage and Azure Cache for Redis with real world .NET Core Project

• Udemy
• 6 hours 4 minutes
• On-Demand
• Paid Course

Mixing and Mastering in Logic Pro - Music Production Guide

2170 ratings at Udemy

Learn Mixing and Mastering in Logic Pro with our follow-along music production guide for mixing and mastering music

• Udemy
• 8 hours 52 minutes
• On-Demand
• Paid Course

Hausdorff Center for Mathematics

Constructive Mathematics in Univalent Type Theory

Explore constructive mathematics within univalent type theory, delving into advanced concepts and their applications in modern mathematical foundations.

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

Hausdorff Center for Mathematics

Cyclic Modal Proofs

Exploring cyclic proof theory for modal fixed point logic, its applications in deriving completeness results, and its advantages over traditional finite tree proofs in applied logic.

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

Fields Institute

What Makes a Proof Acceptable?

Explore the criteria for acceptable mathematical proofs, examining rigor, clarity, and convincing arguments in this thought-provoking lecture by Andrew Granville.

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

Simons Institute

An Approximate Skolem Function Counter

Explores an algorithm for counting Skolem functions in quantified Boolean formulas, addressing challenges in synthesis problems and providing PAC guarantees for approximate counting.

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

Simons Institute

Compiling FO Sentences to Circuits - Upper Bounds and Lower Bounds on the Size of the Circuit

Explores compilation of Boolean formulas into circuits, focusing on provenance of FO sentences. Examines size complexity and limitations of various circuit types for model counting.

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