Formal Logic Courses and Certifications

MindYourDecisions

Can You Solve The Marriage Logic Puzzle - 80% Get It Wrong

Discover how a deceptively simple marriage logic puzzle connects to advanced mathematical concepts about irrational numbers and rational outcomes.

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

An Introduction to Formal Logic

67 ratings at The Great Courses Plus

<p>Logic is the key to philosophy, mathematics, and science. Learn logic from an award-winning professor of philosophy.</p>

• The Great Courses Plus
• 12 hours 21 minutes
• On-Demand
• Free Trial Available

Hausdorff Center for Mathematics

Mario Carneiro - Metamath Zero: Export Your Logic

Explore Metamath Zero, a powerful tool for exporting and formalizing mathematical logic, enhancing proof verification and theorem-proving capabilities.

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

Simons Institute

Transformer Expressivity and Formal Logic

Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.

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

Simons Institute

Leveraging Structure in Formal Logic-Guided Reinforcement Learning

Explore how formal task specifications in temporal logic can enhance reinforcement learning by enabling reward optimization under constraints, addressing reward sparsity, and improving multi-agent cooperation through task decomposition.

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

Microcredential

Mathematics for Engineering

192 ratings at Coursera

Master essential mathematical foundations in calculus, probability, linear algebra, discrete mathematics, and logic for engineering, data science, and AI careers.

• Coursera
• 16 weeks, 10 hours a week
• On-Demand
• Paid Course
• 5 courses

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Discrete Mathematics for Computer Science and Engineering

Master discrete mathematical foundations essential for computer science, covering proofs, sets, functions, relations, counting, recursion, graphs, and algebraic structures.

• Coursera
• 1 day 19 hours 52 minutes
• On-Demand
• Paid Course

Hausdorff Center for Mathematics

Formalisation and Automation of Foundational Theories - A LogiKEy Perspective

Explores formalizing theories beyond mathematics, emphasizing legal and ethical domains for AI control. Discusses intelligent cut-introduction in proof automation and advocates for increased focus on free logic and counter-model finding.

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

ACM SIGPLAN

Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24

Explore unified compositional formal methods for program correctness and incorrectness reasoning, focusing on exact separation logic and the Gillian platform.

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

Harvard CMSA

Logic and Formal Methods in Mathematics and Machine Learning

Explore fundamental connections between mathematical logic and formal methods while examining their applications in modern machine learning and computational systems.

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

ACM SIGPLAN

Formal Foundations for Translational Separation Logic Verifiers

Explore a formal framework for reasoning about translational separation logic verifiers, featuring a generic core IVL that connects input programs with back-end verifiers through operational semantics and angelic non-determinism.

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

linux.conf.au

Let's Use an Automated Theorem Prover to Verify Video Games - I Swear This Is More Fun Than It Sounds

Explore using Z3 theorem prover to detect and fix bugs in video game systems. Learn to apply formal logic for diagnosing problems and discovering impossibilities in complex game mechanics.

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

Institut des Hautes Etudes Scientifiques (IHES)

Why are LLMs not Better at Finding Proofs?

Explore why large language models struggle with mathematical proof-finding, as Timothy Gowers examines their limitations and potential in this scientific analysis.

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

Discover AI

AI Singularity Discovered - Language2Logic Framework for Structured Reasoning

Discover how Language2Logic revolutionizes AI reasoning by separating logic from language, using formal mathematical blueprints and bilevel reinforcement learning for complex problem-solving.

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