[Coursera] Logic: Language and Information 1 (The University of Melbourne) (logic1)
The University of Melbourne

Info hashaa0902f96da833cc7f4ec70859a529276f5032d9
Last mirror activity0:03 ago
Size861.92MB (861,916,429 bytes)
Added2017-03-05 01:25:08
Views429
Hits895
ID3627
Downloaded453 time(s)
Uploaded bygravatar.com icon for user pj
Folderlogic1-002
Num files203 files
File list
[Hide list]
PathSize
01_0-_Preliminaries/01_Welcome_8-47.mp419.19MB
01_0-_Preliminaries/01_Welcome_8-47.pdf352.75kB
01_0-_Preliminaries/01_Welcome_8-47.srt13.13kB
01_0-_Preliminaries/01_Welcome_8-47.txt8.09kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.mp47.74MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.pdf446.51kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.srt7.11kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.txt4.33kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.mp432.64MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.pdf638.52kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.srt28.86kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.txt17.63kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.mp410.72MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.pdf444.26kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.srt12.65kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.txt7.93kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.mp417.34MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.pdf432.35kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.srt9.54kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.txt5.76kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.mp421.13MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.pdf525.81kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.srt11.71kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.txt7.20kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.mp419.60MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.pdf419.97kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.srt7.95kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.txt5.00kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.mp424.32MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.pdf449.10kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.srt12.47kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.txt7.68kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.mp437.45MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.pdf420.77kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.srt13.21kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.txt8.24kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.mp422.97MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.pdf498.67kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.srt12.82kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.txt8.10kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.mp429.47MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.pdf426.01kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.srt16.63kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.txt10.23kB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.mp413.21MB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.pdf421.48kB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.srt10.93kB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.txt6.84kB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.mp429.21MB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.pdf428.29kB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.srt19.46kB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.txt12.11kB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.mp436.65MB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.pdf521.39kB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.srt21.47kB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.txt13.32kB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.mp423.20MB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.pdf452.82kB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.srt13.46kB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.txt8.21kB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.mp427.93MB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.pdf539.23kB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.srt26.93kB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.txt16.23kB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.mp430.84MB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.pdf412.24kB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.srt19.31kB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.txt12.06kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.mp428.51MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.pdf15.44MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.srt22.31kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.txt13.56kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.mp418.03MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.pdf5.14MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.srt15.84kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.txt9.72kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.mp435.07MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.pdf692.05kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.srt32.94kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.txt20.24kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.mp445.96MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.pdf977.25kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.srt29.52kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.txt18.18kB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.mp411.89MB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.pdf2.84MB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.srt10.80kB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.txt6.78kB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.mp418.00MB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.pdf555.70kB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.srt24.91kB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.txt15.14kB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.mp413.59MB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.pdf570.16kB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.srt22.36kB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.txt13.65kB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.mp49.90MB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.pdf6.62MB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.srt11.73kB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.txt7.29kB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.mp416.32MB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.pdf11.81MB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.srt21.36kB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.txt12.83kB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.mp410.87MB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.pdf460.29kB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.srt15.95kB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.txt9.83kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.mp427.31MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.pdf753.39kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.srt16.66kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.txt10.37kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.mp428.57MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.pdf3.10MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.srt16.46kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.txt10.06kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.mp431.41MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.pdf620.84kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.srt17.88kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.txt10.81kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.mp434.93MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.pdf515.45kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.srt18.26kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.txt11.19kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.mp414.22MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.pdf449.06kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.srt6.89kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.txt4.18kB
Aboutus/Aboutus.html41.48kB
Aboutus/links.txt1.67kB
Announcements/Announcements.html76.06kB
Announcements/links.txt3.55kB
CourseNotes/CourseNotes.html41.44kB
CourseNotes/links.txt1.75kB
CourseNotes/logic1%252Fnotes%252Flogic1notes.pdf24.61MB
CourseNotes/logic1%2Fnotes%2Flogic1notes.pdf24.61MB
CourseNotes/zip_page.html41.44kB
DiscussionForums/DiscussionForums.html66.10kB
DiscussionForums/links.txt8.02kB
PeerAssessments/PeerAssessments.html50.19kB
PeerAssessments/links.txt2.09kB
PeerAssessments/logic1%252Fassessment%252FLLI%20Peer%20Grading%20Rubric.pdf90.83kB
PeerAssessments/logic1%2Fassessment%2FLLI%20Peer%20Grading%20Rubric.pdf90.83kB
PeerAssessments/zip_page.html50.19kB
PrivacyPolicy/PrivacyPolicy.html56.24kB
PrivacyPolicy/links.txt1.61kB
QuickQuestions15/QuickQuestions15.html59.05kB
QuickQuestions15/links.txt1.53kB
Quizzes - Practice and Graded.html119.27kB
QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/0_Graded_Quiz_1a_The_Propositional_Language_10_marks.html172.90kB
QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/links.txt1.63kB
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.html80.76kB
QuizzesPracticeandGraded/10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt1.63kB
QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html218.94kB
QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt1.63kB
QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/12_Practice_Quiz_3_Combinational_Digital_Systems.html194.55kB
QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/links.txt1.85kB
QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/13_Practice_Quiz_4_Vagueness.html142.67kB
QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/links.txt1.63kB
QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/14_Practice_Quiz_5_Implication_and_Implicature.html50.48kB
QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/links.txt1.63kB
QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/15_Practice_Quiz_6_Propositional_Logic_Programming.html132.58kB
QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/links.txt1.63kB
QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks.html84.04kB
QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt1.63kB
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.html83.44kB
QuizzesPracticeandGraded/2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt1.63kB
QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html224.44kB
QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt1.63kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/4_Graded_Quiz_3_Combinational_Digital_Systems.html181.81kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question1-worksheet.pdf17.70kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question5-worksheet.pdf62.88kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/links.txt1.85kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/zip_page.html181.81kB
QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/5_Graded_Quiz_4_Vagueness_10_marks.html180.61kB
QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/links.txt1.63kB
QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/6_Graded_Quiz_5_Implication_and_Implicature_10_marks.html54.08kB
QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/links.txt1.63kB
QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks.html136.13kB
QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/links.txt1.63kB
QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/8_Practice_Quiz_1a_The_Propositional_Language_10_marks.html197.39kB
QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/links.txt1.63kB
QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks.html89.53kB
QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt1.63kB
Sectionstudyguides/Sectionstudyguides.html41.56kB
Sectionstudyguides/links.txt2.06kB
Socialmedia/Socialmedia.html41.99kB
Socialmedia/links.txt1.95kB
Surveys.html48.47kB
Surveys/0_Pre_Course_Survey/0_Pre_Course_Survey.html78.69kB
Surveys/0_Pre_Course_Survey/links.txt1.64kB
Surveys/1_MidCourse_Survey/1_MidCourse_Survey.html50.03kB
Surveys/1_MidCourse_Survey/links.txt1.64kB
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.html48.60kB
Surveys/2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session/links.txt1.64kB
Surveys/3_Postcourse_Survey/3_Postcourse_Survey.html83.46kB
Surveys/3_Postcourse_Survey/links.txt1.64kB
Syllabus/Syllabus.html45.77kB
Syllabus/links.txt1.61kB
assignment_home.html34.91kB
course_home.html74.92kB
entered_login.html1.37MB
logic1-002-about.json6.21kB
Mirrors109 complete, 0 downloading = 109 mirror(s) total [Log in to see full list]