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

0:17:29

Good's Theorem and Risk-Weighted Expected Utility

0:14:31

Week 5: Choice Functions

0:06:27

MAP

0:29:52

Predicate Logic 4: Derivations

0:48:52

Predicate Logic 3: Interpretations

0:30:07

Predicate Logic 2: Symbolizing in PL (with quantifiers)

0:18:00

Predicate Logic 1: Symbolizing in PL (without quantifiers)

0:20:29

Metatheory 9: Completeness Theorem Proof III (the final step!)

0:28:06

Metatheory 8: Completeness Theorem II (the regularity lemma)

0:27:54

Metatheory 7: Completeness Theorem Proof I (building an infinite set!)

0:16:03

Metatheory 6: Completeness Theorem Preliminaries

0:12:40

Metatheory 5: More on Adequacy, New Rules, etc.

0:16:39

Metatheory 4: Soundness Theorem Proof (cases with subderivations)

0:24:19

Metatheory 3: Soundness Theorem Proof (set up and simple cases)

0:13:40

Metatheory 2: Soundness Theorem Preliminaries

0:12:55

Metatheory 1: Truth-functional Adequacy