| logic1-002/01_0-_Preliminaries/01_Welcome_8-47.mp4 |
18.3 MB |
| logic1-002/01_0-_Preliminaries/01_Welcome_8-47.pdf |
344 KB |
| logic1-002/01_0-_Preliminaries/01_Welcome_8-47.srt |
13 KB |
| logic1-002/01_0-_Preliminaries/01_Welcome_8-47.txt |
8 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.mp4 |
7.4 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.pdf |
436 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.srt |
7 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.txt |
4 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.mp4 |
31.1 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.pdf |
624 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.srt |
28 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.txt |
17 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.mp4 |
10.2 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.pdf |
434 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.srt |
12 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.txt |
8 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.mp4 |
16.5 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.pdf |
422 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.srt |
9 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.txt |
6 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.mp4 |
20.1 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.pdf |
513 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.srt |
11 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.txt |
7 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.mp4 |
18.7 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.pdf |
410 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.srt |
8 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.txt |
5 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.mp4 |
23.2 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.pdf |
439 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.srt |
12 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.txt |
8 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.mp4 |
35.7 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.pdf |
411 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.srt |
13 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.txt |
8 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.mp4 |
21.9 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.pdf |
487 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.srt |
13 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.txt |
8 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.mp4 |
28.1 MB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.pdf |
416 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.srt |
16 KB |
| logic1-002/02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.txt |
10 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.mp4 |
12.6 MB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.pdf |
412 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.srt |
11 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.txt |
7 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.mp4 |
27.9 MB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.pdf |
418 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.srt |
19 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.txt |
12 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.mp4 |
35 MB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.pdf |
509 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.srt |
21 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.txt |
13 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.mp4 |
22.1 MB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.pdf |
442 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.srt |
13 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.txt |
8 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.mp4 |
26.6 MB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.pdf |
527 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.srt |
26 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.txt |
16 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.mp4 |
29.4 MB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.pdf |
403 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.srt |
19 KB |
| logic1-002/03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.txt |
12 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.mp4 |
27.2 MB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.pdf |
14.7 MB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.srt |
22 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.txt |
13 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.mp4 |
17.2 MB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.pdf |
4.9 MB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.srt |
15 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.txt |
9 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.mp4 |
33.4 MB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.pdf |
676 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.srt |
32 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.txt |
20 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.mp4 |
43.8 MB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.pdf |
954 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.srt |
29 KB |
| logic1-002/04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.txt |
18 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.mp4 |
11.3 MB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.pdf |
2.7 MB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.srt |
11 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.txt |
7 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.mp4 |
17.2 MB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.pdf |
543 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.srt |
24 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.txt |
15 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.mp4 |
13 MB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.pdf |
557 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.srt |
22 KB |
| logic1-002/05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.txt |
13 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.mp4 |
9.4 MB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.pdf |
6.3 MB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.srt |
11 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.txt |
7 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.mp4 |
15.6 MB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.pdf |
11.3 MB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.srt |
21 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.txt |
13 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.mp4 |
10.4 MB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.pdf |
450 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.srt |
16 KB |
| logic1-002/06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.txt |
10 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.mp4 |
26 MB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.pdf |
736 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.srt |
16 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.txt |
10 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.mp4 |
27.2 MB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.pdf |
3 MB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.srt |
16 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.txt |
10 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.mp4 |
30 MB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.pdf |
606 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.srt |
17 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.txt |
11 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.mp4 |
33.3 MB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.pdf |
503 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.srt |
18 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.txt |
11 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.mp4 |
13.6 MB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.pdf |
439 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.srt |
7 KB |
| logic1-002/07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.txt |
4 KB |
| logic1-002/Aboutus/Aboutus.html |
41 KB |
| logic1-002/Aboutus/links.txt |
2 KB |
| logic1-002/Announcements/Announcements.html |
74 KB |
| logic1-002/Announcements/links.txt |
3 KB |
| logic1-002/CourseNotes/CourseNotes.html |
40 KB |
| logic1-002/CourseNotes/links.txt |
2 KB |
| logic1-002/CourseNotes/logic1%252Fnotes%252Flogic1notes.pdf |
23.5 MB |
| logic1-002/CourseNotes/logic1%2Fnotes%2Flogic1notes.pdf |
23.5 MB |
| logic1-002/CourseNotes/zip_page.html |
40 KB |
| logic1-002/DiscussionForums/DiscussionForums.html |
65 KB |
| logic1-002/DiscussionForums/links.txt |
8 KB |
| logic1-002/PeerAssessments/PeerAssessments.html |
49 KB |
| logic1-002/PeerAssessments/links.txt |
2 KB |
| logic1-002/PeerAssessments/logic1%252Fassessment%252FLLI%20Peer%20Grading%20Rubric.pdf |
89 KB |
| logic1-002/PeerAssessments/logic1%2Fassessment%2FLLI%20Peer%20Grading%20Rubric.pdf |
89 KB |
| logic1-002/PeerAssessments/zip_page.html |
49 KB |
| logic1-002/PrivacyPolicy/PrivacyPolicy.html |
55 KB |
| logic1-002/PrivacyPolicy/links.txt |
2 KB |
| logic1-002/QuickQuestions15/QuickQuestions15.html |
58 KB |
| logic1-002/QuickQuestions15/links.txt |
1 KB |
| logic1-002/Quizzes - Practice and Graded.html |
116 KB |
| logic1-002/QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/0_Graded_Quiz_1a_The_Propositional_Language_10_marks.html |
169 KB |
| logic1-002/QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/links.txt |
2 KB |
| logic1-002/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 |
79 KB |
| logic1-002/QuizzesPracticeandGraded/10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html |
214 KB |
| logic1-002/QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/12_Practice_Quiz_3_Combinational_Digital_Systems.html |
190 KB |
| logic1-002/QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/13_Practice_Quiz_4_Vagueness.html |
139 KB |
| logic1-002/QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/14_Practice_Quiz_5_Implication_and_Implicature.html |
49 KB |
| logic1-002/QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/15_Practice_Quiz_6_Propositional_Logic_Programming.html |
129 KB |
| logic1-002/QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks.html |
82 KB |
| logic1-002/QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt |
2 KB |
| logic1-002/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 |
81 KB |
| logic1-002/QuizzesPracticeandGraded/2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html |
219 KB |
| logic1-002/QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/4_Graded_Quiz_3_Combinational_Digital_Systems.html |
178 KB |
| logic1-002/QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question1-worksheet.pdf |
17 KB |
| logic1-002/QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question5-worksheet.pdf |
61 KB |
| logic1-002/QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/zip_page.html |
178 KB |
| logic1-002/QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/5_Graded_Quiz_4_Vagueness_10_marks.html |
176 KB |
| logic1-002/QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/6_Graded_Quiz_5_Implication_and_Implicature_10_marks.html |
53 KB |
| logic1-002/QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks.html |
133 KB |
| logic1-002/QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/8_Practice_Quiz_1a_The_Propositional_Language_10_marks.html |
193 KB |
| logic1-002/QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/links.txt |
2 KB |
| logic1-002/QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks.html |
87 KB |
| logic1-002/QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt |
2 KB |
| logic1-002/Sectionstudyguides/Sectionstudyguides.html |
41 KB |
| logic1-002/Sectionstudyguides/links.txt |
2 KB |
| logic1-002/Socialmedia/Socialmedia.html |
41 KB |
| logic1-002/Socialmedia/links.txt |
2 KB |
| logic1-002/Surveys.html |
47 KB |
| logic1-002/Surveys/0_Pre_Course_Survey/0_Pre_Course_Survey.html |
77 KB |
| logic1-002/Surveys/0_Pre_Course_Survey/links.txt |
2 KB |
| logic1-002/Surveys/1_MidCourse_Survey/1_MidCourse_Survey.html |
49 KB |
| logic1-002/Surveys/1_MidCourse_Survey/links.txt |
2 KB |
| logic1-002/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 |
47 KB |
| logic1-002/Surveys/2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session/links.txt |
2 KB |
| logic1-002/Surveys/3_Postcourse_Survey/3_Postcourse_Survey.html |
82 KB |
| logic1-002/Surveys/3_Postcourse_Survey/links.txt |
2 KB |
| logic1-002/Syllabus/Syllabus.html |
45 KB |
| logic1-002/Syllabus/links.txt |
2 KB |
| logic1-002/assignment_home.html |
34 KB |
| logic1-002/course_home.html |
73 KB |
| logic1-002/entered_login.html |
1.3 MB |
| logic1-002/logic1-002-about.json |
6 KB |
Magnet link
