资源详情

返回首页 | 相关搜索
logic
大小 264.86 MB
文件数 191
Info Hash: 383268A47D86D48EC43AFAD85E6A4003AEFC75CE
收录时间 2025-12-28 18:27:55
更新时间 2025-12-28 18:27:55
文件列表 (191)
10 Week 7 Propositional Sat (optional)/10 - 1 - 5.1 Propositional Satisfiability (16 min).mp4
12.69 MB
7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).mp4
10.99 MB
11 Final Words/11 - 1 - F.1 Relational Logic & First-order Logic (11 min).mp4
8.64 MB
4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).mp4
8.59 MB
6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).mp4
8.35 MB
2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4
8.13 MB
5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).mp4
7.67 MB
1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).mp4
7.64 MB
5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4
7.26 MB
1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).mp4
7.04 MB
7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).mp4
7.02 MB
3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).mp4
6.26 MB
5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).mp4
6.05 MB
5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4
5.97 MB
2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4
5.78 MB
7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).mp4
5.24 MB
7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).mp4
5.2 MB
4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).mp4
5.09 MB
7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).mp4
5.07 MB
9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).mp4
5.01 MB
9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).mp4
5 MB
2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).mp4
4.98 MB
5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4
4.57 MB
5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4
4.56 MB
6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4
4.48 MB
7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).mp4
3.94 MB
3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).mp4
3.86 MB
5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).mp4
3.85 MB
5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).mp4
3.84 MB
1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).mp4
3.77 MB
5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4
3.75 MB
4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).mp4
3.52 MB
5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).mp4
3.41 MB
4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).mp4
3.41 MB
1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).mp4
3.36 MB
9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).mp4
3.27 MB
5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).mp4
3.2 MB
6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).mp4
3.06 MB
5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4
2.77 MB
2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).mp4
2.63 MB
5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).mp4
2.61 MB
8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).mp4
2.56 MB
1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).mp4
2.46 MB
8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).mp4
2.39 MB
8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).mp4
2.37 MB
2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).mp4
2.3 MB
9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).mp4
2.3 MB
5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).mp4
2.29 MB
2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).mp4
2.18 MB
6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).mp4
2.03 MB
3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).mp4
1.93 MB
8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).mp4
1.92 MB
4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).mp4
1.81 MB
3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).mp4
1.8 MB
5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).mp4
1.75 MB
8 Week 6 Equality/8 - 5 - 9.5 More examples (2 min).mp4
1.73 MB
6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).mp4
1.7 MB
7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).mp4
1.41 MB
9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).mp4
1.38 MB
3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).mp4
1.32 MB
7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).mp4
1.23 MB
2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).mp4
1.22 MB
2 Week 2 Propositional Logic/slides_lesson02.pdf
806.69 KB
1 Week 1 Introduction/slides_lesson01.pdf
648.77 KB
1 Week 1 Introduction/notes_chapter01.pdf
342.83 KB
5 Week 4 Relational Logic/notes_chapter06.pdf
210.1 KB
7 Week 6 Relational Resolution (optional)/notes_chapter08.pdf
162.96 KB
9 Week 7 Induction/notes_chapter10.pdf
126.18 KB
3 Week 3 Propositional Proofs/notes_chapter03.pdf
109.14 KB
2 Week 2 Propositional Logic/notes_chapter02.pdf
106.75 KB
6 Week 5 Relational Logic Proofs/notes_chapter07.pdf
99.46 KB
4 Week 3 Propositional Resolution (optional)/notes_chapter04.pdf
82.19 KB
8 Week 6 Equality/notes_chapter09.pdf
82.16 KB
6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).srt
13.72 KB
2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt
12.63 KB
1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).srt
11.54 KB
7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).srt
11.15 KB
5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).srt
10.44 KB
1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).srt
10.2 KB
6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).txt
9.38 KB
3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).srt
9.31 KB
2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt
9.03 KB
5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt
8.66 KB
2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).txt
8.66 KB
5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).srt
8.37 KB
9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).srt
8.05 KB
7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).srt
7.93 KB
1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).txt
7.9 KB
9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).srt
7.79 KB
4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).srt
7.71 KB
5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt
7.62 KB
7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).txt
7.62 KB
7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).srt
7.51 KB
2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).srt
7.38 KB
5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).srt
7.18 KB
5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).txt
7.16 KB
1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).txt
6.99 KB
7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).srt
6.59 KB
3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).txt
6.4 KB
3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).srt
6.3 KB
2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).txt
6.15 KB
5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt
5.98 KB
5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).txt
5.96 KB
7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).srt
5.95 KB
1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).srt
5.75 KB
5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).txt
5.75 KB
4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).srt
5.72 KB
9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).txt
5.53 KB
7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).txt
5.44 KB
5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).srt
5.41 KB
9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).txt
5.34 KB
1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).srt
5.32 KB
4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).txt
5.3 KB
4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).srt
5.26 KB
5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).txt
5.24 KB
7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).txt
5.17 KB
2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).txt
5.05 KB
5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).srt
5.03 KB
4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).srt
5.02 KB
5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).srt
4.99 KB
9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).srt
4.95 KB
5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).txt
4.91 KB
5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).srt
4.86 KB
7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).txt
4.54 KB
6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).srt
4.44 KB
3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).txt
4.33 KB
5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).txt
4.11 KB
5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt
4.1 KB
7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).txt
4.08 KB
5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).srt
4.06 KB
2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).srt
3.99 KB
1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).txt
3.92 KB
4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).txt
3.92 KB
8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).srt
3.78 KB
2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).srt
3.77 KB
5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).txt
3.72 KB
9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).srt
3.65 KB
1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).txt
3.63 KB
4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).txt
3.61 KB
7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).srt
3.5 KB
6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt
3.46 KB
5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).txt
3.45 KB
5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).txt
3.45 KB
4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).txt
3.44 KB
5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).srt
3.42 KB
5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt
3.41 KB
9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).txt
3.41 KB
5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).txt
3.35 KB
8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).srt
3.33 KB
1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).srt
3.2 KB
8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).srt
3.16 KB
2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).srt
3.07 KB
6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).txt
3.04 KB
3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).srt
3.04 KB
8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).srt
3.03 KB
6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).srt
2.95 KB
6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).srt
2.84 KB
3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).srt
2.82 KB
5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).txt
2.81 KB
5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).txt
2.77 KB
2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).txt
2.74 KB
8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).txt
2.59 KB
2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).txt
2.59 KB
5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).srt
2.52 KB
9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).txt
2.51 KB
9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).srt
2.48 KB
7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).txt
2.39 KB
3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).srt
2.36 KB
5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).txt
2.35 KB
6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).txt
2.35 KB
5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).txt
2.34 KB
8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).txt
2.29 KB
7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).srt
2.21 KB
1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).txt
2.2 KB
8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).txt
2.16 KB
2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).txt
2.11 KB
3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).txt
2.08 KB
8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).txt
2.06 KB
6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).txt
2.02 KB
6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).txt
1.95 KB
3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).txt
1.93 KB
4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).srt
1.91 KB
7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).srt
1.79 KB
5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).txt
1.73 KB
9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).txt
1.69 KB
3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).txt
1.54 KB
7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).txt
1.5 KB
4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).txt
1.3 KB
7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).txt
1.22 KB
2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).srt
64 B
2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).txt
30 B
相关资源

免责声明

本网站仅提供DHT网络资源索引服务，不存储任何资源文件。所有资源均来自DHT网络，本站无法控制其内容。请遵守当地法律法规，合理使用网络资源。如涉及版权问题，请联系 fuckatgfw@protonmail.com。

© 2025 鹿鹿堂