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

Info hashaa0902f96da833cc7f4ec70859a529276f5032d9
Last mirror activity6d,20:01:00 ago
Size861.92MB (861,916,429 bytes)
Added2017-03-05 01:25:08
Views1259
Hits4273
ID3627
Typemulti
Downloaded9041 time(s)
Uploaded by gravatar.com icon for user pj
Folderlogic1-002
Num files203 files
File list [Hide list]
01_0-_Preliminaries/01_Welcome_8-47.mp4 19.19MB
01_0-_Preliminaries/01_Welcome_8-47.pdf 352.75kB
01_0-_Preliminaries/01_Welcome_8-47.srt 13.13kB
01_0-_Preliminaries/01_Welcome_8-47.txt 8.09kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.mp4 7.74MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.pdf 446.51kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.srt 7.11kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.txt 4.33kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.mp4 32.64MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.pdf 638.52kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.srt 28.86kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.txt 17.63kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.mp4 10.72MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.pdf 444.26kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.srt 12.65kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.txt 7.93kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.mp4 17.34MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.pdf 432.35kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.srt 9.54kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.txt 5.76kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.mp4 21.13MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.pdf 525.81kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.srt 11.71kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.txt 7.20kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.mp4 19.60MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.pdf 419.97kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.srt 7.95kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.txt 5.00kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.mp4 24.32MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.pdf 449.10kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.srt 12.47kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.txt 7.68kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.mp4 37.45MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.pdf 420.77kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.srt 13.21kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.txt 8.24kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.mp4 22.97MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.pdf 498.67kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.srt 12.82kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.txt 8.10kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.mp4 29.47MB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.pdf 426.01kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.srt 16.63kB
02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.txt 10.23kB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.mp4 13.21MB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.pdf 421.48kB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.srt 10.93kB
03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.txt 6.84kB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.mp4 29.21MB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.pdf 428.29kB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.srt 19.46kB
03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.txt 12.11kB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.mp4 36.65MB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.pdf 521.39kB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.srt 21.47kB
03_2-_Proofs_for_Propositional_Logic_Core/03_2.2.1_Why_We_Need_Proof_Trees_15-12.txt 13.32kB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.mp4 23.20MB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.pdf 452.82kB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.srt 13.46kB
03_2-_Proofs_for_Propositional_Logic_Core/04_2.2.2_Rules_for_Proof_Trees_for_Propositional_Logic_9-07.txt 8.21kB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.mp4 27.93MB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.pdf 539.23kB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.srt 26.93kB
03_2-_Proofs_for_Propositional_Logic_Core/05_2.2.3_Example_Proof_Trees_for_Propositional_Logic_14-35.txt 16.23kB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.mp4 30.84MB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.pdf 412.24kB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.srt 19.31kB
03_2-_Proofs_for_Propositional_Logic_Core/06_2.2.4_Why_Trees_and_Truth_Tables_Agree_14-02.txt 12.06kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.mp4 28.51MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.pdf 15.44MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.srt 22.31kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/01_3.1_Digital_Signals__Systems_17-55.txt 13.56kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.mp4 18.03MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.pdf 5.14MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.srt 15.84kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/02_3.2_Logic_Gates__Logic_Circuits_13-23.txt 9.72kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.mp4 35.07MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.pdf 692.05kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.srt 32.94kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/03_3.3_Truth_Tables_Logic_Formulas__Logic_Circuits_28-54.txt 20.24kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.mp4 45.96MB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.pdf 977.25kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.srt 29.52kB
04_3-_Combinational_Digital_Systems_Application-_Engineering/04_3.4_Minimizing_Logic_Circuits_Using_K-Maps_26-40.txt 18.18kB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.mp4 11.89MB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.pdf 2.84MB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.srt 10.80kB
05_4-_Vagueness_Application-_Philosophy/01_4.1_Vagueness-_The_Sorites_Paradox_7-44.txt 6.78kB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.mp4 18.00MB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.pdf 555.70kB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.srt 24.91kB
05_4-_Vagueness_Application-_Philosophy/02_4.2_Vagueness-_One_Option-Revising_Our_Logic_17-08.txt 15.14kB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.mp4 13.59MB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.pdf 570.16kB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.srt 22.36kB
05_4-_Vagueness_Application-_Philosophy/03_4.3_Vagueness-_Another_Option-Resist_the_Premises_14-47.txt 13.65kB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.mp4 9.90MB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.pdf 6.62MB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.srt 11.73kB
06_5-_Implicature_and_Implication_Application-_Linguistics/01_5.1_Linguistics-_Introducing_Language_and_Logic_7-52.txt 7.29kB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.mp4 16.32MB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.pdf 11.81MB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.srt 21.36kB
06_5-_Implicature_and_Implication_Application-_Linguistics/02_5.2_Linguistics-_Entailment__Implicature_14-02.txt 12.83kB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.mp4 10.87MB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.pdf 460.29kB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.srt 15.95kB
06_5-_Implicature_and_Implication_Application-_Linguistics/03_5.3_Linguistics-_Implicatures__Connectives_10-19.txt 9.83kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.mp4 27.31MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.pdf 753.39kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.srt 16.66kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/01_6.1_Logic_Computers__Automated_Reasoning_12-47.txt 10.37kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.mp4 28.57MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.pdf 3.10MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.srt 16.46kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/02_6.2_Logic_Programming_in_PROLOG_13-00.txt 10.06kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.mp4 31.41MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.pdf 620.84kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.srt 17.88kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/03_6.3_PROLOG_Project-_Sudoku_Puzzles_15-52.txt 10.81kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.mp4 34.93MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.pdf 515.45kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.srt 18.26kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/04_6.4_How_PROLOG_Answers_Queries_17-08.txt 11.19kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.mp4 14.22MB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.pdf 449.06kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.srt 6.89kB
07_6-_Propositional_Logic_Programming_Application-_Computer_Science/05_6.5_Negation_in_PROLOG_6-55.txt 4.18kB
Aboutus/Aboutus.html 41.48kB
Aboutus/links.txt 1.67kB
Announcements/Announcements.html 76.06kB
Announcements/links.txt 3.55kB
CourseNotes/CourseNotes.html 41.44kB
CourseNotes/links.txt 1.75kB
CourseNotes/logic1%252Fnotes%252Flogic1notes.pdf 24.61MB
CourseNotes/logic1%2Fnotes%2Flogic1notes.pdf 24.61MB
CourseNotes/zip_page.html 41.44kB
DiscussionForums/DiscussionForums.html 66.10kB
DiscussionForums/links.txt 8.02kB
PeerAssessments/PeerAssessments.html 50.19kB
PeerAssessments/links.txt 2.09kB
PeerAssessments/logic1%252Fassessment%252FLLI%20Peer%20Grading%20Rubric.pdf 90.83kB
PeerAssessments/logic1%2Fassessment%2FLLI%20Peer%20Grading%20Rubric.pdf 90.83kB
PeerAssessments/zip_page.html 50.19kB
PrivacyPolicy/PrivacyPolicy.html 56.24kB
PrivacyPolicy/links.txt 1.61kB
QuickQuestions15/QuickQuestions15.html 59.05kB
QuickQuestions15/links.txt 1.53kB
Quizzes - Practice and Graded.html 119.27kB
QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/0_Graded_Quiz_1a_The_Propositional_Language_10_marks.html 172.90kB
QuizzesPracticeandGraded/0_Graded_Quiz_1a_The_Propositional_Language_10_marks/links.txt 1.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.html 80.76kB
QuizzesPracticeandGraded/10_Practice_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt 1.63kB
QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html 218.94kB
QuizzesPracticeandGraded/11_Practice_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt 1.63kB
QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/12_Practice_Quiz_3_Combinational_Digital_Systems.html 194.55kB
QuizzesPracticeandGraded/12_Practice_Quiz_3_Combinational_Digital_Systems/links.txt 1.85kB
QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/13_Practice_Quiz_4_Vagueness.html 142.67kB
QuizzesPracticeandGraded/13_Practice_Quiz_4_Vagueness/links.txt 1.63kB
QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/14_Practice_Quiz_5_Implication_and_Implicature.html 50.48kB
QuizzesPracticeandGraded/14_Practice_Quiz_5_Implication_and_Implicature/links.txt 1.63kB
QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/15_Practice_Quiz_6_Propositional_Logic_Programming.html 132.58kB
QuizzesPracticeandGraded/15_Practice_Quiz_6_Propositional_Logic_Programming/links.txt 1.63kB
QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks.html 84.04kB
QuizzesPracticeandGraded/1_Graded_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt 1.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.html 83.44kB
QuizzesPracticeandGraded/2_Graded_Quiz_2a_Using_Truth_Tables_to_Check_for_Logical_Relations_and_Validity_5_marks/links.txt 1.63kB
QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks.html 224.44kB
QuizzesPracticeandGraded/3_Graded_Quiz_2b_Trees_for_Propositional_Logic_15_marks/links.txt 1.63kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/4_Graded_Quiz_3_Combinational_Digital_Systems.html 181.81kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question1-worksheet.pdf 17.70kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/Question5-worksheet.pdf 62.88kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/links.txt 1.85kB
QuizzesPracticeandGraded/4_Graded_Quiz_3_Combinational_Digital_Systems/zip_page.html 181.81kB
QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/5_Graded_Quiz_4_Vagueness_10_marks.html 180.61kB
QuizzesPracticeandGraded/5_Graded_Quiz_4_Vagueness_10_marks/links.txt 1.63kB
QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/6_Graded_Quiz_5_Implication_and_Implicature_10_marks.html 54.08kB
QuizzesPracticeandGraded/6_Graded_Quiz_5_Implication_and_Implicature_10_marks/links.txt 1.63kB
QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks.html 136.13kB
QuizzesPracticeandGraded/7_Graded_Quiz_6_Propositional_Logic_Programming_20_marks/links.txt 1.63kB
QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/8_Practice_Quiz_1a_The_Propositional_Language_10_marks.html 197.39kB
QuizzesPracticeandGraded/8_Practice_Quiz_1a_The_Propositional_Language_10_marks/links.txt 1.63kB
QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks.html 89.53kB
QuizzesPracticeandGraded/9_Practice_Quiz_1b_Models_of_Propositional_Logic_10_marks/links.txt 1.63kB
Sectionstudyguides/Sectionstudyguides.html 41.56kB
Sectionstudyguides/links.txt 2.06kB
Socialmedia/Socialmedia.html 41.99kB
Socialmedia/links.txt 1.95kB
Surveys.html 48.47kB
Surveys/0_Pre_Course_Survey/0_Pre_Course_Survey.html 78.69kB
Surveys/0_Pre_Course_Survey/links.txt 1.64kB
Surveys/1_MidCourse_Survey/1_MidCourse_Survey.html 50.03kB
Surveys/1_MidCourse_Survey/links.txt 1.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.html 48.60kB
Surveys/2_Exit_Survey_Please_complete_this_survey_only_if_you_leave_the_course_before_the_end_of_the_session/links.txt 1.64kB
Surveys/3_Postcourse_Survey/3_Postcourse_Survey.html 83.46kB
Surveys/3_Postcourse_Survey/links.txt 1.64kB
Syllabus/Syllabus.html 45.77kB
Syllabus/links.txt 1.61kB
assignment_home.html 34.91kB
course_home.html 74.92kB
entered_login.html 1.37MB
logic1-002-about.json 6.21kB
Mirrors11 complete, 0 downloading = 11 mirror(s) total [Log in to see full list]


Send Feedback Start
   0.000003
DB Connect
   0.000454
Lookup hash in DB
   0.000776
Get torrent details
   0.000679
Get torrent details, finished
   0.000773
Get authors
   0.000028
Parse bibtex
   0.000103
Write header
   0.000617
get stars
   0.000483
target tab
   0.000012
Request peers
   0.001009
Write table
   0.003372
geoloc peers
   0.027621
render right panel
   0.000015
render ads
   0.000041
fetch current hosters
   0.001289
Done