589689.xyz

[Coursera] Logic - Language and Information 1

  • 收录时间:2018-03-06 00:59:03
  • 文件大小:884MB
  • 下载次数:171
  • 最近下载:2021-01-10 09:28:15
  • 磁力链接:
立即下载 复制链接

文件列表

  1. 04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/4 - 4 - 3.4 Minimizing Logic Circuits Using K-Maps (2640).mp4 44MB
  2. 02 - 1 Language and Models of Propositional Logic (Core)/08 - 1.2.3 The Material Conditional Biconditional (11-50)/2 - 8 - 1.2.3 The Material Conditional Biconditional (1150).mp4 36MB
  3. 03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/3 - 3 - 2.2.1 Why We Need Proof Trees (1512).mp4 35MB
  4. 07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/7 - 4 - 6.4 How PROLOG Answers Queries (1708).mp4 33MB
  5. 06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/logic1notes-Chapter-5.pdf 33MB
  6. 03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/3 - 5 - 2.2.3 Example Proof Trees for Propositional Logic (1435).mp4 33MB
  7. 07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/7 - 3 - 6.3 PROLOG Project Sudoku Puzzles (1552).mp4 30MB
  8. 03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/3 - 6 - 2.2.4 Why Trees and Truth Tables Agree (1402).mp4 29MB
  9. 02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/2 - 10 - 1.3.2 Relationships Between Propositions (1426).mp4 28MB
  10. 03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/3 - 2 - 2.1.2 Argument Forms, Instances and Soundness (1642).mp4 28MB
  11. 07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/7 - 2 - 6.2 Logic Programming in PROLOG (1300).mp4 27MB
  12. 04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).mp4 27MB
  13. 07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/7 - 1 - 6.1 Logic, Computers Automated Reasoning (1247).mp4 26MB
  14. 04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/logic1notes-Chapter-3.pdf 24MB
  15. 02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/2 - 7 - 1.2.2 Negation, Conjunction and Disjunction (1037).mp4 23MB
  16. 02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).mp4 22MB
  17. 03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/3 - 4 - 2.2.2 Rules for Proof Trees for Propositional Logic (907).mp4 22MB
  18. 02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/2 - 9 - 1.3.1 Classifying Propositions (1118).mp4 22MB
  19. 02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/2 - 5 - 1.1.5 Expressive power (840).mp4 20MB
  20. 07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/logic1notes-Chapter-6.pdf 19MB
  21. 02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/2 - 6 - 1.2.1 Setting Up Truth Tables (635).mp4 19MB
  22. 01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).mp4 18MB
  23. 05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/logic1notes-Chapter-4.pdf 17MB
  24. 04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/4 - 2 - 3.2 Logic Gates Logic Circuits (1323).mp4 17MB
  25. 03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/logic1notes-Chapter-2.pdf 17MB
  26. 05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/5 - 2 - 4.2 Vagueness One Option-Revising Our Logic (1708).mp4 17MB
  27. 02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).mp4 17MB
  28. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/logic1notes-Chapter-1.pdf 16MB
  29. 01 - 0 Preliminaries/01 - Welcome (8-47)/logic1notes-Chapter-0.pdf 16MB
  30. 06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).mp4 16MB
  31. 04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/LLI1-3-1-Digital-signals-and-systems.pdf 15MB
  32. 07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).mp4 14MB
  33. 05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/5 - 3 - 4.3 Vagueness Another Option-Resist the Premises (1447).mp4 13MB
  34. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).mp4 13MB
  35. 03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/3 - 1 - 2.1.1 Validity of Arguments (938).mp4 13MB
  36. 05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).mp4 11MB
  37. 06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/LLI1-5-2-implicature.pdf 11MB
  38. 06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).mp4 10MB
  39. 02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/2 - 3 - 1.1.3 Propositional Formulas (923).mp4 10MB
  40. 06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/6 - 1 - 5.1 Linguistics Introducing Language and Logic (752).mp4 9MB
  41. 06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/LLI1-5-1-logic-and-language.pdf 6MB
  42. 04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/LLI1-3-2-Logic-Gates-and-Logic-Circuits.pdf 5MB
  43. 07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/LLI1-6-2-Logic-Programming-in-Prolog.pdf 3MB
  44. 05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/LLI1-4-1-the-sorites-paradox.pdf 3MB
  45. 04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/LLI1-3-4-Minimizing-Logic-Circuits-using-K-Maps.pdf 954KB
  46. 07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/LLI1-6-1-Automated-Reasoning.pdf 736KB
  47. 04 - 3 Combinational Digital Systems (Application Engineering)/03 - 3.3 Truth Tables, Logic Formulas Logic Circuits (28-54)/LLI1-3-3-Truth-Tables-Logic-Formulas-and-Logic-Circuits.pdf 676KB
  48. 02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/LLI1-1-1-2-connectives.pdf 624KB
  49. 07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/LLI1-6-3-Prolog-project-Sudoku-puzzles.pdf 606KB
  50. 05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/LLI1-4-3-response-2-two-values.pdf 557KB
  51. 05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/LLI1-4-2-response-1-many-values.pdf 543KB
  52. 03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/LLI1-2-2-3-example-trees.pdf 527KB
  53. 02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/LLI1-1-1-5-expressive_power.pdf 513KB
  54. 03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/LLI1-2-2-1-why-trees.pdf 509KB
  55. 07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/LLI1-6-4-How-Prolog-answers-queries.pdf 503KB
  56. 02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/LLI1-1-3-1-classifying propositions.pdf 487KB
  57. 06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/LLI1-5-3-implicatures-and-connectives.pdf 450KB
  58. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/LLI1-1-1-1-propositions.pdf 446KB
  59. 03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/LLI1-2-2-2-tree-rules.pdf 442KB
  60. 02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/LLI1-1-2-2-conjunction_disjunction.pdf 439KB
  61. 07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/LLI1-6-5-Negation-in-Prolog.pdf 439KB
  62. 02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/LLI1-1-1-3-formulas.pdf 434KB
  63. 02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/LLI1-1-1-4-formalisation.pdf 422KB
  64. 03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/LLI1-2-1-2-Argument-Forms.pdf 418KB
  65. 02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/LLI1-1-3-2-relationships between propositions.pdf 416KB
  66. 03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/LLI1-2-1-1-Validity.pdf 412KB
  67. 02 - 1 Language and Models of Propositional Logic (Core)/08 - 1.2.3 The Material Conditional Biconditional (11-50)/LLI1-1-2-3-conditional-biconditional.pdf 411KB
  68. 02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/LLI1-1-2-1-setting-up-truthtables.pdf 410KB
  69. 03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/LLI1-2-2-4-why-trees-work.pdf 403KB
  70. 01 - 0 Preliminaries/01 - Welcome (8-47)/welcome.pdf 344KB
  71. lectures.html 96KB
  72. index.html 58KB
  73. 04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/4 - 4 - 3.4 Minimizing Logic Circuits Using K-Maps (2640).srt 28KB
  74. 02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).srt 28KB
  75. 05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/5 - 2 - 4.2 Vagueness One Option-Revising Our Logic (1708).srt 24KB
  76. 01 - 0 Preliminaries/01 - Welcome (8-47)/syllabus.html 23KB
  77. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/Session_One_Study_Guide.html 22KB
  78. 05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/5 - 3 - 4.3 Vagueness Another Option-Resist the Premises (1447).srt 22KB
  79. 04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).srt 22KB
  80. 06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).srt 21KB
  81. 03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/3 - 3 - 2.2.1 Why We Need Proof Trees (1512).srt 20KB
  82. 03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/3 - 2 - 2.1.2 Argument Forms, Instances and Soundness (1642).srt 19KB
  83. 03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/3 - 5 - 2.2.3 Example Proof Trees for Propositional Logic (1435).srt 18KB
  84. 03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/3 - 6 - 2.2.4 Why Trees and Truth Tables Agree (1402).srt 18KB
  85. 07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/7 - 4 - 6.4 How PROLOG Answers Queries (1708).srt 18KB
  86. 07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/7 - 3 - 6.3 PROLOG Project Sudoku Puzzles (1552).srt 17KB
  87. 04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/4 - 4 - 3.4 Minimizing Logic Circuits Using K-Maps (2640).txt 17KB
  88. 02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).txt 17KB
  89. 07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/7 - 1 - 6.1 Logic, Computers Automated Reasoning (1247).srt 16KB
  90. 07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/7 - 2 - 6.2 Logic Programming in PROLOG (1300).srt 16KB
  91. 02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/2 - 10 - 1.3.2 Relationships Between Propositions (1426).srt 16KB
  92. 06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).srt 15KB
  93. 04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/4 - 2 - 3.2 Logic Gates Logic Circuits (1323).srt 15KB
  94. 05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/5 - 2 - 4.2 Vagueness One Option-Revising Our Logic (1708).txt 15KB
  95. logic1-001-about.json 13KB
  96. 05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/5 - 3 - 4.3 Vagueness Another Option-Resist the Premises (1447).txt 13KB
  97. 04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).txt 13KB
  98. 01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).srt 13KB
  99. 03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/3 - 4 - 2.2.2 Rules for Proof Trees for Propositional Logic (907).srt 13KB
  100. 06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).txt 13KB
  101. 03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/3 - 3 - 2.2.1 Why We Need Proof Trees (1512).txt 12KB
  102. 03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/list.html 12KB
  103. 03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/list.html 12KB
  104. 03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/list.html 12KB
  105. 03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/list.html 12KB
  106. 03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/list.html 12KB
  107. 03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/list.html 12KB
  108. 04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/list.html 12KB
  109. 04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/list.html 12KB
  110. 04 - 3 Combinational Digital Systems (Application Engineering)/03 - 3.3 Truth Tables, Logic Formulas Logic Circuits (28-54)/list.html 12KB
  111. 04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/list.html 12KB
  112. 05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/list.html 12KB
  113. 05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/list.html 12KB
  114. 05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/list.html 12KB
  115. 06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/list.html 12KB
  116. 06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/list.html 12KB
  117. 06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/list.html 12KB
  118. 07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/list.html 12KB
  119. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/list.html 12KB
  120. 02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/list.html 12KB
  121. 02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/list.html 12KB
  122. 02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/list.html 12KB
  123. 02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/list.html 12KB
  124. 02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/list.html 12KB
  125. 02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/list.html 12KB
  126. 02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/list.html 12KB
  127. 02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/list.html 12KB
  128. 01 - 0 Preliminaries/01 - Welcome (8-47)/forum.html 12KB
  129. 07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/forum_id10009.html 12KB
  130. 07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/forum_id10009.html 12KB
  131. 07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/forum_id10009.html 12KB
  132. 07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/forum_id10009.html 12KB
  133. 02 - 1 Language and Models of Propositional Logic (Core)/08 - 1.2.3 The Material Conditional Biconditional (11-50)/2 - 8 - 1.2.3 The Material Conditional Biconditional (1150).srt 12KB
  134. 02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/2 - 9 - 1.3.1 Classifying Propositions (1118).srt 12KB
  135. 02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/2 - 3 - 1.1.3 Propositional Formulas (923).srt 12KB
  136. 02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/2 - 7 - 1.2.2 Negation, Conjunction and Disjunction (1037).srt 12KB
  137. 03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/3 - 2 - 2.1.2 Argument Forms, Instances and Soundness (1642).txt 11KB
  138. 06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/6 - 1 - 5.1 Linguistics Introducing Language and Logic (752).srt 11KB
  139. 02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/2 - 5 - 1.1.5 Expressive power (840).srt 11KB
  140. 03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/3 - 6 - 2.2.4 Why Trees and Truth Tables Agree (1402).txt 11KB
  141. 03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/3 - 5 - 2.2.3 Example Proof Trees for Propositional Logic (1435).txt 11KB
  142. 07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/7 - 4 - 6.4 How PROLOG Answers Queries (1708).txt 11KB
  143. 03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/3 - 1 - 2.1.1 Validity of Arguments (938).srt 11KB
  144. 05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).srt 11KB
  145. 07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/7 - 3 - 6.3 PROLOG Project Sudoku Puzzles (1552).txt 11KB
  146. 07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/7 - 1 - 6.1 Logic, Computers Automated Reasoning (1247).txt 10KB
  147. 07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/7 - 2 - 6.2 Logic Programming in PROLOG (1300).txt 10KB
  148. 06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).txt 10KB
  149. 02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/2 - 10 - 1.3.2 Relationships Between Propositions (1426).txt 9KB
  150. 04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/4 - 2 - 3.2 Logic Gates Logic Circuits (1323).txt 9KB
  151. 02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).srt 9KB
  152. 01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).txt 8KB
  153. 02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/2 - 9 - 1.3.1 Classifying Propositions (1118).txt 8KB
  154. 02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/2 - 6 - 1.2.1 Setting Up Truth Tables (635).srt 8KB
  155. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).srt 8KB
  156. 03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/3 - 4 - 2.2.2 Rules for Proof Trees for Propositional Logic (907).txt 7KB
  157. 02 - 1 Language and Models of Propositional Logic (Core)/08 - 1.2.3 The Material Conditional Biconditional (11-50)/2 - 8 - 1.2.3 The Material Conditional Biconditional (1150).txt 7KB
  158. 02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/2 - 3 - 1.1.3 Propositional Formulas (923).txt 7KB
  159. 02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/2 - 7 - 1.2.2 Negation, Conjunction and Disjunction (1037).txt 7KB
  160. 06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/6 - 1 - 5.1 Linguistics Introducing Language and Logic (752).txt 7KB
  161. 02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/2 - 5 - 1.1.5 Expressive power (840).txt 7KB
  162. 07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).srt 7KB
  163. 05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).txt 7KB
  164. 03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/3 - 1 - 2.1.1 Validity of Arguments (938).txt 7KB
  165. 02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).txt 5KB
  166. 02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/2 - 6 - 1.2.1 Setting Up Truth Tables (635).txt 5KB
  167. 02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).txt 5KB
  168. 07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).txt 4KB