Все публикации

Predicate Logic Part0:33:26

Predicate Logic Part 1: Types of Symbols and Syntax of Predicate Logic

Propositional Logic Part0:45:45

Propositional Logic Part 8: Completeness and Compactness

Propositional Logic Part0:26:22

Propositional Logic Part 7: Lindenbaum's Theorem

Propositional Logic Part0:17:35

Propositional Logic Part 6.5: Zorn's Lemma

Propositional Logic Part0:23:54

Propositional Logic Part 6: Axioms and Consistency

Propositional Logic Part0:29:12

Propositional Logic Part 5: Deductions and Consequences

Propositional Logic Part0:06:53

Propositional Logic Part 5.5: Example of a Formal Deduction

Propositional Logic Part0:06:15

Propositional Logic Part 4.5: Example of a Truth Table

Propositional Logic Part0:21:25

Propositional Logic Part 3: Model Theory for Propositional Logic

Propositional Logic Part0:39:06

Propositional Logic Part 4: Proving the Completeness Theorem for Propositional Logic

Propositional Logic Part0:07:59

Propositional Logic Part 2.5: Example of an Inductive Proof

Propositional Logic Part0:24:17

Propositional Logic Part 2: The Syntax of Propositional Logic

Propositional Logic Part0:21:58

Propositional Logic Part 1: Intuition for Model Theory