First-Order Logic Courses and Certifications

Simons Institute

Ramsey Quantifiers in First-Order Logic - Complexity and Applications to Verification

Exploring Ramsey quantifiers in first-order logic, their complexity, and applications to verification, with focus on liveness and termination in infinite-state systems.

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

Hausdorff Center for Mathematics

First-Order Logic from a Naproche Perspective

Explore first-order logic through the lens of Naproche, a natural language proof checker, in this insightful talk by Peter Koepke at the School on Formal Mathematics.

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

Simons Institute

Semiring Semantics

Explore semiring semantics in logic, evaluating statements with values beyond true/false. Learn applications in database queries, provenance analysis, and extensions to various logical systems.

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

Neuro Symbolic

First Order Logic (FOL) Tutorial - Predicate Calculus and Knowledge Reasoning

Explore first-order logic fundamentals: predicates, constants, variables, quantification, and graphical representations. Essential for knowledge reasoning and logic programming.

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

ACM SIGPLAN

Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023

Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.

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

ACM SIGPLAN

Finding Infinite Counter-Models in Deductive Verification

Explore innovative techniques for finding infinite counter-models in deductive verification, enhancing automated solvers' capabilities and providing valuable insights for verification failures.

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

IEEE

CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More

Explore compiler infrastructure for proof systems and software verification, focusing on CirC's capabilities, multiparty computation, and potential applications in various domains.

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

Language, Proof and Logic

3 reviews

Explore formal logic concepts, from basics to advanced theories, using FOL language. Develop skills in truth analysis, proof techniques, and logical reasoning.

• edX
• 15 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Semantics of First-Order Logic

6 ratings at edX

Explore first-order logic's language, semantics, and limitations. Investigate sentence truth, logical truths, and relationships between expressions. Gain foundational knowledge for advanced logic studies.

• edX
• 4 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Divide and Conquer - Concept-based Models for Efficient Transfer Learning

Exploring concept-based interpretable AI models for efficient transfer learning in healthcare, focusing on generalizability and minimal data requirements for domain adaptation in medical imaging.

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

Computer Science 311: Artificial Intelligence

Explore AI fundamentals, intelligent agents, search techniques, logic, and reasoning. Gain insights into current and future AI applications through engaging lessons and expert instruction.

• Study.com
• 9 hours 12 minutes
• On-Demand
• Paid Course

Foundations of Logic

This course is for students interested in formal methods of logic. The lecturer will lead a systematic study of the basics of modern logic.

• XuetangX
• On-Demand
• Free Online Course

NPTEL;  IIT Kharagpur

Artificial Intelligence

1 review

Comprehensive exploration of AI fundamentals, covering search algorithms, logic, planning, reasoning under uncertainty, and machine learning techniques like decision trees and neural networks.

• YouTube
• 1 day 4 hours
• On-Demand
• Free Video

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

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