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

folder logic1-002 (203 files)
file01_0-_Preliminaries/01_Welcome_8-47.mp4 19.19MB
file01_0-_Preliminaries/01_Welcome_8-47.pdf 352.75kB
file01_0-_Preliminaries/01_Welcome_8-47.srt 13.13kB
file01_0-_Preliminaries/01_Welcome_8-47.txt 8.09kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.mp4 7.74MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.pdf 446.51kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.srt 7.11kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/01_1.1.1_Propositions_5-17.txt 4.33kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.mp4 32.64MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.pdf 638.52kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.srt 28.86kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/02_1.1.2_Connectives_19-44.txt 17.63kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.mp4 10.72MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.pdf 444.26kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.srt 12.65kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/03_1.1.3_Propositional_Formulas_9-23.txt 7.93kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.mp4 17.34MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.pdf 432.35kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.srt 9.54kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/04_1.1.4_Formalisation_7-00.txt 5.76kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.mp4 21.13MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.pdf 525.81kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.srt 11.71kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/05_1.1.5_Expressive_power_8-40.txt 7.20kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.mp4 19.60MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.pdf 419.97kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.srt 7.95kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/06_1.2.1_Setting_Up_Truth_Tables_6-35.txt 5.00kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.mp4 24.32MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.pdf 449.10kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.srt 12.47kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/07_1.2.2_Negation_Conjunction_and_Disjunction_10-37.txt 7.68kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.mp4 37.45MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.pdf 420.77kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.srt 13.21kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/08_1.2.3_The_Material_Conditional__Biconditional_11-50.txt 8.24kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.mp4 22.97MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.pdf 498.67kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.srt 12.82kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/09_1.3.1_Classifying_Propositions_11-18.txt 8.10kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.mp4 29.47MB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.pdf 426.01kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.srt 16.63kB
file02_1-_Language_and_Models_of_Propositional_Logic_Core/10_1.3.2_Relationships_Between_Propositions_14-26.txt 10.23kB
file03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.mp4 13.21MB
file03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.pdf 421.48kB
file03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.srt 10.93kB
file03_2-_Proofs_for_Propositional_Logic_Core/01_2.1.1_Validity_of_Arguments_9-38.txt 6.84kB
file03_2-_Proofs_for_Propositional_Logic_Core/02_2.1.2_Argument_Forms_Instances_and_Soundness_16-42.mp4 29.21MB
Too many files! Click here to view them all.
Type: Course
Tags: Coursera, logic1

Bibtex:
@article{,
    title = {[Coursera] Logic: Language and Information 1 (The University of Melbourne) (logic1)},
    author = {The University of Melbourne}
    }
Hosted by users:

Send Feedback