Propositional Logic Courses and Certifications

IIT Madras;  NPTEL

Artificial Intelligence: Knowledge Representation And Reasoning

Explore knowledge representation and reasoning in AI, covering propositional logic, first-order logic, and advanced topics like default reasoning and multi-agent scenarios.

• Swayam
• 12 weeks, 3-4 hours a week
• On-Demand
• Free Online Course

Discrete Mathematics

Master mathematical logic, set theory, algebraic structures, and graph theory fundamentals essential for computer science and AI applications.

• XuetangX
• On-Demand
• Free Online Course

Reasoning with Logic

Exercise your rationality and learn the mathematical dialects of logic.

• Brilliant
• 4 hours
• On-Demand
• Paid Course

Safety and Liveness of Robot Behaviors

Explore formal methods for designing robots, guaranteeing behavior, and identifying potential issues. Learn about safety and liveness properties in robotic systems, including multi-robot and human-robot interactions.

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

UCLA Automated Reasoning Group

Learning and Reasoning with Bayesian Networks

Master probabilistic reasoning and machine learning through comprehensive coverage of Bayesian networks, from basic probability theory to advanced inference algorithms and causal modeling.

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

Semantics in Linguistics - Entailment, Logic, Truth-Conditional Semantics, and Lambda Calculus (2024)

Explore linguistic meaning through entailment, set theory, propositional logic, predicate logic, quantifiers, and lambda calculus applications in natural language semantics.

• YouTube
• 4 hours 8 minutes
• On-Demand
• Free Video

Great Learning

Basics of Discrete Mathematics

1 review

Explore set theory, relations, functions, counting principles, and propositional logic in this comprehensive introduction to discrete mathematics, essential for computer science and AI.

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

Dr Trefor Bazett

The Longest Mathematical Proof Ever: Exploring Schur Number Five

Dive into the world's longest mathematical proof, exploring Schur number five and its 2-petabyte size. Uncover propositional logic, SAT solvers, and proof verification in this fascinating journey.

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

Neuro Symbolic

Neuro-Symbolic AI - Reviews and Tutorials

Explore comprehensive AI fundamentals from logic programming to deep learning, covering neuro-symbolic reasoning, machine learning bias, and practical PyReason tutorials.

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

UCLA Automated Reasoning Group

Bayesian Networks - Selected Lectures

Discover probabilistic reasoning fundamentals through Bayesian networks, covering syntax, semantics, inference methods, parameter learning, and advanced causality concepts.

• YouTube
• 7 hours 32 minutes
• On-Demand
• Free Video

Insights into Mathematics

Aristotle's Syllogisms Revisited with the Algebra of Boole - MathFoundations 280

Explore Aristotle's syllogisms through modern propositional logic and Boolean algebra, offering new insights into classical reasoning and its contemporary applications.

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

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.

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

Simons Institute

SAT-Solving

Explore SAT-solving techniques, from basic concepts to advanced strategies, covering variables, local constraints, operators, and interactive CDCL procedures for efficient problem-solving.

• YouTube
• 2 hours 3 minutes
• On-Demand
• Free Video

CppNow

Trees for Logic and Parsing in C++

Explore efficient implementation of recursive tree-types in C++ for logic and parsing, with insights on construction, inspection, and replacement of subtrees.

• YouTube
• 1 hour 25 minutes
• On-Demand
• Conference Talk