Info hash | aa0902f96da833cc7f4ec70859a529276f5032d9 |
Last mirror activity | 3:17 ago |
Size | 861.92MB (861,916,429 bytes) |
Added | 2017-03-05 01:25:08 |
Views | 1115 |
Hits | 4024 |
ID | 3627 |
Type | multi |
Downloaded | 8639 time(s) |
Uploaded by | pj |
Folder | logic1-002 |
Num files | 203 files [See full list] |
Mirrors | 11 complete, 0 downloading = 11 mirror(s) total [Log in to see full list] |
logic1-002 (203 files)
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 |