Propositional Logic Courses and Certifications

Insights into Mathematics

The Holy Grail of Propositional Logic - MathFoundations - N J Wildberger

Explore mechanized reasoning in propositional logic through Boole's Algebra, featuring two solutions to a Sir Galahad puzzle: Boole Reduction and Boole-Mobius transform.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

Insights into Mathematics

Propositional Logic and the Algebra of Boole - N J Wildberger

Overview of propositional logic, exploring atomic statements, connectives, truth values, and techniques for analysis. Covers tautologies, contradictions, truth tables, and equivalences, with a focus on Boole's algebraic approach.

• YouTube
• 33 minutes
• Self-Paced
• Free Video

Neuro Symbolic

Introduction to Propositional Logic

Explore propositional logic fundamentals: atoms, operators, truth tables, natural language meaning, and inference rules for enhanced logical reasoning skills.

• YouTube
• 36 minutes
• Self-Paced
• Free Video

Neuro Symbolic

Inference in Propositional Logic: From Basics to Lattice Theory Applications

Explore propositional logic inference, including lattice theory and fixpoint operators for entailment queries. Gain insights into logic programming and knowledge reasoning fundamentals.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

Introduction to Logic

20 ratings

Explore computational logic: encode information, reason logically, and discover applications in various fields. Gain a solid foundation in propositional, relational, and functional logic.

• Coursera
• 1 day 23 hours 9 minutes
• Self-Paced
• Paid Course

Neso Academy

Discrete Mathematics

21 ratings

Master discrete mathematical structures including sets, relations, functions, logic, and graph theory through comprehensive examples and problem-solving techniques.

• YouTube
• 17 hours 11 minutes
• Self-Paced
• Free Video

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

Logic for Computer Science

Master formal reasoning and logical thinking fundamentals essential for computer science, covering propositional logic, predicate logic, model checking, and program verification techniques.

• Coursera
• 1 day 4 hours 48 minutes
• Self-Paced
• Paid Course

An Introduction to Programming using Python

16 ratings

Learn Python basics, from fundamentals to advanced concepts like conditionals and loops. Gain practical skills through exercises and projects, culminating in programming a virtual robot to navigate obstacles.

• Coursera
• 9 hours 9 minutes
• Self-Paced
• Paid Course

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
• Self-Paced
• Free Video

An Introduction to Logic for Computer Science

10 ratings

Explore propositional logic fundamentals and applications in computer science, enhancing problem-solving skills through hands-on exercises and real-world examples.

• Coursera
• 7 hours 40 minutes
• Self-Paced
• Paid Course

Simons Institute

Look-Ahead SAT Solvers - Smart vs. Fast

Explore advanced SAT solver techniques, comparing "smart" look-ahead methods with "fast" conflict-driven approaches in this theoretical foundations lecture by Marijn Heule.

• YouTube
• 39 minutes
• Self-Paced
• Free Video

Simons Institute

The Limits of Proof

Explore proof systems, from classical logic to modern computational approaches, examining their strengths, limitations, and applications in mathematics and computer science.

• YouTube
• 56 minutes
• Self-Paced
• Free Video

Insights into Mathematics

Replacing Truth Tables and Boolean Equivalences - N J Wildberger

Explore the Algebra of Boole as a mathematical framework for propositional logic, replacing truth tables with simpler computations using 0's and 1's to verify logical statements.

• YouTube
• 35 minutes
• Self-Paced
• Free Video

Insights into Mathematics

Inference Rules via the Algebra of Boole - MathFoundations 275

Explore propositional logic inference rules using Boolean algebra, simplifying complex logical concepts and eliminating the need for memorization. Includes application to a Lewis Carroll puzzle.

• YouTube
• 27 minutes
• Self-Paced
• Free Video

Neuro Symbolic

Introduction to Logic Programming and Open World Reasoning

Explore logic programming and open world reasoning concepts, including fixpoint operators, negation, and consistency, using a simple propositional logic framework.

• YouTube
• 57 minutes
• Self-Paced
• Free Video