Logic Courses and Certifications

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 2

Explore advanced algebraic structures in logic and their applications to database query evaluation, building on fundamental concepts.

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

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 1

Explore algebraic structures' role in logic and query evaluation, focusing on their applications in database theory and AI algorithms.

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

Simons Institute

Logic and Probabilistic Circuits - Lecture 1

Explore logical reasoning and probabilistic modeling techniques, focusing on their applications in database theory and artificial intelligence.

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

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Lecture 3

Explore algebraic structures in logic and query evaluation, focusing on advanced concepts and their applications in database theory and AI.

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

Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 4

Explore algebraic structures' role in logic and query evaluation, focusing on advanced concepts and their applications in database theory and AI.

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

Wondrium

Solving Impossible Puzzles - Math Logic and Games

Explore mathematical logic to solve classic puzzles like the 15 Puzzle and Peg Solitaire. Learn strategies, understand common features, and discover how to approach seemingly impossible challenges using math principles.

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

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

Hausdorff Center for Mathematics

Graham Leigh: On the Computational Content of Classical Sequent Calculus

Explore computational interpretations of classical logic through Herbrand's Theorem, focusing on a language-theoretic representation using higher-order recursion schemes in classical sequent calculus.

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

Strange Loop Conference

War Time Proofs and Futuristic Programs

Exploring Gödel's Dialectica interpretation and its connection to linear logic type theory, revealing how past mathematical ideas influence modern programming languages and type systems.

• YouTube
• 41 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

Write your own Operating System

Gödel's Proof of God - A Logician's Perspective

Explore Gödel's ontological argument for God's existence through a logician's lens, examining key concepts and the proof's structure.

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

Insights into Mathematics

A Brief History of Logic: From Leibniz to Boole - Math Foundations 254

Explore the evolution of logic from Leibniz to Boole, covering key thinkers and innovations in systematic reasoning, diagram representations, and the introduction of mathematics to classical logic.

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

Insights into Mathematics

A Brief History of Logic: Aristotle and Deduction - Math Foundations 251

Explore Aristotle's foundational work in logic, including syllogisms, logical forms, and deductive reasoning, tracing its development from ancient Greece to its lasting impact on modern philosophy.

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

Simons Institute

Datalog and Equality Saturation

Explore connections between Datalog and equality saturation, covering applications, relationships to the chase, and new query evaluation techniques for optimized compiler design.

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