589689.xyz

Introduction to Logic

  • 收录时间:2018-03-08 20:26:59
  • 文件大小:327MB
  • 下载次数:212
  • 最近下载:2021-01-21 09:21:37
  • 磁力链接:
立即下载 复制链接

文件列表

  1. Video Lectures/5 - 1 - 5.1 Propositional Satisfiability (16 min).mp4 13MB
  2. Video Lectures/10 - 3 - 10.3 Syntax and Semantics (14 min).mp4 11MB
  3. Video Lectures/8 - 3 - 8.3 Unification (14 min).mp4 11MB
  4. Video Lectures/11 - 4 - 11.4 General Game Playing (14 min).mp4 11MB
  5. Video Lectures/4 - 5 - 4.5 Box Logic (out of focus).mp4 9MB
  6. Video Lectures/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4 8MB
  7. Video Lectures/6 - 2 - 6.2 Syntax (9 min).mp4 8MB
  8. Video Lectures/1 - 2 - 1.2 Elements of Logic (10 min).mp4 8MB
  9. Video Lectures/7 - 2 - 7.2 Proofs (10 min).mp4 7MB
  10. Video Lectures/1 - 3 - 1.3 Formalization (9 min).mp4 7MB
  11. Video Lectures/11 - 2 - 11.2 Game Description (8 min).mp4 7MB
  12. Video Lectures/6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4 7MB
  13. Video Lectures/8 - 2 - 8.2 Clausal Form (9 min).mp4 6MB
  14. Video Lectures/3 - 2 - 3.2 Linear Proofs (8 min).mp4 6MB
  15. Video Lectures/11 - 1 - 11.1 General Game Playing (7 min).mp4 6MB
  16. Video Lectures/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4 6MB
  17. Video Lectures/6 - 3 - 6.3 Semantics (8 min).mp4 5MB
  18. Video Lectures/10 - 2 - 10.2 Conceptualization (7 min).mp4 5MB
  19. Video Lectures/8 - 8 - 8.8 Answer Extraction (6 min).mp4 5MB
  20. Video Lectures/8 - 5 - 8.5 Resolution Reasoning (5 min).mp4 5MB
  21. Video Lectures/4 - 4 - 4.4 Resolution Method (7 min).mp4 5MB
  22. Video Lectures/9 - 3 - 9.3 Linear Induction (7 min).mp4 5MB
  23. Video Lectures/9 - 5 - 9.5 Structural Induction (6 min).mp4 5MB
  24. Video Lectures/2 - 6 - 2.6 Logical Entailment (6 min).mp4 5MB
  25. Video Lectures/6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4 5MB
  26. Video Lectures/6 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4 5MB
  27. Video Lectures/11 - 5 - 11.5 Philosophical Remarks (5 min).mp4 5MB
  28. Video Lectures/6 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4 5MB
  29. Video Lectures/8 - 4 - 8.4 Resolution Principle (7 min).mp4 4MB
  30. Video Lectures/7 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4 4MB
  31. Video Lectures/10 - 10 - 10.10 Example Arithmetic (5 min).mp4 4MB
  32. Video Lectures/3 - 3 - 3.3 Structured Proofs (5 min).mp4 4MB
  33. Video Lectures/1 - 4 - 1.4 Automation (5 min).mp4 4MB
  34. Video Lectures/8 - 7 - 8.7 Logical Entailment (6 min).mp4 4MB
  35. Video Lectures/6 - 4 - 6.4 Example - Sorority World (5 min).mp4 4MB
  36. Video Lectures/10 - 8 - 10.8 First Order Proofs (5 min).mp4 4MB
  37. Video Lectures/4 - 3 - 4.3 Resolution Principle (5 min).mp4 4MB
  38. Video Lectures/6 - 9 - 6.9 Example - Pseudo-English (5 min).mp4 3MB
  39. Video Lectures/6 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4 3MB
  40. Video Lectures/4 - 2 - 4.2 Clausal Form (5 min).mp4 3MB
  41. Video Lectures/1 - 5 - 1.5 Study Guide (4 min).mp4 3MB
  42. Video Lectures/6 - 5 - 6.5 Example - Blocks World (4 min).mp4 3MB
  43. Video Lectures/9 - 4 - 9.4 Tree Induction (4 min).mp4 3MB
  44. Video Lectures/10 - 4 - 10.4 Example Blocks World (4 min).mp4 3MB
  45. Video Lectures/6 - 8 - 6.8 Example Linked Lists (4 min).mp4 3MB
  46. Video Lectures/11 - 6 - 11.6 International GGP Competition (4 min).mp4 3MB
  47. Video Lectures/7 - 4 - 7.4 Example (4 min).mp4 3MB
  48. Video Lectures/10 - 9 - 10.9 Examples Equality (4 min).mp4 3MB
  49. Video Lectures/2 - 4 - 2.4 Satisfaction (3 min).mp4 3MB
  50. Video Lectures/6 - 12 - 6.12 Logical Entailment (4 min).mp4 3MB
  51. Video Lectures/6 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4 3MB
  52. Video Lectures/1 - 1 - 1.1 Introduction to Logic (3 min).mp4 2MB
  53. Video Lectures/10 - 5 - 10.5 Example Peano Arithmetic (3 min).mp4 2MB
  54. Video Lectures/2 - 7 - 2.7 The Big Game (3 min).mp4 2MB
  55. Video Lectures/9 - 1 - 9.1 Induction (3 min).mp4 2MB
  56. Video Lectures/6 - 1 - 6.1 Herbrand Logic (3 min).mp4 2MB
  57. Video Lectures/6 - 11 - 6.11 Properties of Sentences (3 min).mp4 2MB
  58. Video Lectures/11 - 3 - 11.3 Game Management (2 min).mp4 2MB
  59. Video Lectures/2 - 5 - 2.5 Properties of Sentences (3 min).mp4 2MB
  60. Video Lectures/10 - 1 - 10.1 First Order Logic (3 min).mp4 2MB
  61. Video Lectures/7 - 3 - 7.3 Example (3 min).mp4 2MB
  62. Video Lectures/3 - 5 - 3.5 Soundness and Completeness (2 min).mp4 2MB
  63. Video Lectures/4 - 1 - 4.1 Propositional Resolution (2 min).mp4 2MB
  64. Video Lectures/3 - 4 - 3.4 Fitch (3 min).mp4 2MB
  65. Video Lectures/7 - 1 - 7.1 Herbrand Logic Proofs (2 min).mp4 2MB
  66. Video Lectures/8 - 1 - 8.1 Resolution (2 min).mp4 1MB
  67. Video Lectures/9 - 2 - 9.2 Domain Closure (2 min).mp4 1MB
  68. Video Lectures/3 - 1 - 3.1 Propositional Proofs (2 min).mp4 1MB
  69. Video Lectures/10 - 7 - 10.7 Logical Entailment (2 min).mp4 1MB
  70. Video Lectures/8 - 6 - 8.6 Unsatisfiability (2 min).mp4 1MB
  71. Video Lectures/2 - 1 - 2.1 Propositional Logic (1 min).mp4 1MB
  72. Video Lectures/10 - 6 - 10.6 Properties of Sentences (1 min).mp4 857KB
  73. Chapter Notes/chapter05.pdf 811KB
  74. Slides/lesson02.pdf 807KB
  75. Solutions/02_02.pdf 779KB
  76. Slides/lesson01.pdf 649KB
  77. Solutions/10_02.pdf 633KB
  78. Solutions/10_01.pdf 633KB
  79. Solutions/08_03.pdf 622KB
  80. Solutions/02_05.pdf 610KB
  81. Solutions/02_01.pdf 603KB
  82. Solutions/05_01.pdf 594KB
  83. Solutions/07_06.pdf 590KB
  84. Solutions/07_05.pdf 585KB
  85. Solutions/07_02.pdf 583KB
  86. Solutions/07_03.pdf 583KB
  87. Solutions/07_04.pdf 582KB
  88. Solutions/07_01.pdf 582KB
  89. Solutions/06_02.pdf 323KB
  90. Solutions/01_03.pdf 264KB
  91. Solutions/01_02.pdf 263KB
  92. Chapter Notes/chapter01.pdf 253KB
  93. Solutions/01_01.pdf 218KB
  94. Chapter Notes/chapter06.pdf 212KB
  95. Solutions/02_06.pdf 203KB
  96. Chapter Notes/chapter08.pdf 168KB
  97. Solutions/04_03.pdf 164KB
  98. Chapter Notes/chapter10.pdf 153KB
  99. Solutions/04_01.pdf 149KB
  100. Solutions/02_03.pdf 144KB
  101. Solutions/02_04.pdf 136KB
  102. Solutions/04_02.pdf 134KB
  103. Solutions/03_06.pdf 131KB
  104. Solutions/03_07.pdf 131KB
  105. Solutions/03_05.pdf 130KB
  106. Solutions/03_03.pdf 130KB
  107. Solutions/03_04.pdf 129KB
  108. Chapter Notes/chapter09.pdf 126KB
  109. Solutions/03_02.pdf 126KB
  110. Solutions/03_01.pdf 126KB
  111. Solutions/08_04.pdf 115KB
  112. Solutions/04_04.pdf 114KB
  113. Chapter Notes/chapter02.pdf 106KB
  114. Solutions/10_09.pdf 104KB
  115. Solutions/10_06.pdf 104KB
  116. Solutions/10_04.pdf 103KB
  117. Solutions/10_05.pdf 102KB
  118. Solutions/10_08.pdf 101KB
  119. Chapter Notes/chapter07.pdf 100KB
  120. Solutions/10_10.pdf 100KB
  121. Exercises/MSCS Program Sheet.htm 99KB
  122. Solutions/10_07.pdf 97KB
  123. Chapter Notes/chapter03.pdf 96KB
  124. Solutions/09_04.pdf 89KB
  125. Solutions/09_05.pdf 89KB
  126. Solutions/09_03.pdf 85KB
  127. Solutions/09_02.pdf 85KB
  128. Exercises/Problem 6.2.1 - Relational Syntax_files/epilog.js 82KB
  129. Exercises/Exercise 6.3.2 - Relational Evaluation_files/epilog.js 82KB
  130. Exercises/Exercise 6.4.1 - Sorority World_files/epilog.js 82KB
  131. Exercises/Exercise 1.2.3 - Logical Reasoning_files/epilog.js 82KB
  132. Exercises/Exercise 1.1 - Sorority World_files/epilog.js 82KB
  133. Applications/Boole_files/epilog.js 82KB
  134. Exercises/Exercise 6.3.1 - Counting_files/epilog.js 82KB
  135. Exercises/Exercise 1.2.2 - Logical Entailment_files/epilog.js 82KB
  136. Chapter Notes/chapter04.pdf 82KB
  137. Exercises/Exercise 8.8.1 - Answer Extraction_files/epilog.js 62KB
  138. Exercises/Exercise 2.6.1 - Truth Table Method_files/epilog.js 62KB
  139. Exercises/Exercise 6.11.1 - Properties of Sentences_files/epilog.js 62KB
  140. Exercises/Exercise 8.7.1 - Logical Entailment_files/epilog.js 62KB
  141. Exercises/MSCS Program Sheet_files/epilog.js 62KB
  142. Exercises/Exercise 2.3.1 - Counting Truth Assignments_files/epilog.js 62KB
  143. Exercises/Exercise 6.12.1 - Logical Entailment_files/epilog.js 62KB
  144. Exercises/Exercise 8.6.1 - Unsatisfiability_files/epilog.js 62KB
  145. Exercises/Exercise 6.5.1 - Blocks World_files/epilog.js 62KB
  146. Exercises/Exercise 2.5.1 - Properties of Sentences_files/epilog.js 62KB
  147. Exercises/Exercise 2.3.2 - Evaluation_files/epilog.js 62KB
  148. Exercises/Exercise 2.2.1 - Propositional Syntax_files/epilog.js 62KB
  149. Exercises/Exercise 8.5.1 - Resolution Derivation_files/epilog.js 62KB
  150. Exercises/Exercise 2.4.1 - Satisfaction_files/epilog.js 62KB
  151. Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority3.jpg 45KB
  152. Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority4.jpg 44KB
  153. Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority2.jpg 44KB
  154. Exercises/Exercise 1.2.2 - Logical Entailment_files/sorority1.jpg 43KB
  155. Exercises/Exercise 10.8.1 - First Order Proofs_files/logica.js 29KB
  156. Exercises/Exercise 4.4.2 - Resolution Method_files/logica.js 29KB
  157. Exercises/Exercise 8.5.1 - Resolution Derivation_files/logica.js 29KB
  158. Exercises/Exercise 3.2.1 - Mendelson System_files/logica.js 29KB
  159. Exercises/Exercise 8.6.1 - Unsatisfiability_files/logica.js 29KB
  160. Exercises/Exercise 3.3.1 - Structured Proofs_files/logica.js 29KB
  161. Exercises/Exercise 9.2.1 - Domain Closure in Fitch_files/logica.js 29KB
  162. Exercises/Exercise 3.4.1 - Fitch System_files/logica.js 29KB
  163. Exercises/Exercise 8.7.1 - Logical Entailment_files/logica.js 29KB
  164. Exercises/Exercise 7.5.1 - Fitch System_files/logica.js 29KB
  165. Exercises/Exercise 4.4.1 - Resolution Derivation_files/logica.js 29KB
  166. Exercises/Exercise 8.8.1 - Answer Extraction_files/logica.js 29KB
  167. Exercises/Exercise 9.3.1 - Induction in Fitch_files/logica.js 29KB
  168. Exercises/Exercise 7.3.1 - Fitch System_files/logica.js 29KB
  169. Applications/Fitch_files/logica.js 29KB
  170. Exercises/Exercise 9.3.1 - Induction in Fitch_files/fitch.js 28KB
  171. Exercises/Exercise 9.2.1 - Domain Closure in Fitch_files/fitch.js 28KB
  172. Exercises/Exercise 7.5.1 - Fitch System_files/fitch.js 28KB
  173. Exercises/Exercise 3.3.1 - Structured Proofs_files/fitch.js 28KB
  174. Exercises/Exercise 3.4.1 - Fitch System_files/fitch.js 28KB
  175. Exercises/Exercise 7.3.1 - Fitch System_files/fitch.js 28KB
  176. Applications/Fitch_files/fitch.js 28KB
  177. Exercises/Exercise 10.8.1 - First Order Proofs_files/fitch.js 28KB
  178. Applications/Mendelson System_files/logica.js 28KB
  179. Exercises/Exercise 6.3.2 - Relational Evaluation_files/newredex.jpg 24KB
  180. images/newredex.jpg 24KB
  181. Exercises/Exercise 2.3.2 - Evaluation_files/newgreencheck.jpg 24KB
  182. Exercises/Exercise 1.2.3 - Logical Reasoning_files/newgreencheck.jpg 24KB
  183. images/newgreencheck.jpg 24KB
  184. Exercises/Exercise 2.2.1 - Propositional Syntax_files/newgreencheck.jpg 24KB
  185. Exercises/Problem 6.2.1 - Relational Syntax_files/newgreencheck.jpg 24KB
  186. Applications/Mendelson System.htm 20KB
  187. Exercises/Exercise 9.2.1 - Domain Closure in Fitch.htm 20KB
  188. Exercises/MSCS Program Sheet_files/mscs.js 19KB
  189. Video Lectures/11 - 4 - 11.4 General Game Playing (14 min).srt 19KB
  190. Exercises/Exercise 9.3.1 - Induction in Fitch.htm 18KB
  191. Video Lectures/10 - 3 - 10.3 Syntax and Semantics (14 min).srt 18KB
  192. Video Lectures/5 - 1 - 5.1 Propositional Satisfiability (16 min).srt 17KB
  193. Video Lectures/8 - 3 - 8.3 Unification (14 min).srt 17KB
  194. Exercises/Exercise 10.8.1 - First Order Proofs.htm 16KB
  195. Exercises/Exercise 7.3.1 - Fitch System.htm 15KB
  196. Exercises/Exercise 7.5.1 - Fitch System.htm 14KB
  197. Exercises/Exercise 8.2.1 - Clausal Form.htm 14KB
  198. Exercises/Exercise 1.1 - Sorority World.htm 14KB
  199. Video Lectures/2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt 13KB
  200. Exercises/Exercise 3.2.1 - Mendelson System.htm 13KB
  201. Video Lectures/7 - 2 - 7.2 Proofs (10 min).srt 12KB
  202. Video Lectures/1 - 2 - 1.2 Elements of Logic (10 min).srt 12KB
  203. Applications/Fitch.htm 12KB
  204. Exercises/Exercise 3.2.1 - Mendelson System_files/mendelson.js 12KB
  205. Exercises/Exercise 8.4.1 - Resolution Principle.htm 12KB
  206. Exercises/Exercise 3.4.1 - Fitch System.htm 12KB
  207. Video Lectures/6 - 2 - 6.2 Syntax (9 min).srt 11KB
  208. Video Lectures/1 - 3 - 1.3 Formalization (9 min).srt 11KB
  209. Exercises/Exercise 2.4.1 - Satisfaction.htm 11KB
  210. Video Lectures/8 - 2 - 8.2 Clausal Form (9 min).srt 11KB
  211. Exercises/Exercise 4.2.1 - Clausal Form.htm 11KB
  212. Video Lectures/11 - 2 - 11.2 Game Description (8 min).srt 10KB
  213. Exercises/Exercise 6.4.1 - Sorority World.htm 10KB
  214. Exercises/Exercise 2.5.1 - Properties of Sentences.htm 10KB
  215. Exercises/Exercise 6.11.1 - Properties of Sentences.htm 10KB
  216. Video Lectures/3 - 2 - 3.2 Linear Proofs (8 min).srt 10KB
  217. Video Lectures/6 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt 10KB
  218. Exercises/Exercise 8.3.1 - Unification.htm 10KB
  219. Video Lectures/11 - 1 - 11.1 General Game Playing (7 min).srt 10KB
  220. Exercises/Exercise 2.6.1 - Truth Table Method.htm 10KB
  221. Exercises/Exercise 4.3.1 - Resolution Principle.htm 10KB
  222. Exercises/Exercise 6.2.1 - Relational Syntax.htm 9KB
  223. Exercises/Exercise 3.3.1 - Structured Proofs.htm 9KB
  224. Video Lectures/2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt 9KB
  225. Exercises/Exercise 2.3.2 - Evaluation.htm 9KB
  226. Exercises/Exercise 8.6.1 - Unsatisfiability.htm 9KB
  227. Exercises/Exercise 4.4.2 - Resolution Method_files/resolution.js 8KB
  228. Exercises/Exercise 4.4.1 - Resolution Derivation_files/resolution.js 8KB
  229. Video Lectures/9 - 5 - 9.5 Structural Induction (6 min).srt 8KB
  230. Exercises/Exercise 8.6.1 - Unsatisfiability_files/robinson.js 8KB
  231. Exercises/Exercise 8.8.1 - Answer Extraction_files/robinson.js 8KB
  232. Exercises/Exercise 8.7.1 - Logical Entailment_files/robinson.js 8KB
  233. Exercises/Exercise 8.5.1 - Resolution Derivation_files/robinson.js 8KB
  234. Video Lectures/6 - 3 - 6.3 Semantics (8 min).srt 8KB
  235. Video Lectures/10 - 2 - 10.2 Conceptualization (7 min).srt 8KB
  236. Video Lectures/9 - 3 - 9.3 Linear Induction (7 min).srt 8KB
  237. Video Lectures/4 - 4 - 4.4 Resolution Method (7 min).srt 8KB
  238. Exercises/Exercise 8.7.1 - Logical Entailment.htm 8KB
  239. Exercises/Exercise 8.8.1 - Answer Extraction.htm 8KB
  240. Video Lectures/8 - 8 - 8.8 Answer Extraction (6 min).srt 8KB
  241. Exercises/Exercise 6.3.2 - Relational Evaluation.htm 8KB
  242. Video Lectures/6 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt 8KB
  243. Video Lectures/2 - 6 - 2.6 Logical Entailment (6 min).srt 8KB
  244. Video Lectures/6 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt 8KB
  245. Video Lectures/8 - 4 - 8.4 Resolution Principle (7 min).srt 8KB
  246. Exercises/Exercise 8.5.1 - Resolution Derivation.htm 7KB
  247. Exercises/Exercise 1.2.2 - Logical Entailment.htm 7KB
  248. Exercises/Exercise 2.2.1 - Propositional Syntax.htm 7KB
  249. Applications/Boole.htm 7KB
  250. Video Lectures/11 - 5 - 11.5 Philosophical Remarks (5 min).srt 7KB
  251. Exercises/Exercise 6.5.1 - Blocks World.htm 7KB
  252. Video Lectures/6 - 10 - 6.10 Example - Metalevel Logic (6 min).srt 7KB
  253. Video Lectures/10 - 8 - 10.8 First Order Proofs (5 min).srt 7KB
  254. Exercises/Exercise 4.4.1 - Resolution Derivation.htm 7KB
  255. Exercises/Exercise 1.2.3 - Logical Reasoning.htm 7KB
  256. Video Lectures/3 - 3 - 3.3 Structured Proofs (5 min).srt 7KB
  257. Exercises/Exercise 6.12.1 - Logical Entailment.htm 6KB
  258. Video Lectures/10 - 10 - 10.10 Example Arithmetic (5 min).srt 6KB
  259. Exercises/Exercise 4.4.2 - Resolution Method.htm 6KB
  260. Video Lectures/8 - 5 - 8.5 Resolution Reasoning (5 min).srt 6KB
  261. Video Lectures/4 - 3 - 4.3 Resolution Principle (5 min).srt 6KB
  262. Video Lectures/10 - 4 - 10.4 Example Blocks World (4 min).srt 6KB
  263. Video Lectures/1 - 4 - 1.4 Automation (5 min).srt 6KB
  264. Exercises/Exercise 6.3.1 - Counting.htm 6KB
  265. Video Lectures/6 - 4 - 6.4 Example - Sorority World (5 min).srt 6KB
  266. Video Lectures/6 - 5 - 6.5 Example - Blocks World (4 min).srt 6KB
  267. Video Lectures/6 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt 6KB
  268. Video Lectures/4 - 5 - 4.5 Box Logic (out of focus).srt 5KB
  269. Video Lectures/1 - 5 - 1.5 Study Guide (4 min).srt 5KB
  270. Video Lectures/4 - 2 - 4.2 Clausal Form (5 min).srt 5KB
  271. Video Lectures/11 - 6 - 11.6 International GGP Competition (4 min).srt 5KB
  272. Video Lectures/9 - 4 - 9.4 Tree Induction (4 min).srt 5KB
  273. Exercises/Exercise 1.3.1 - Formalization.htm 5KB
  274. Video Lectures/8 - 7 - 8.7 Logical Entailment (6 min).srt 5KB
  275. Video Lectures/6 - 9 - 6.9 Example - Pseudo-English (5 min).srt 5KB
  276. Video Lectures/6 - 8 - 6.8 Example Linked Lists (4 min).srt 5KB
  277. Video Lectures/10 - 9 - 10.9 Examples Equality (4 min).srt 5KB
  278. Exercises/Exercise 2.3.1 - Counting Truth Assignments.htm 5KB
  279. Video Lectures/7 - 4 - 7.4 Example (4 min).srt 5KB
  280. Video Lectures/6 - 12 - 6.12 Logical Entailment (4 min).srt 4KB
  281. Video Lectures/2 - 4 - 2.4 Satisfaction (3 min).srt 4KB
  282. Video Lectures/6 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt 4KB
  283. Video Lectures/9 - 1 - 9.1 Induction (3 min).srt 4KB
  284. Video Lectures/2 - 7 - 2.7 The Big Game (3 min).srt 4KB
  285. Video Lectures/10 - 1 - 10.1 First Order Logic (3 min).srt 4KB
  286. Video Lectures/10 - 5 - 10.5 Example Peano Arithmetic (3 min).srt 4KB
  287. Video Lectures/6 - 1 - 6.1 Herbrand Logic (3 min).srt 4KB
  288. Video Lectures/11 - 3 - 11.3 Game Management (2 min).srt 4KB
  289. Video Lectures/7 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt 4KB
  290. Video Lectures/6 - 11 - 6.11 Properties of Sentences (3 min).srt 4KB
  291. Video Lectures/1 - 1 - 1.1 Introduction to Logic (3 min).srt 3KB
  292. Exercises/Exercise 1.4.1 - Logical Websheets.htm 3KB
  293. Video Lectures/3 - 5 - 3.5 Soundness and Completeness (2 min).srt 3KB
  294. Video Lectures/7 - 3 - 7.3 Example (3 min).srt 3KB
  295. Video Lectures/2 - 5 - 2.5 Properties of Sentences (3 min).srt 3KB
  296. Video Lectures/3 - 4 - 3.4 Fitch (3 min).srt 3KB
  297. Video Lectures/7 - 1 - 7.1 Herbrand Logic Proofs (2 min).srt 3KB
  298. Puzzles/Puzzle - Coins.htm 3KB
  299. Video Lectures/9 - 2 - 9.2 Domain Closure (2 min).srt 3KB
  300. Puzzles/Puzzle - Prisoners.htm 2KB
  301. Video Lectures/3 - 1 - 3.1 Propositional Proofs (2 min).srt 2KB
  302. Video Lectures/8 - 1 - 8.1 Resolution (2 min).srt 2KB
  303. Video Lectures/10 - 7 - 10.7 Logical Entailment (2 min).srt 2KB
  304. Puzzles/Puzzle - Cards.htm 2KB
  305. Puzzles/Puzzle - Enlightenment.htm 2KB
  306. Video Lectures/4 - 1 - 4.1 Propositional Resolution (2 min).srt 2KB
  307. Puzzles/Puzzle - Nations.htm 2KB
  308. Video Lectures/8 - 6 - 8.6 Unsatisfiability (2 min).srt 2KB
  309. Puzzles/Puzzle - Logicians.htm 2KB
  310. Puzzles/Puzzle - Safecracking.htm 2KB
  311. Exercises/MSCS Program Sheet_files/sheet.css 2KB
  312. Video Lectures/2 - 1 - 2.1 Propositional Logic (1 min).srt 1KB
  313. Video Lectures/10 - 6 - 10.6 Properties of Sentences (1 min).srt 1KB
  314. Exercises/Exercise 6.4.1 - Sorority World_files/check20x20.jpg 455B
  315. images/check20x20.jpg 455B