Logic | 383268A47D86D48EC43AFAD85E6A4003AEFC75CE

Logic

Name	logic	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	277.7 MB
Total Files	191
Hash	383268A47D86D48EC43AFAD85E6A4003AEFC75CE

/10 Week 7 Propositional Sat (optional)/
10 - 1 - 5.1 Propositional Satisfiability (16 min).mp4	13.3 MB
/7 Week 6 Relational Resolution (optional)/
7 - 3 - 8.3 Unification (14 min).mp4	11.5 MB
7 - 2 - 8.2 Clausal Form (9 min).mp4	7.4 MB
7 - 4 - 8.4 Resolution (7 min).mp4	5.5 MB
7 - 8 - 8.8 Answer Extraction (6 min).mp4	5.5 MB
7 - 7 - 8.7 Logical Entailment (6 min).mp4	5.3 MB
7 - 5 - 8.5 Resolution Reasoning (5 min).mp4	4.1 MB
7 - 1 - 8.1 Relational Resolution (2 min).mp4	1.5 MB
7 - 6 - 8.6 Unsatisfiability (2 min).mp4	1.3 MB
notes_chapter08.pdf	166.9 KB
7 - 2 - 8.2 Clausal Form (9 min).srt	11.4 KB
7 - 4 - 8.4 Resolution (7 min).srt	8.1 KB
7 - 2 - 8.2 Clausal Form (9 min).txt	7.8 KB
7 - 8 - 8.8 Answer Extraction (6 min).srt	7.7 KB
7 - 7 - 8.7 Logical Entailment (6 min).srt	6.7 KB
7 - 5 - 8.5 Resolution Reasoning (5 min).srt	6.1 KB
7 - 4 - 8.4 Resolution (7 min).txt	5.6 KB
7 - 8 - 8.8 Answer Extraction (6 min).txt	5.3 KB
7 - 7 - 8.7 Logical Entailment (6 min).txt	4.7 KB
7 - 5 - 8.5 Resolution Reasoning (5 min).txt	4.2 KB
7 - 3 - 8.3 Unification (14 min).srt	3.6 KB
7 - 3 - 8.3 Unification (14 min).txt	2.4 KB
7 - 1 - 8.1 Relational Resolution (2 min).srt	2.3 KB
7 - 6 - 8.6 Unsatisfiability (2 min).srt	1.8 KB
7 - 1 - 8.1 Relational Resolution (2 min).txt	1.5 KB
7 - 6 - 8.6 Unsatisfiability (2 min).txt	1.2 KB
/11 Final Words/
11 - 1 - F.1 Relational Logic & First-order Logic (11 min).mp4	9.1 MB
/4 Week 3 Propositional Resolution (optional)/
4 - 5 - 4.5 Box Logic (out of focus).mp4	9.0 MB
4 - 4 - 4.4 Resolution Method (7 min).mp4	5.3 MB
4 - 3 - 4.3 Resolution Principle (5 min).mp4	3.7 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
notes_chapter04.pdf	84.2 KB
4 - 4 - 4.4 Resolution Method (7 min).srt	7.9 KB
4 - 3 - 4.3 Resolution Principle (5 min).srt	5.9 KB
4 - 4 - 4.4 Resolution Method (7 min).txt	5.4 KB
4 - 2 - 4.2 Clausal Form (5 min).srt	5.4 KB
4 - 5 - 4.5 Box Logic (out of focus).srt	5.1 KB
4 - 3 - 4.3 Resolution Principle (5 min).txt	4.0 KB
4 - 2 - 4.2 Clausal Form (5 min).txt	3.7 KB
4 - 5 - 4.5 Box Logic (out of focus).txt	3.5 KB
4 - 1 - 4.1 Propositional Resolution (2 min).srt	2.0 KB
4 - 1 - 4.1 Propositional Resolution (2 min).txt	1.3 KB
/6 Week 5 Relational Logic Proofs/
6 - 2 - 7.2 Proofs (11 min).mp4	8.8 MB
6 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4	4.7 MB
6 - 4 - 7.4 Example (4 min).mp4	3.2 MB
6 - 3 - 7.3 Example (3 min).mp4	2.1 MB
6 - 1 - 7.1 Relational Proofs (2 min).mp4	1.8 MB
notes_chapter07.pdf	101.8 KB
6 - 2 - 7.2 Proofs (11 min).srt	14.1 KB
6 - 2 - 7.2 Proofs (11 min).txt	9.6 KB
6 - 4 - 7.4 Example (4 min).srt	4.5 KB
6 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt	3.5 KB
6 - 4 - 7.4 Example (4 min).txt	3.1 KB
6 - 3 - 7.3 Example (3 min).srt	3.0 KB
6 - 1 - 7.1 Relational Proofs (2 min).srt	2.9 KB
6 - 5 - 7.5 Example - Quantifier and Implication (5 min).txt	2.4 KB
6 - 3 - 7.3 Example (3 min).txt	2.1 KB
6 - 1 - 7.1 Relational Proofs (2 min).txt	2.0 KB
/2 Week 2 Propositional Logic/
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4	8.5 MB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4	6.1 MB
2 - 6 - 2.6 Logical Entailment (6 min).mp4	5.2 MB
2 - 4 - 2.4 Satisfaction (3 min).mp4	2.8 MB
2 - 7 - 2.7 The Big Game (3 min).mp4	2.4 MB
2 - 5 - 2.5 Properties of Sentences (3 min).mp4	2.3 MB
2 - 1 - 2.1 Propositional Logic (1 min).mp4	1.3 MB
slides_lesson02.pdf	826.0 KB
notes_chapter02.pdf	109.3 KB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt	12.9 KB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt	9.2 KB
2 - 3 - 2.3 Semantics of Propositional Logic (10 min).txt	8.9 KB
2 - 6 - 2.6 Logical Entailment (6 min).srt	7.6 KB
2 - 2 - 2.2 Syntax of Propositional Logic (7 min).txt	6.3 KB
2 - 6 - 2.6 Logical Entailment (6 min).txt	5.2 KB
2 - 4 - 2.4 Satisfaction (3 min).srt	4.1 KB
2 - 7 - 2.7 The Big Game (3 min).srt	3.9 KB
2 - 5 - 2.5 Properties of Sentences (3 min).srt	3.1 KB
2 - 4 - 2.4 Satisfaction (3 min).txt	2.8 KB
2 - 7 - 2.7 The Big Game (3 min).txt	2.7 KB
2 - 5 - 2.5 Properties of Sentences (3 min).txt	2.2 KB
2 - 1 - 2.1 Propositional Logic (1 min).srt	0.1 KB
2 - 1 - 2.1 Propositional Logic (1 min).txt	0.0 KB
/5 Week 4 Relational Logic/
5 - 2 - 6.2 Syntax (9 min).mp4	8.0 MB
5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4	7.6 MB
5 - 3 - 6.3 Semantics (8 min).mp4	6.3 MB
5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4	6.3 MB
5 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4	4.8 MB
5 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4	4.8 MB
5 - 4 - 6.4 Example - Sorority World (5 min).mp4	4.0 MB
5 - 9 - 6.9 Example - Pseudo-English (5 min).mp4	4.0 MB
5 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4	3.9 MB
5 - 5 - 6.5 Example - Blocks World (4 min).mp4	3.6 MB
5 - 8 - 6.8 Example Linked Lists (4 min).mp4	3.4 MB
5 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4	2.9 MB
5 - 12 - 6.12 Logical Entailment (4 min).mp4	2.7 MB
5 - 11 - 6.11 Properties of Relational Logic (3 min).mp4	2.4 MB
5 - 1 - 6.1 Relational Logic (2 min).mp4	1.8 MB
notes_chapter06.pdf	215.1 KB
5 - 2 - 6.2 Syntax (9 min).srt	10.7 KB
5 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt	8.9 KB
5 - 3 - 6.3 Semantics (8 min).srt	8.6 KB
5 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt	7.8 KB
5 - 10 - 6.10 Example - Metalevel Logic (6 min).srt	7.4 KB
5 - 2 - 6.2 Syntax (9 min).txt	7.3 KB
5 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt	6.1 KB
5 - 15 - 6.15 (Optional) General Relational Logic (4 min).txt	6.1 KB
5 - 3 - 6.3 Semantics (8 min).txt	5.9 KB
5 - 9 - 6.9 Example - Pseudo-English (5 min).srt	5.5 KB
5 - 7 - 6.7 Example - Peano Arithmetic (6 min).txt	5.4 KB
5 - 4 - 6.4 Example - Sorority World (5 min).srt	5.1 KB
5 - 5 - 6.5 Example - Blocks World (4 min).srt	5.1 KB
5 - 10 - 6.10 Example - Metalevel Logic (6 min).txt	5.0 KB
5 - 8 - 6.8 Example Linked Lists (4 min).srt	5.0 KB
5 - 6 - 6.6 Example - Modular Arithmetic (5 min).txt	4.2 KB
5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt	4.2 KB
5 - 12 - 6.12 Logical Entailment (4 min).srt	4.2 KB
5 - 9 - 6.9 Example - Pseudo-English (5 min).txt	3.8 KB
5 - 5 - 6.5 Example - Blocks World (4 min).txt	3.5 KB
5 - 4 - 6.4 Example - Sorority World (5 min).txt	3.5 KB
5 - 11 - 6.11 Properties of Relational Logic (3 min).srt	3.5 KB
5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt	3.5 KB
5 - 8 - 6.8 Example Linked Lists (4 min).txt	3.4 KB
5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).txt	2.9 KB
5 - 12 - 6.12 Logical Entailment (4 min).txt	2.8 KB
5 - 1 - 6.1 Relational Logic (2 min).srt	2.6 KB
5 - 11 - 6.11 Properties of Relational Logic (3 min).txt	2.4 KB
5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).txt	2.4 KB
5 - 1 - 6.1 Relational Logic (2 min).txt	1.8 KB
/1 Week 1 Introduction/
1 - 2 - 1.2 Elements of Logic (10 min).mp4	8.0 MB
1 - 3 - 1.3 Formalization (9 min).mp4	7.4 MB
1 - 4 - 1.4 Automation (5 min).mp4	3.9 MB
1 - 5 - 1.5 Study Guide (4 min).mp4	3.5 MB
1 - 1 - 1.1 Introduction to Logic (3 min).mp4	2.6 MB
slides_lesson01.pdf	664.3 KB
notes_chapter01.pdf	351.1 KB
1 - 2 - 1.2 Elements of Logic (10 min).srt	11.8 KB
1 - 3 - 1.3 Formalization (9 min).srt	10.4 KB
1 - 2 - 1.2 Elements of Logic (10 min).txt	8.1 KB
1 - 3 - 1.3 Formalization (9 min).txt	7.2 KB
1 - 4 - 1.4 Automation (5 min).srt	5.9 KB
1 - 5 - 1.5 Study Guide (4 min).srt	5.4 KB
1 - 4 - 1.4 Automation (5 min).txt	4.0 KB
1 - 5 - 1.5 Study Guide (4 min).txt	3.7 KB
1 - 1 - 1.1 Introduction to Logic (3 min).srt	3.3 KB
1 - 1 - 1.1 Introduction to Logic (3 min).txt	2.3 KB
/3 Week 3 Propositional Proofs/
3 - 2 - 3.2 Linear Proofs (8 min).mp4	6.6 MB
3 - 3 - 3.3 Structured Proofs (5 min).mp4	4.0 MB
3 - 5 - 3.5 Soundness and Completeness (2 min).mp4	2.0 MB
3 - 4 - 3.4 Fitch (3 min).mp4	1.9 MB
3 - 1 - 3.1 Propositional Proofs (2 min).mp4	1.4 MB
notes_chapter03.pdf	111.8 KB
3 - 2 - 3.2 Linear Proofs (8 min).srt	9.5 KB
3 - 2 - 3.2 Linear Proofs (8 min).txt	6.6 KB
3 - 3 - 3.3 Structured Proofs (5 min).srt	6.5 KB
3 - 3 - 3.3 Structured Proofs (5 min).txt	4.4 KB
3 - 5 - 3.5 Soundness and Completeness (2 min).srt	3.1 KB
3 - 4 - 3.4 Fitch (3 min).srt	2.9 KB
3 - 1 - 3.1 Propositional Proofs (2 min).srt	2.4 KB
3 - 5 - 3.5 Soundness and Completeness (2 min).txt	2.1 KB
3 - 4 - 3.4 Fitch (3 min).txt	2.0 KB
3 - 1 - 3.1 Propositional Proofs (2 min).txt	1.6 KB
/9 Week 7 Induction/
9 - 3 - 10.3 Linear Induction (7 min).mp4	5.3 MB
9 - 5 - 10.5 Structural Induction (6 min).mp4	5.2 MB
9 - 4 - 10.4 Tree Induction (4 min).mp4	3.4 MB
9 - 1 - 10.1 Induction (3 min).mp4	2.4 MB
9 - 2 - 10.2 Domain Closure (2 min).mp4	1.4 MB
notes_chapter10.pdf	129.2 KB
9 - 3 - 10.3 Linear Induction (7 min).srt	8.2 KB
9 - 5 - 10.5 Structural Induction (6 min).srt	8.0 KB
9 - 3 - 10.3 Linear Induction (7 min).txt	5.7 KB
9 - 5 - 10.5 Structural Induction (6 min).txt	5.5 KB
9 - 4 - 10.4 Tree Induction (4 min).srt	5.1 KB
9 - 1 - 10.1 Induction (3 min).srt	3.7 KB
9 - 4 - 10.4 Tree Induction (4 min).txt	3.5 KB
9 - 1 - 10.1 Induction (3 min).txt	2.6 KB
9 - 2 - 10.2 Domain Closure (2 min).srt	2.5 KB
9 - 2 - 10.2 Domain Closure (2 min).txt	1.7 KB
/8 Week 6 Equality/
8 - 3 - 9.3 Substitution (3 min).mp4	2.7 MB
8 - 2 - 9.2 Properties of Equality (3 min).mp4	2.5 MB
8 - 4 - 9.4 Fitch with Equality (3 min).mp4	2.5 MB
8 - 1 - 9.1 Equality (3 min).mp4	2.0 MB
8 - 5 - 9.5 More examples (2 min).mp4	1.8 MB
notes_chapter09.pdf	84.1 KB
8 - 4 - 9.4 Fitch with Equality (3 min).srt	3.9 KB
8 - 3 - 9.3 Substitution (3 min).srt	3.4 KB
8 - 2 - 9.2 Properties of Equality (3 min).srt	3.2 KB
8 - 1 - 9.1 Equality (3 min).srt	3.1 KB
8 - 4 - 9.4 Fitch with Equality (3 min).txt	2.7 KB
8 - 3 - 9.3 Substitution (3 min).txt	2.3 KB
8 - 2 - 9.2 Properties of Equality (3 min).txt	2.2 KB
8 - 1 - 9.1 Equality (3 min).txt	2.1 KB
Total files 191