1.5.1 Predicate Logic 1: Video

1.5.2 Predicate Logic 2: Video

Введение в пропозициональную логику

2.1.4 Pulverizer: Video

Семантика: предикатная логика

Lecture 1: Predicates, Sets, and Proofs

How to Read Logic

Predicate Logic Symbolization Summary

Logic 7 - First Order Logic | Stanford CS221: AI (Autumn 2021)

SEM122 - Predicate Logic I

Predicate Logic Semantics - Models

1.5.4 Predicate Logic 3: Video

Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)

2.3.3 The Ring Z: Video

Квантификаторы - Логика - Дискретная математика

SEM122 - Predicate Logic II

Aristotelian Logic

The Math Needed for Computer Science

Why Does Fire BURN? Feynman's Answer Will DESTROY Your Reality

LING 324 [6-3] Translations in Predicate Logic

SCOPE and FREE and BOUND Variables in Predicate Logic