589689.xyz

logic

  • 收录时间:2018-03-09 13:01:11
  • 文件大小:265MB
  • 下载次数:203
  • 最近下载:2021-01-22 18:26:55
  • 磁力链接:
立即下载 复制链接

文件列表

  1. 10 Week 7 Propositional Sat (optional)/10 - 1 - 5.1 Propositional Satisfiability (16 min).mp4 13MB
  2. 7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).mp4 11MB
  3. 11 Final Words/11 - 1 - F.1 Relational Logic & First-order Logic (11 min).mp4 9MB
  4. 4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).mp4 9MB
  5. 6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).mp4 8MB
  6. 2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4 8MB
  7. 5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).mp4 8MB
  8. 1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).mp4 8MB
  9. 5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4 7MB
  10. 1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).mp4 7MB
  11. 7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).mp4 7MB
  12. 3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).mp4 6MB
  13. 5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).mp4 6MB
  14. 5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4 6MB
  15. 2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4 6MB
  16. 7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).mp4 5MB
  17. 7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).mp4 5MB
  18. 4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).mp4 5MB
  19. 7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).mp4 5MB
  20. 9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).mp4 5MB
  21. 9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).mp4 5MB
  22. 2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).mp4 5MB
  23. 5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4 5MB
  24. 5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4 5MB
  25. 6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4 4MB
  26. 7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).mp4 4MB
  27. 3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).mp4 4MB
  28. 5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).mp4 4MB
  29. 5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).mp4 4MB
  30. 1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).mp4 4MB
  31. 5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4 4MB
  32. 4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).mp4 4MB
  33. 5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).mp4 3MB
  34. 4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).mp4 3MB
  35. 1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).mp4 3MB
  36. 9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).mp4 3MB
  37. 5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).mp4 3MB
  38. 6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).mp4 3MB
  39. 5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4 3MB
  40. 2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).mp4 3MB
  41. 5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).mp4 3MB
  42. 8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).mp4 3MB
  43. 1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).mp4 2MB
  44. 8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).mp4 2MB
  45. 8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).mp4 2MB
  46. 2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).mp4 2MB
  47. 9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).mp4 2MB
  48. 5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).mp4 2MB
  49. 2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).mp4 2MB
  50. 6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).mp4 2MB
  51. 3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).mp4 2MB
  52. 8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).mp4 2MB
  53. 4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).mp4 2MB
  54. 3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).mp4 2MB
  55. 5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).mp4 2MB
  56. 8 Week 6 Equality/8 - 5 - 9.5 More examples (2 min).mp4 2MB
  57. 6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).mp4 2MB
  58. 7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).mp4 1MB
  59. 9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).mp4 1MB
  60. 3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).mp4 1MB
  61. 7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).mp4 1MB
  62. 2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).mp4 1MB
  63. 2 Week 2 Propositional Logic/slides_lesson02.pdf 807KB
  64. 1 Week 1 Introduction/slides_lesson01.pdf 649KB
  65. 1 Week 1 Introduction/notes_chapter01.pdf 343KB
  66. 5 Week 4 Relational Logic/notes_chapter06.pdf 210KB
  67. 7 Week 6 Relational Resolution (optional)/notes_chapter08.pdf 163KB
  68. 9 Week 7 Induction/notes_chapter10.pdf 126KB
  69. 3 Week 3 Propositional Proofs/notes_chapter03.pdf 109KB
  70. 2 Week 2 Propositional Logic/notes_chapter02.pdf 107KB
  71. 6 Week 5 Relational Logic Proofs/notes_chapter07.pdf 99KB
  72. 4 Week 3 Propositional Resolution (optional)/notes_chapter04.pdf 82KB
  73. 8 Week 6 Equality/notes_chapter09.pdf 82KB
  74. 6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).srt 14KB
  75. 2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt 13KB
  76. 1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).srt 12KB
  77. 7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).srt 11KB
  78. 5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).srt 10KB
  79. 1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).srt 10KB
  80. 6 Week 5 Relational Logic Proofs/6 - 2 - 7.2 Proofs (11 min).txt 9KB
  81. 3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).srt 9KB
  82. 2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt 9KB
  83. 5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt 9KB
  84. 2 Week 2 Propositional Logic/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).txt 9KB
  85. 5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).srt 8KB
  86. 9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).srt 8KB
  87. 7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).srt 8KB
  88. 1 Week 1 Introduction/1 - 2 - 1.2 Elements of Logic (10 min).txt 8KB
  89. 9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).srt 8KB
  90. 4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).srt 8KB
  91. 5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt 8KB
  92. 7 Week 6 Relational Resolution (optional)/7 - 2 - 8.2 Clausal Form (9 min).txt 8KB
  93. 7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).srt 8KB
  94. 2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).srt 7KB
  95. 5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).srt 7KB
  96. 5 Week 4 Relational Logic/5 - 2 - 6.2 Syntax (9 min).txt 7KB
  97. 1 Week 1 Introduction/1 - 3 - 1.3 Formalization (9 min).txt 7KB
  98. 7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).srt 7KB
  99. 3 Week 3 Propositional Proofs/3 - 2 - 3.2 Linear Proofs (8 min).txt 6KB
  100. 3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).srt 6KB
  101. 2 Week 2 Propositional Logic/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).txt 6KB
  102. 5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt 6KB
  103. 5 Week 4 Relational Logic/5 - 15 - 6.15 (Optional) General Relational Logic (4 min).txt 6KB
  104. 7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).srt 6KB
  105. 1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).srt 6KB
  106. 5 Week 4 Relational Logic/5 - 3 - 6.3 Semantics (8 min).txt 6KB
  107. 4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).srt 6KB
  108. 9 Week 7 Induction/9 - 3 - 10.3 Linear Induction (7 min).txt 6KB
  109. 7 Week 6 Relational Resolution (optional)/7 - 4 - 8.4 Resolution (7 min).txt 5KB
  110. 5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).srt 5KB
  111. 9 Week 7 Induction/9 - 5 - 10.5 Structural Induction (6 min).txt 5KB
  112. 1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).srt 5KB
  113. 4 Week 3 Propositional Resolution (optional)/4 - 4 - 4.4 Resolution Method (7 min).txt 5KB
  114. 4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).srt 5KB
  115. 5 Week 4 Relational Logic/5 - 7 - 6.7 Example - Peano Arithmetic (6 min).txt 5KB
  116. 7 Week 6 Relational Resolution (optional)/7 - 8 - 8.8 Answer Extraction (6 min).txt 5KB
  117. 2 Week 2 Propositional Logic/2 - 6 - 2.6 Logical Entailment (6 min).txt 5KB
  118. 5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).srt 5KB
  119. 4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).srt 5KB
  120. 5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).srt 5KB
  121. 9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).srt 5KB
  122. 5 Week 4 Relational Logic/5 - 10 - 6.10 Example - Metalevel Logic (6 min).txt 5KB
  123. 5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).srt 5KB
  124. 7 Week 6 Relational Resolution (optional)/7 - 7 - 8.7 Logical Entailment (6 min).txt 5KB
  125. 6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).srt 4KB
  126. 3 Week 3 Propositional Proofs/3 - 3 - 3.3 Structured Proofs (5 min).txt 4KB
  127. 5 Week 4 Relational Logic/5 - 6 - 6.6 Example - Modular Arithmetic (5 min).txt 4KB
  128. 5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt 4KB
  129. 7 Week 6 Relational Resolution (optional)/7 - 5 - 8.5 Resolution Reasoning (5 min).txt 4KB
  130. 5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).srt 4KB
  131. 2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).srt 4KB
  132. 1 Week 1 Introduction/1 - 4 - 1.4 Automation (5 min).txt 4KB
  133. 4 Week 3 Propositional Resolution (optional)/4 - 3 - 4.3 Resolution Principle (5 min).txt 4KB
  134. 8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).srt 4KB
  135. 2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).srt 4KB
  136. 5 Week 4 Relational Logic/5 - 9 - 6.9 Example - Pseudo-English (5 min).txt 4KB
  137. 9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).srt 4KB
  138. 1 Week 1 Introduction/1 - 5 - 1.5 Study Guide (4 min).txt 4KB
  139. 4 Week 3 Propositional Resolution (optional)/4 - 2 - 4.2 Clausal Form (5 min).txt 4KB
  140. 7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).srt 3KB
  141. 6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt 3KB
  142. 5 Week 4 Relational Logic/5 - 5 - 6.5 Example - Blocks World (4 min).txt 3KB
  143. 5 Week 4 Relational Logic/5 - 4 - 6.4 Example - Sorority World (5 min).txt 3KB
  144. 4 Week 3 Propositional Resolution (optional)/4 - 5 - 4.5 Box Logic (out of focus).txt 3KB
  145. 5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).srt 3KB
  146. 5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt 3KB
  147. 9 Week 7 Induction/9 - 4 - 10.4 Tree Induction (4 min).txt 3KB
  148. 5 Week 4 Relational Logic/5 - 8 - 6.8 Example Linked Lists (4 min).txt 3KB
  149. 8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).srt 3KB
  150. 1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).srt 3KB
  151. 8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).srt 3KB
  152. 2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).srt 3KB
  153. 6 Week 5 Relational Logic Proofs/6 - 4 - 7.4 Example (4 min).txt 3KB
  154. 3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).srt 3KB
  155. 8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).srt 3KB
  156. 6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).srt 3KB
  157. 6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).srt 3KB
  158. 3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).srt 3KB
  159. 5 Week 4 Relational Logic/5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).txt 3KB
  160. 5 Week 4 Relational Logic/5 - 12 - 6.12 Logical Entailment (4 min).txt 3KB
  161. 2 Week 2 Propositional Logic/2 - 4 - 2.4 Satisfaction (3 min).txt 3KB
  162. 8 Week 6 Equality/8 - 4 - 9.4 Fitch with Equality (3 min).txt 3KB
  163. 2 Week 2 Propositional Logic/2 - 7 - 2.7 The Big Game (3 min).txt 3KB
  164. 5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).srt 3KB
  165. 9 Week 7 Induction/9 - 1 - 10.1 Induction (3 min).txt 3KB
  166. 9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).srt 2KB
  167. 7 Week 6 Relational Resolution (optional)/7 - 3 - 8.3 Unification (14 min).txt 2KB
  168. 3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).srt 2KB
  169. 5 Week 4 Relational Logic/5 - 11 - 6.11 Properties of Relational Logic (3 min).txt 2KB
  170. 6 Week 5 Relational Logic Proofs/6 - 5 - 7.5 Example - Quantifier and Implication (5 min).txt 2KB
  171. 5 Week 4 Relational Logic/5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).txt 2KB
  172. 8 Week 6 Equality/8 - 3 - 9.3 Substitution (3 min).txt 2KB
  173. 7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).srt 2KB
  174. 1 Week 1 Introduction/1 - 1 - 1.1 Introduction to Logic (3 min).txt 2KB
  175. 8 Week 6 Equality/8 - 2 - 9.2 Properties of Equality (3 min).txt 2KB
  176. 2 Week 2 Propositional Logic/2 - 5 - 2.5 Properties of Sentences (3 min).txt 2KB
  177. 3 Week 3 Propositional Proofs/3 - 5 - 3.5 Soundness and Completeness (2 min).txt 2KB
  178. 8 Week 6 Equality/8 - 1 - 9.1 Equality (3 min).txt 2KB
  179. 6 Week 5 Relational Logic Proofs/6 - 3 - 7.3 Example (3 min).txt 2KB
  180. 6 Week 5 Relational Logic Proofs/6 - 1 - 7.1 Relational Proofs (2 min).txt 2KB
  181. 3 Week 3 Propositional Proofs/3 - 4 - 3.4 Fitch (3 min).txt 2KB
  182. 4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).srt 2KB
  183. 7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).srt 2KB
  184. 5 Week 4 Relational Logic/5 - 1 - 6.1 Relational Logic (2 min).txt 2KB
  185. 9 Week 7 Induction/9 - 2 - 10.2 Domain Closure (2 min).txt 2KB
  186. 3 Week 3 Propositional Proofs/3 - 1 - 3.1 Propositional Proofs (2 min).txt 2KB
  187. 7 Week 6 Relational Resolution (optional)/7 - 1 - 8.1 Relational Resolution (2 min).txt 2KB
  188. 4 Week 3 Propositional Resolution (optional)/4 - 1 - 4.1 Propositional Resolution (2 min).txt 1KB
  189. 7 Week 6 Relational Resolution (optional)/7 - 6 - 8.6 Unsatisfiability (2 min).txt 1KB
  190. 2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).srt 64B
  191. 2 Week 2 Propositional Logic/2 - 1 - 2.1 Propositional Logic (1 min).txt 30B