First-Order Logic Courses and Certifications

ACM SIGPLAN

The Decision Problem for Regular First Order Theories

Explore the extension of the Entscheidungsproblem to regular first-order theories, examining which decidable classes become undecidable and identifying subclasses that remain decidable in this context.

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

ACM SIGPLAN

A Lambda-Superposition Tactic for Isabelle/HOL

Discover the slam tactic for Isabelle/HOL, a λ-superposition-based automated theorem prover that directly targets higher-order logic without first-order translations.

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

Hausdorff Center for Mathematics

Model Theory and Definability - Session 2

Explore model-theoretic methods in number theory, focusing on compactness, quantifier elimination, and definability of henselian valuations with practical applications.

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

Hausdorff Center for Mathematics

Model Theory and Definability - Session 1

Discover model-theoretic methods and their applications in number theory, covering first-order logic, compactness, quantifier elimination, and definability of henselian valuations.

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

Hausdorff Center for Mathematics

Model Theory and Definability - 3

Explore model-theoretic methods in number theory, focusing on compactness, quantifier elimination, and definability of henselian valuations with applications.

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

CLEA, Free University of Brussels (VUB)

First Order and Second Order Logic in Systemic Thought - LEAP Lab Complexity Seminar Series #2

Explore the distinctions between first and second order logic and their applications in understanding complex adaptive systems through systemic thinking approaches.

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

Language, Proof and Logic

6 ratings at edX

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)

Discrete Math for Computer Science - Logic & Set Theory

Master propositional and predicate logic, set theory, and formal reasoning to build mathematical foundations essential for algorithm design and program correctness.

• Coursera
• 9 hours 24 minutes
• On-Demand
• Paid Course

Neso Academy

Discrete Mathematics

2 reviews

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

• YouTube
• 17 hours 11 minutes
• 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
• 11 hours 52 minutes
• On-Demand
• Paid Course

Introduction to Artificial Intelligence

Explore intelligent agents, search algorithms, constraint satisfaction, learning methods, logical reasoning, and AI's future in this comprehensive overview.

• Study.com
• 5 hours 20 minutes
• On-Demand
• Paid Course

NPTEL;  IIT Kharagpur

Artificial Intelligence

2 reviews

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

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

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

Reasoning with Logic

Exercise your rationality and learn the mathematical dialects of logic.

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