Logic Courses and Certifications

Schmid College, Chapman University

Queering Consequence: A Framework for Liberatory Logics

Explore gender critical kinds and their impact on logical revision, examining feminist approaches and technical implications for developing gender critical logical frameworks.

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

Schmid College, Chapman University

Definition and Content in Frege's Logic - OCIE Seminar

Explore Frege's logic, focusing on definition's role in mathematics. Examine key concepts, including cardinal number definition and its implications for logicism, conservativity, and Russell's Paradox.

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

UCLA Automated Reasoning Group

Beyond Truth and Falsehood - Logic as a Calculus of Events in AI

Explore logic's evolving role in AI, from truth calculus to event calculus, enabling advancements in probabilistic reasoning, machine learning, and explainable AI systems.

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

Neuro Symbolic

Introduction to Propositional Logic for AI

Explore propositional logic fundamentals, including syntax, semantics, and key concepts for AI applications. Gain insights into logic programming and its role in neuro-symbolic AI.

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

Centre International de Rencontres Mathématiques

Algebra vs Logic over Generalized Words

Explore algebraic and logical perspectives on generalized words, comparing approaches and examining key concepts in discrete mathematics and theoretical computer science.

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

NPTEL-NOC IITM

Truth, Logic, and Provability in Artificial Intelligence - Lecture 2.3

Explore truth, logic, and provability in artificial intelligence, focusing on knowledge representation and reasoning concepts.

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

ACM SIGPLAN

Logic and Decidability in Programming Languages - Session Preview II

Explore logic and decidability in programming languages. Gain insights into theories of arithmetic, linear real rings, and state machines. Discover new minimization algorithms and their applications.

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

Simons Institute

Algorithmic Aspects of Semiring Provenance for Stratified Datalog

Explores semiring provenance for stratified datalog, focusing on efficient computation of greatest fixed points in absorptive semirings and circuit representations for polynomial annotations.

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

TEDx

Unlocking the Hidden Science of Reasoning - Applying Logic to Improve Personal and Professional Lives

Discover how logic can be applied as a powerful science to enhance personal and professional decision-making, challenging conventional understanding of reasoning.

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

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

Lógica de Programação Para Iniciantes e Estudantes

1659 ratings at Udemy

Aprenda os Principais Pontos para Começar a Programar Computadores, Exemplos Reais e Aplicados em Diversas Linguagens.

• Udemy
• 4-5 hours
• On-Demand
• Paid Course

ロジカルシンキング＆ライティング基礎編

1378 ratings at Udemy

論理性と説得性を重視した思考と表現技術の向上を目指して

• Udemy
• 4-5 hours
• On-Demand
• Paid Course

逻辑学概论

Dive into the fundamental principles of logic, reasoning methods, and historical development from ancient Chinese thought to modern mathematical logic, enhancing critical thinking and analytical skills.

• XuetangX
• On-Demand
• Free Online Course