Introduction to Logic; Stanford University Coursera -移花宫-武林禁地，闲人禁止入内

Introduction to Logic; Stanford University Coursera

磁力链接/BT种子名称

Introduction to Logic; Stanford University Coursera

磁力链接/BT种子简介

种子哈希：864aa5e598cc206bc23435d283c595964c91a759
文件大小：311.85M
已经下载：346次
下载速度：极快
收录时间：2017-06-07
最近下载：2025-07-19

移花宫入口

移花宫.com 邀月.com 怜星.com 花无缺.com yhgbt.icu yhgbt.top

磁力链接下载

magnet:?xt=urn:btih:864AA5E598CC206BC23435D283C595964C91A759
推荐使用PIKPAK网盘下载资源，10TB超大空间，不限制资源，无限次数离线下载，视频在线观看

下载BT种子文件

磁力链接迅雷下载 PIKPAK在线播放世界之窗小蓝俱乐部含羞草欲漫涩逼哩逼哩成人快手 51品茶 51动漫 91短视频抖音Max TikTok成人版 PornHub 暗网Xvideo 草榴社区哆哔涩漫呦乐园萝莉岛搜同

文件列表

6 - 4 - 6.4 Example - Sorority World (5 min).mp4 3.9 MB
6 - 3 - 6.3 Semantics (8 min).mp4 5.6 MB
6 - 2 - 6.2 Syntax (9 min).mp4 8.1 MB
6 - 5 - 6.5 Example - Blocks World (4 min).mp4 3.5 MB
6 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4 3.7 MB
6 - 9 - 6.9 Example - Pseudo-English (5 min).mp4 3.7 MB
6 - 8 - 6.8 Example Linked Lists (4 min).mp4 3.4 MB
6 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4 5.0 MB
6 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4 2.7 MB
6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4 7.2 MB
6 - 1 - 6.1 Herbrand Logic (3 min).mp4 2.4 MB
5 - 1 - 5.1 Propositional Satisfiability (16 min).mp4 13.3 MB
4 - 5 - 4.5 Box Logic (out of focus).mp4 9.0 MB
6 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4 4.8 MB
1 - 1 - 1.1 Introduction to Logic (3 min).mp4 2.6 MB
6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4 5.1 MB
6 - 12 - 6.12 Logical Entailment (4 min).mp4 2.7 MB
7 - 1 - 7.1 Herbrand Logic Proofs (2 min).mp4 1.8 MB
7 - 2 - 7.2 Proofs (10 min).mp4 7.8 MB
9 - 1 - 9.1 Induction (3 min).mp4 2.4 MB
8 - 8 - 8.8 Answer Extraction (6 min).mp4 5.5 MB
8 - 7 - 8.7 Logical Entailment (6 min).mp4 3.9 MB
9 - 2 - 9.2 Domain Closure (2 min).mp4 1.4 MB
9 - 3 - 9.3 Linear Induction (7 min).mp4 5.3 MB
9 - 5 - 9.5 Structural Induction (6 min).mp4 5.2 MB
9 - 4 - 9.4 Tree Induction (4 min).mp4 3.4 MB
8 - 6 - 8.6 Unsatisfiability (2 min).mp4 1.3 MB
8 - 5 - 8.5 Resolution Reasoning (5 min).mp4 5.4 MB
7 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4 4.7 MB
7 - 4 - 7.4 Example (4 min).mp4 3.2 MB
7 - 3 - 7.3 Example (3 min).mp4 2.1 MB
8 - 1 - 8.1 Resolution (2 min).mp4 1.5 MB
8 - 2 - 8.2 Clausal Form (9 min).mp4 6.8 MB
8 - 4 - 8.4 Resolution Principle (7 min).mp4 4.7 MB
8 - 3 - 8.3 Unification (14 min).mp4 11.5 MB
4 - 4 - 4.4 Resolution Method (7 min).mp4 5.3 MB
6 - 11 - 6.11 Properties of Sentences (3 min).mp4 2.4 MB
4 - 3 - 4.3 Resolution Principle (5 min).mp4 3.7 MB
10 - 6 - 10.6 Properties of Sentences (1 min).mp4 877.5 kB
10 - 5 - 10.5 Example_ Peano Arithmetic (3 min).mp4 2.5 MB
10 - 8 - 10.8 First Order Proofs (5 min).mp4 3.9 MB
10 - 9 - 10.9 Examples_ Equality (4 min).mp4 3.2 MB
11 - 2 - 11.2 Game Description (8 min).mp4 7.3 MB
11 - 1 - 11.1 General Game Playing (7 min).mp4 6.1 MB
10 - 4 - 10.4 Example_ Blocks World (4 min).mp4 3.4 MB
10 - 3 - 10.3 Syntax and Semantics (14 min).mp4 12.0 MB
1 - 4 - 1.4 Automation (5 min).mp4 3.9 MB
1 - 3 - 1.3 Formalization (9 min).mp4 7.4 MB
1 - 2 - 1.2 Elements of Logic (10 min).mp4 8.0 MB
1 - 5 - 1.5 Study Guide (4 min).mp4 3.5 MB
10 - 1 - 10.1 First Order Logic (3 min).mp4 2.2 MB
10 - 2 - 10.2 Conceptualization (7 min).mp4 5.5 MB
10 - 10 - 10.10 Example_ Arithmetic (5 min).mp4 4.2 MB
11 - 3 - 11.3 Game Management (2 min).mp4 2.4 MB
10 - 7 - 10.7 Logical Entailment (2 min).mp4 1.3 MB
3 - 3 - 3.3 Structured Proofs (5 min).mp4 4.0 MB
3 - 2 - 3.2 Linear Proofs (8 min).mp4 6.6 MB
3 - 1 - 3.1 Propositional Proofs (2 min).mp4 1.4 MB
3 - 4 - 3.4 Fitch (3 min).mp4 1.9 MB
11 - 4 - 11.4 General Game Playing (14 min).mp4 11.4 MB
4 - 2 - 4.2 Clausal Form (5 min).mp4 3.6 MB
4 - 1 - 4.1 Propositional Resolution (2 min).mp4 1.9 MB
2 - 7 - 2.7 The Big Game (3 min).mp4 2.4 MB
3 - 5 - 3.5 Soundness and Completeness (2 min).mp4 2.0 MB
2 - 1 - 2.1 Propositional Logic (1 min).mp4 1.3 MB
11 - 5 - 11.5 Philosophical Remarks (5 min).mp4 4.8 MB
2 - 6 - 2.6 Logical Entailment (6 min).mp4 5.2 MB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4 6.1 MB
11 - 6 - 11.6 International GGP Competition (4 min).mp4 3.3 MB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4 8.5 MB
2 - 4 - 2.4 Satisfaction (3 min).mp4 2.8 MB
2 - 5 - 2.5 Properties of Sentences (3 min).mp4 2.3 MB
Course Materials/notes_chapter09.pdf 129.5 kB
Course Materials/notes_chapter08.pdf 172.2 kB
Course Materials/notes_chapter10.pdf 156.9 kB
Course Materials/slides_lesson01.pdf 664.3 kB
Course Materials/notes_chapter07.pdf 102.3 kB
Course Materials/slides_lesson02.pdf 826.0 kB
Course Materials/notes_chapter02.pdf 108.1 kB
Course Materials/notes_chapter01.pdf 259.2 kB
Course Materials/notes_chapter03.pdf 98.1 kB
Course Materials/notes_chapter04.pdf 84.2 kB
Course Materials/notes_chapter05.pdf 830.3 kB
Course Materials/notes_chapter06.pdf 217.0 kB