First-Order Logic Courses
IEEE via YouTube Buchi Automata and Fractals on R
Fields Institute via YouTube Tame Control Theory
Fields Institute via YouTube Semiring Semantics
Simons Institute via YouTube First-Order Logic from a Naproche Perspective
Hausdorff Center for Mathematics via YouTube Ramsey Quantifiers in First-Order Logic - Complexity and Applications to Verification
Simons Institute via YouTube Divide and Conquer - Concept-based Models for Efficient Transfer Learning
Stanford University via YouTube First Order Logic (FOL) Tutorial - Predicate Calculus and Knowledge Reasoning
Neuro Symbolic via YouTube Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01
Instituto de Matemática Pura e Aplicada via YouTube Beautiful Pairs Revisited
Centre International de Rencontres Mathématiques via YouTube