Introduction to Logic

1. Video Lectures5 - 1 - 5.1 Propositional Satisfiability (16 min).mp412.69 MB
2. Video Lectures10 - 3 - 10.3 Syntax and Semantics (14 min).mp411.42 MB
3. Video Lectures8 - 3 - 8.3 Unification (14 min).mp410.99 MB
4. Video Lectures11 - 4 - 11.4 General Game Playing (14 min).mp410.87 MB
5. Video Lectures4 - 5 - 4.5 Box Logic (out of focus).mp48.59 MB
6. Video Lectures2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp48.13 MB
7. Video Lectures6 - 2 - 6.2 Syntax (9 min).mp47.74 MB
8. Video Lectures1 - 2 - 1.2 Elements of Logic (10 min).mp47.64 MB
9. Video Lectures7 - 2 - 7.2 Proofs (10 min).mp47.46 MB
10. Video Lectures1 - 3 - 1.3 Formalization (9 min).mp47.04 MB
11. Video Lectures11 - 2 - 11.2 Game Description (8 min).mp46.99 MB
12. Video Lectures6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp46.88 MB
13. Video Lectures8 - 2 - 8.2 Clausal Form (9 min).mp46.49 MB
14. Video Lectures3 - 2 - 3.2 Linear Proofs (8 min).mp46.26 MB
15. Video Lectures11 - 1 - 11.1 General Game Playing (7 min).mp45.8 MB
16. Video Lectures2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp45.78 MB
17. Video Lectures6 - 3 - 6.3 Semantics (8 min).mp45.39 MB
18. Video Lectures10 - 2 - 10.2 Conceptualization (7 min).mp45.27 MB
19. Video Lectures8 - 8 - 8.8 Answer Extraction (6 min).mp45.2 MB
20. Video Lectures8 - 5 - 8.5 Resolution Reasoning (5 min).mp45.18 MB
21. Video Lectures4 - 4 - 4.4 Resolution Method (7 min).mp45.09 MB
22. Video Lectures9 - 3 - 9.3 Linear Induction (7 min).mp45.01 MB
23. Video Lectures9 - 5 - 9.5 Structural Induction (6 min).mp45 MB
24. Video Lectures2 - 6 - 2.6 Logical Entailment (6 min).mp44.98 MB
25. Video Lectures6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp44.89 MB
26. Video Lectures6 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp44.81 MB
27. Video Lectures11 - 5 - 11.5 Philosophical Remarks (5 min).mp44.6 MB
28. Video Lectures6 - 10 - 6.10 Example - Metalevel Logic (6 min).mp44.55 MB
29. Video Lectures8 - 4 - 8.4 Resolution Principle (7 min).mp44.49 MB
30. Video Lectures7 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp44.48 MB
31. Video Lectures10 - 10 - 10.10 Example Arithmetic (5 min).mp43.98 MB
32. Video Lectures3 - 3 - 3.3 Structured Proofs (5 min).mp43.86 MB
33. Video Lectures1 - 4 - 1.4 Automation (5 min).mp43.77 MB
34. Video Lectures8 - 7 - 8.7 Logical Entailment (6 min).mp43.74 MB
35. Video Lectures6 - 4 - 6.4 Example - Sorority World (5 min).mp43.73 MB
36. Video Lectures10 - 8 - 10.8 First Order Proofs (5 min).mp43.73 MB
37. Video Lectures4 - 3 - 4.3 Resolution Principle (5 min).mp43.52 MB
38. Video Lectures6 - 9 - 6.9 Example - Pseudo-English (5 min).mp43.5 MB
39. Video Lectures6 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp43.49 MB
40. Video Lectures4 - 2 - 4.2 Clausal Form (5 min).mp43.41 MB
41. Video Lectures1 - 5 - 1.5 Study Guide (4 min).mp43.36 MB
42. Video Lectures6 - 5 - 6.5 Example - Blocks World (4 min).mp43.32 MB
43. Video Lectures9 - 4 - 9.4 Tree Induction (4 min).mp43.27 MB
44. Video Lectures10 - 4 - 10.4 Example Blocks World (4 min).mp43.25 MB
45. Video Lectures6 - 8 - 6.8 Example Linked Lists (4 min).mp43.22 MB
46. Video Lectures11 - 6 - 11.6 International GGP Competition (4 min).mp43.12 MB
47. Video Lectures7 - 4 - 7.4 Example (4 min).mp43.06 MB
48. Video Lectures10 - 9 - 10.9 Examples Equality (4 min).mp43.03 MB
49. Video Lectures2 - 4 - 2.4 Satisfaction (3 min).mp42.63 MB
50. Video Lectures6 - 12 - 6.12 Logical Entailment (4 min).mp42.6 MB