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 |
|
|
|
Type: Course
Bibtex:
Tags:
Bibtex:
@article{,
title = {[Coursera] Logic: Language and Information 1 (The University of Melbourne) (logic1)},
author = {The University of Melbourne}
}
