Introduction to Logic

磁链地址复制复制磁链成功

magnet:?xt=urn:btih:288807FC6417F5866CB5DF84933FE2F9D842427F

如发现链接(DMCA)违规请在线举报

在线播放复制链接

磁链详情

文件数目：315个文件
文件大小：327.28 MB
收录时间：2017-09-24
访问次数：5
相关内容：Introduction Logic

文件meta

Video Lectures/5 - 1 - 5.1 Propositional Satisfiability (16 min).mp4
12.69 MB
Video Lectures/10 - 3 - 10.3 Syntax and Semantics (14 min).mp4
11.42 MB
Video Lectures/8 - 3 - 8.3 Unification (14 min).mp4
10.99 MB
Video Lectures/11 - 4 - 11.4 General Game Playing (14 min).mp4
10.87 MB
Video Lectures/4 - 5 - 4.5 Box Logic (out of focus).mp4
8.59 MB
Video Lectures/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4
8.13 MB
Video Lectures/6 - 2 - 6.2 Syntax (9 min).mp4
7.74 MB
Video Lectures/1 - 2 - 1.2 Elements of Logic (10 min).mp4
7.64 MB
Video Lectures/7 - 2 - 7.2 Proofs (10 min).mp4
7.46 MB
Video Lectures/1 - 3 - 1.3 Formalization (9 min).mp4
7.04 MB
Video Lectures/11 - 2 - 11.2 Game Description (8 min).mp4
6.99 MB
Video Lectures/6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4
6.88 MB
Video Lectures/8 - 2 - 8.2 Clausal Form (9 min).mp4
6.49 MB
Video Lectures/3 - 2 - 3.2 Linear Proofs (8 min).mp4
6.26 MB
Video Lectures/11 - 1 - 11.1 General Game Playing (7 min).mp4
5.8 MB
Video Lectures/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4
5.78 MB
Video Lectures/6 - 3 - 6.3 Semantics (8 min).mp4
5.39 MB
Video Lectures/10 - 2 - 10.2 Conceptualization (7 min).mp4
5.27 MB
Video Lectures/8 - 8 - 8.8 Answer Extraction (6 min).mp4
5.2 MB
Video Lectures/8 - 5 - 8.5 Resolution Reasoning (5 min).mp4
5.18 MB
Video Lectures/4 - 4 - 4.4 Resolution Method (7 min).mp4
5.09 MB
Video Lectures/9 - 3 - 9.3 Linear Induction (7 min).mp4
5.01 MB
Video Lectures/9 - 5 - 9.5 Structural Induction (6 min).mp4
5 MB
Video Lectures/2 - 6 - 2.6 Logical Entailment (6 min).mp4
4.98 MB
Video Lectures/6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4
4.89 MB
Video Lectures/6 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4
4.81 MB
Video Lectures/11 - 5 - 11.5 Philosophical Remarks (5 min).mp4
4.6 MB
Video Lectures/6 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4
4.55 MB
Video Lectures/8 - 4 - 8.4 Resolution Principle (7 min).mp4
4.49 MB
Video Lectures/7 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4
4.48 MB
Video Lectures/10 - 10 - 10.10 Example Arithmetic (5 min).mp4
3.98 MB
Video Lectures/3 - 3 - 3.3 Structured Proofs (5 min).mp4
3.86 MB
Video Lectures/1 - 4 - 1.4 Automation (5 min).mp4
3.77 MB
Video Lectures/8 - 7 - 8.7 Logical Entailment (6 min).mp4
3.74 MB
Video Lectures/6 - 4 - 6.4 Example - Sorority World (5 min).mp4
3.73 MB
Video Lectures/10 - 8 - 10.8 First Order Proofs (5 min).mp4
3.73 MB
Video Lectures/4 - 3 - 4.3 Resolution Principle (5 min).mp4
3.52 MB
Video Lectures/6 - 9 - 6.9 Example - Pseudo-English (5 min).mp4
3.5 MB
Video Lectures/6 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4
3.49 MB
Video Lectures/4 - 2 - 4.2 Clausal Form (5 min).mp4
3.41 MB
Video Lectures/1 - 5 - 1.5 Study Guide (4 min).mp4
3.36 MB
Video Lectures/6 - 5 - 6.5 Example - Blocks World (4 min).mp4
3.32 MB
Video Lectures/9 - 4 - 9.4 Tree Induction (4 min).mp4
3.27 MB
Video Lectures/10 - 4 - 10.4 Example Blocks World (4 min).mp4
3.25 MB
Video Lectures/6 - 8 - 6.8 Example Linked Lists (4 min).mp4
3.22 MB
Video Lectures/11 - 6 - 11.6 International GGP Competition (4 min).mp4
3.12 MB
Video Lectures/7 - 4 - 7.4 Example (4 min).mp4
3.06 MB
Video Lectures/10 - 9 - 10.9 Examples Equality (4 min).mp4
3.03 MB
Video Lectures/2 - 4 - 2.4 Satisfaction (3 min).mp4
2.63 MB
Video Lectures/6 - 12 - 6.12 Logical Entailment (4 min).mp4
2.6 MB