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

Info hashaa0902f96da833cc7f4ec70859a529276f5032d9
Last mirror activity4d,21:07:47 ago
Size861.92MB (861,916,429 bytes)
Added2017-03-05 01:25:08
Views1108
Hits4010
ID3627
Typemulti
Downloaded8606 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
Mirrors13 complete, 0 downloading = 13 mirror(s) total [Log in to see full list]


Send Feedback Start
   0.000005
DB Connect
   0.000432
Lookup hash in DB
   0.000653
Get torrent details
   0.000962
Get torrent details, finished
   0.000936
Get authors
   0.000040
Parse bibtex
   0.000247
Write header
   0.000610
get stars
   0.000682
target tab
   0.000047
Request peers
   0.001009
Write table
   0.024411
geoloc peers
   0.028889
home tab
   0.002158
render right panel
   0.000014
render ads
   0.000059
fetch current hosters
   0.000985
Done