【生肉】 Predicate Calculus | 谓词演算
https://www.youtube.com/user/carneadesofcyrene
蜜汁语调。。。
Freelance Translator
视频选集
（1/10）
O - Final 10 Days of Logic
03:37
91 - Symbols and Terms
10:05
92 - Generalization and Instantiation
13:26
93 - Change of Quantifier
11:46
94 - Conditional and Indirect Proof
09:37
95 - Proving Invalidity
10:22
96 - Relations and Overlapping Quantifiers
18:06
97 - Identity
15:49
98 - Modal Logic (Basics)
27:18
99 - Final Logic Problems (100 Days of Logic)
21:18
顶部