logic - TorBT

File Name

Size

10 Week 7 Propositional Sat (optional)/10 - 1 - 5.1 Propositional Satisfiability (16 min).mp4

13 MB

7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).mp4

11 MB

11 Final Words/11 - 1 - F.1 Relational Logic & First-order Logic (11 min).mp4

8.6 MB

4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).mp4

8.6 MB

6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).mp4

8.3 MB

2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4

8.1 MB

5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).mp4

7.7 MB

1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).mp4

7.6 MB

5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4

7.3 MB

1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).mp4

7.0 MB

7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).mp4

7.0 MB

3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).mp4

6.3 MB

5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).mp4

6.1 MB

5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4

6.0 MB

2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4

5.8 MB

7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).mp4

5.2 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.1 MB

7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).mp4

5.1 MB

9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).mp4

5.0 MB

9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).mp4

5.0 MB

2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).mp4

5.0 MB

5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4

4.6 MB

5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4

4.6 MB

6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4

4.5 MB

7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).mp4

3.9 MB

3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).mp4

3.9 MB

5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).mp4

3.8 MB

5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).mp4

3.8 MB

1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).mp4

3.8 MB

5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4

3.8 MB

4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).mp4

3.5 MB

5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).mp4

3.4 MB

4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).mp4

3.4 MB

1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).mp4

3.4 MB

9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).mp4

3.3 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.1 MB

5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4

2.8 MB

2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).mp4

2.6 MB

5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).mp4

2.6 MB

8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).mp4

2.6 MB

1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).mp4

2.5 MB

8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).mp4

2.4 MB

8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).mp4

2.4 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.3 MB

2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).mp4

2.2 MB

6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).mp4

2.0 MB

3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).mp4

1.9 MB

8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).mp4

1.9 MB

4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).mp4

1.8 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.8 MB

8 Week 6 Equality/8 - 5 - 9.5 More examples (2 min).mp4

1.7 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.4 MB

9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).mp4

1.4 MB

3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).mp4

1.3 MB

7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).mp4

1.2 MB

2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).mp4

1.2 MB

2 Week 2 Propositional Logic/slides_lesson02.pdf

807 kB

1 Week 1 Introduction/slides_lesson01.pdf

649 kB

1 Week 1 Introduction/notes_chapter01.pdf

343 kB

5 Week 4 Relational Logic/notes_chapter06.pdf

210 kB

7 Week 6 Relational Resolution (optional)/notes_chapter08.pdf

163 kB

9 Week 7 Induction/notes_chapter10.pdf

126 kB

3 Week 3 Propositional Proofs/notes_chapter03.pdf

109 kB

2 Week 2 Propositional Logic/notes_chapter02.pdf

107 kB

6 Week 5 Relational Logic Proofs/notes_chapter07.pdf

100 kB

4 Week 3 Propositional Resolution (optional)/notes_chapter04.pdf

82 kB

8 Week 6 Equality/notes_chapter09.pdf

82 kB

6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).srt

14 kB

2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt

13 kB

1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).srt

12 kB

7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).srt

11 kB

5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).srt

10 kB

1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).srt

10 kB

6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).txt

9.4 kB

3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).srt

9.3 kB

2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt

9.0 kB

5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt

8.7 kB

2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).txt

8.7 kB

5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).srt

8.4 kB

9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).srt

8.0 kB

7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).srt

7.9 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.8 kB

4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).srt

7.7 kB

5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt

7.6 kB

7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).txt

7.6 kB

7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).srt

7.5 kB

2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).srt

7.4 kB

5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).srt

7.2 kB

5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).txt

7.2 kB

1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).txt

7.0 kB

7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).srt

6.6 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.2 kB

5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt

6.0 kB

5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).txt

6.0 kB

7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).srt

6.0 kB

1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).srt

5.8 kB

5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).txt

5.7 kB

4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).srt

5.7 kB

9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).txt

5.5 kB

7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).txt

5.4 kB

5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).srt

5.4 kB

9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).txt

5.3 kB

1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).srt

5.3 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.3 kB

5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).txt

5.2 kB

7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).txt

5.2 kB

2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).txt

5.0 kB

5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).srt

5.0 kB

4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).srt

5.0 kB

5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).srt

5.0 kB

9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).srt

4.9 kB

5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).txt

4.9 kB

5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).srt

4.9 kB

7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).txt

4.5 kB

6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).srt

4.4 kB

3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).txt

4.3 kB

5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).txt

4.1 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.1 kB

5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).srt

4.1 kB

2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).srt

4.0 kB

1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).txt

3.9 kB

4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).txt

3.9 kB

8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).srt

3.8 kB

2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).srt

3.8 kB

5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).txt

3.7 kB

9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).srt

3.7 kB

1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).txt

3.6 kB

4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).txt

3.6 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.5 kB

5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).txt

3.4 kB

5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).txt

3.4 kB

4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).txt

3.4 kB

5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).srt

3.4 kB

5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt

3.4 kB

9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).txt

3.4 kB

5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).txt

3.4 kB

8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).srt

3.3 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.2 kB

2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).srt

3.1 kB

6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).txt

3.0 kB

3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).srt

3.0 kB

8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).srt

3.0 kB

6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).srt

2.9 kB

6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).srt

2.8 kB

3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).srt

2.8 kB

5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).txt

2.8 kB

5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).txt

2.8 kB

2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).txt

2.7 kB

8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).txt

2.6 kB

2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).txt

2.6 kB

5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).srt

2.5 kB

9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).txt

2.5 kB

9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).srt

2.5 kB

7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).txt

2.4 kB

3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).srt

2.4 kB

5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).txt

2.3 kB

6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).txt

2.3 kB

5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).txt

2.3 kB

8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).txt

2.3 kB

7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).srt

2.2 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.2 kB

2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).txt

2.1 kB

3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).txt

2.1 kB

8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).txt

2.1 kB

6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).txt

2.0 kB

6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).txt

1.9 kB

3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).txt

1.9 kB

4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).srt

1.9 kB

7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).srt

1.8 kB

5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).txt

1.7 kB

9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).txt

1.7 kB

3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).txt

1.5 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.2 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