Name logic

File Type video

Size 264.86MB

UpdateDate 2024-10-25

hash *****8A47D86D48EC43AFAD85E6A4003AEFC75C

Hot 1

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