589689.xyz

logic1-002

  • 收录时间:2018-03-26 07:03:19
  • 文件大小:822MB
  • 下载次数:172
  • 最近下载:2021-01-15 23:09:56
  • 磁力链接:
立即下载 复制链接

文件列表

  1. 04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.mp4 44MB
  2. 02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.mp4 36MB
  3. 03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.mp4 35MB
  4. 04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.mp4 33MB
  5. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.mp4 33MB
  6. 02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.mp4 31MB
  7. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.mp4 30MB
  8. 03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.mp4 29MB
  9. 02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.mp4 28MB
  10. 03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.mp4 28MB
  11. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.mp4 27MB
  12. 04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.mp4 27MB
  13. 03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.mp4 27MB
  14. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.mp4 26MB
  15. CourseNotes/logic1%252Fnotes%252Flogic1notes.pdf 23MB
  16. CourseNotes/logic1%2Fnotes%2Flogic1notes.pdf 23MB
  17. 02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.mp4 23MB
  18. 03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.mp4 22MB
  19. 02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.mp4 22MB
  20. 02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.mp4 20MB
  21. 02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.mp4 19MB
  22. 01_0-_Preliminaries/01_Welcome_8-47.mp4 18MB
  23. 04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.mp4 17MB
  24. 05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.mp4 17MB
  25. 02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.mp4 17MB
  26. 06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.mp4 16MB
  27. 04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.pdf 15MB
  28. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.mp4 14MB
  29. 05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.mp4 13MB
  30. 03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.mp4 13MB
  31. 05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.mp4 11MB
  32. 06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.pdf 11MB
  33. 06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.mp4 10MB
  34. 02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.mp4 10MB
  35. 06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.mp4 9MB
  36. 02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.mp4 7MB
  37. 06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.pdf 6MB
  38. 04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.pdf 5MB
  39. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.pdf 3MB
  40. 05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.pdf 3MB
  41. entered_login.html 1MB
  42. 04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.pdf 954KB
  43. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.pdf 736KB
  44. 04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.pdf 676KB
  45. 02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.pdf 624KB
  46. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.pdf 606KB
  47. 05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.pdf 557KB
  48. 05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.pdf 543KB
  49. 03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.pdf 527KB
  50. 02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.pdf 513KB
  51. 03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.pdf 509KB
  52. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.pdf 503KB
  53. 02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.pdf 487KB
  54. 06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.pdf 450KB
  55. 03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.pdf 442KB
  56. 02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.pdf 439KB
  57. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.pdf 439KB
  58. 02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.pdf 436KB
  59. 02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.pdf 434KB
  60. 02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.pdf 422KB
  61. 03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.pdf 418KB
  62. 02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.pdf 416KB
  63. 03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.pdf 412KB
  64. 02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.pdf 411KB
  65. 02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.pdf 410KB
  66. 03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.pdf 403KB
  67. 01_0-_Preliminaries/01_Welcome_8-47.pdf 344KB
  68. QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html 219KB
  69. QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html 214KB
  70. QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/8_Practice_Quiz_1a_The_Propositional_Language_10_marks.html 193KB
  71. QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/12_Practice_Quiz_3_Combinational_Digital_Systems.html 190KB
  72. QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/4_Graded_Quiz_3_Combinational_Digital_Systems.html 178KB
  73. QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/zip_page.html 178KB
  74. QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/5_Graded_Quiz_4_Vagueness_10_marks.html 176KB
  75. QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/0_Graded_Quiz_1a_The_Propositional_Language_10_marks.html 169KB
  76. QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/13_Practice_Quiz_4_Vagueness.html 139KB
  77. QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks.html 133KB
  78. QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/15_Practice_Quiz_6_Propositional_Logic_Programming.html 129KB
  79. Quizzes - Practice and Graded.html 116KB
  80. PeerAssessments/logic1%252Fassessment%252FLLI%20Peer%20Grading%20Rubric.pdf 89KB
  81. PeerAssessments/logic1%2Fassessment%2FLLI%20Peer%20Grading%20Rubric.pdf 89KB
  82. QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks.html 87KB
  83. QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks.html 82KB
  84. Surveys/3_Postcourse_Survey/3_Postcourse_Survey.html 82KB
  85. QuizzesPracticeandGraded/2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks.html 81KB
  86. QuizzesPracticeandGraded/10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks.html 79KB
  87. Surveys/0_Pre_Course_Survey/0_Pre_Course_Survey.html 77KB
  88. Announcements/Announcements.html 74KB
  89. course_home.html 73KB
  90. DiscussionForums/DiscussionForums.html 65KB
  91. QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question5-worksheet.pdf 61KB
  92. QuickQuestions15/QuickQuestions15.html 58KB
  93. PrivacyPolicy/PrivacyPolicy.html 55KB
  94. QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/6_Graded_Quiz_5_Implication_and_Implicature_10_marks.html 53KB
  95. QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/14_Practice_Quiz_5_Implication_and_Implicature.html 49KB
  96. PeerAssessments/PeerAssessments.html 49KB
  97. PeerAssessments/zip_page.html 49KB
  98. Surveys/1_MidCourse_Survey/1_MidCourse_Survey.html 49KB
  99. Surveys/2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session/2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session.html 47KB
  100. Surveys.html 47KB
  101. Syllabus/Syllabus.html 45KB
  102. Socialmedia/Socialmedia.html 41KB
  103. Sectionstudyguides/Sectionstudyguides.html 41KB
  104. Aboutus/Aboutus.html 41KB
  105. CourseNotes/CourseNotes.html 40KB
  106. CourseNotes/zip_page.html 40KB
  107. assignment_home.html 34KB
  108. 04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.srt 32KB
  109. 04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.srt 29KB
  110. 02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.srt 28KB
  111. 03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.srt 26KB
  112. 05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.srt 24KB
  113. 05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.srt 22KB
  114. 04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.srt 22KB
  115. 03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.srt 21KB
  116. 06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.srt 21KB
  117. 04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.txt 20KB
  118. 03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.srt 19KB
  119. 03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.srt 19KB
  120. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.srt 18KB
  121. 04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.txt 18KB
  122. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.srt 17KB
  123. QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question1-worksheet.pdf 17KB
  124. 02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.txt 17KB
  125. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.srt 16KB
  126. 02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.srt 16KB
  127. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.srt 16KB
  128. 03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.txt 16KB
  129. 06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.srt 16KB
  130. 04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.srt 15KB
  131. 05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.txt 15KB
  132. 05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.txt 13KB
  133. 04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.txt 13KB
  134. 03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.srt 13KB
  135. 03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.txt 13KB
  136. 02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.srt 13KB
  137. 01_0-_Preliminaries/01_Welcome_8-47.srt 13KB
  138. 06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.txt 13KB
  139. 02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.srt 13KB
  140. 02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.srt 12KB
  141. 02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.srt 12KB
  142. 03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.txt 12KB
  143. 03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.txt 12KB
  144. 06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.srt 11KB
  145. 02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.srt 11KB
  146. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.txt 11KB
  147. 03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.srt 11KB
  148. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.txt 11KB
  149. 05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.srt 11KB
  150. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.txt 10KB
  151. 02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.txt 10KB
  152. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.txt 10KB
  153. 06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.txt 10KB
  154. 04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.txt 9KB
  155. 02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.srt 9KB
  156. 02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.txt 8KB
  157. 03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.txt 8KB
  158. 02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.txt 8KB
  159. 01_0-_Preliminaries/01_Welcome_8-47.txt 8KB
  160. DiscussionForums/links.txt 8KB
  161. 02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.srt 8KB
  162. 02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.txt 8KB
  163. 02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.txt 8KB
  164. 06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.txt 7KB
  165. 02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.txt 7KB
  166. 02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.srt 7KB
  167. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.srt 7KB
  168. 03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.txt 7KB
  169. 05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.txt 7KB
  170. logic1-002-about.json 6KB
  171. 02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.txt 6KB
  172. 02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.txt 5KB
  173. 02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.txt 4KB
  174. 07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.txt 4KB
  175. Announcements/links.txt 3KB
  176. PeerAssessments/links.txt 2KB
  177. Sectionstudyguides/links.txt 2KB
  178. Socialmedia/links.txt 2KB
  179. QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/links.txt 2KB
  180. QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/links.txt 2KB
  181. CourseNotes/links.txt 2KB
  182. Aboutus/links.txt 2KB
  183. Surveys/0_Pre_Course_Survey/links.txt 2KB
  184. Surveys/1_MidCourse_Survey/links.txt 2KB
  185. Surveys/2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session/links.txt 2KB
  186. Surveys/3_Postcourse_Survey/links.txt 2KB
  187. QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/links.txt 2KB
  188. QuizzesPracticeandGraded/10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt 2KB
  189. QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt 2KB
  190. QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/links.txt 2KB
  191. QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/links.txt 2KB
  192. QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/links.txt 2KB
  193. QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt 2KB
  194. QuizzesPracticeandGraded/2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt 2KB
  195. QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt 2KB
  196. QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/links.txt 2KB
  197. QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/links.txt 2KB
  198. QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/links.txt 2KB
  199. QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/links.txt 2KB
  200. QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt 2KB
  201. PrivacyPolicy/links.txt 2KB
  202. Syllabus/links.txt 2KB
  203. QuickQuestions15/links.txt 1KB