[Coursera] Introduction to Logic (Stanford University) (intrologic)
Stanford University
| Info hash | 0342ad0bd7ef06eb1500b5e7c8ef398060827c4e |
| Last mirror activity | 0:11 ago |
| Size | 258.93MB (258,934,094 bytes) |
| Added | 2017-03-05 01:25:06 |
| Views | 1659 |
| Hits | 4630 |
| ID | 3625 |
| Downloaded | 2906 time(s) |
| Uploaded by |  pj |
| Folder | intrologic-006 |
| Num files | 347 files [See full list] |
| Mirrors | 17 complete, 0 downloading = 17 mirror(s) total [Log in to see full list] |
intrologic-006 (347 files)
 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.html | 41.45kB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.mp4 | 2.58MB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.pdf | 664.34kB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.srt | 3.64kB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.txt | 2.28kB |
| 01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.mp4 | 7.62MB |
| 01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.srt | 12.42kB |
| 01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.txt | 8.24kB |
| 01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.mp4 | 7.38MB |
| 01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.srt | 10.44kB |
| 01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.txt | 7.16kB |
| 01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.mp4 | 3.74MB |
| 01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.srt | 5.89kB |
| 01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.txt | 4.02kB |
| 01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.mp4 | 3.43MB |
| 01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.srt | 5.44kB |
| 01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.txt | 3.72kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.html | 51.80kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.mp4 | 1.00MB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.pdf | 826.05kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.srt | 1.67kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.txt | 1.03kB |
| 02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.mp4 | 6.06MB |
| 02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.srt | 9.25kB |
| 02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.txt | 6.30kB |
| 02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.mp4 | 8.10MB |
| 02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.srt | 12.93kB |
| 02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.txt | 8.86kB |
| 02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.mp4 | 2.76MB |
| 02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.srt | 4.09kB |
| 02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.txt | 2.80kB |
| 02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.mp4 | 2.41MB |
| 02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.srt | 3.86kB |
| 02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.txt | 2.65kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.html | 43.55kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.mp4 | 2.13MB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.pdf | 994.88kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.srt | 3.15kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.txt | 2.16kB |
| 03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.mp4 | 4.94MB |
| 03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.srt | 7.56kB |
| 03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.txt | 5.17kB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.html | 47.49kB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.mp4 | 1.38MB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.pdf | 2.24MB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.srt | 2.41kB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.txt | 1.57kB |
| 04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.mp4 | 6.56MB |
| 04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.srt | 9.54kB |
| 04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.txt | 6.55kB |
| 04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.mp4 | 4.05MB |
| 04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.srt | 6.45kB |
| 04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.txt | 4.43kB |
| 04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.mp4 | 1.89MB |
| 04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.srt | 2.89kB |
| 04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.txt | 1.98kB |
| 04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.mp4 | 2.03MB |
| 04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.srt | 3.12kB |
| 04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.txt | 2.13kB |
| 05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.html | 28.32kB |
| 05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.mp4 | 1.90MB |
| 05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.pdf | 1.62MB |
| 05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.srt | 1.95kB |
| 05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.txt | 1.34kB |
| 05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.mp4 | 3.58MB |
| 05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.srt | 5.39kB |
| 05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.txt | 3.70kB |
| 05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.mp4 | 3.69MB |
| 05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.srt | 5.85kB |
| 05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.txt | 4.01kB |
| 05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.mp4 | 5.34MB |
| 05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.srt | 7.90kB |
| 05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.txt | 5.43kB |
| 05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.mp4 | 9.00MB |
| 05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.srt | 5.14kB |
| 05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.txt | 3.52kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.html | 36.72kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.mp4 | 1.76MB |
| 06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.pdf | 4.94MB |
| 06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.srt | 2.90kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.txt | 1.91kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.mp4 | 8.74MB |
| 06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.srt | 15.78kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.txt | 9.59kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.mp4 | 2.13MB |
| 06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.srt | 3.02kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.txt | 2.07kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.mp4 | 3.19MB |
| 06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.srt | 4.55kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.txt | 3.11kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.mp4 | 4.65MB |
| 06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.srt | 3.54kB |
| 06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.txt | 2.40kB |
| 07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.html | 84.10kB |
| 07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.mp4 | 1.44MB |
| 07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.pdf | 146.34kB |
| 07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.srt | 2.39kB |
| 07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.txt | 1.55kB |
| 07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.mp4 | 7.30MB |
| 07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.pdf | 258.94kB |
| 07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.srt | 12.04kB |
| 07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.txt | 7.82kB |
| 07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.mp4 | 11.52MB |
| 07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.pdf | 116.52kB |
| 07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.srt | 16.96kB |
| 07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.txt | 11.38kB |
| 07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.mp4 | 5.44MB |
| 07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.pdf | 289.70kB |
| 07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.srt | 8.03kB |
| 07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.txt | 5.22kB |
| 07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.mp4 | 4.04MB |
| 07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.pdf | 52.64kB |
| 07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.srt | 6.35kB |
| 07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.txt | 4.14kB |
| 07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.mp4 | 1.29MB |
| 07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.pdf | 75.60kB |
| 07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.srt | 1.83kB |
| 07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.txt | 1.25kB |
| 07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.mp4 | 5.28MB |
| 07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.pdf | 200.43kB |
| 07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.srt | 7.25kB |
| 07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.txt | 4.63kB |
| 07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.mp4 | 5.45MB |
| 07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.pdf | 445.57kB |
| 07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.srt | 7.69kB |
| 07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.txt | 5.30kB |
| 08_Lesson_10_-_Induction/01_10.1_Induction_3_min.html | 87.00kB |
| 08_Lesson_10_-_Induction/01_10.1_Induction_3_min.mp4 | 3.61MB |
| 08_Lesson_10_-_Induction/01_10.1_Induction_3_min.pdf | 207.35kB |
| 08_Lesson_10_-_Induction/01_10.1_Induction_3_min.srt | 4.27kB |
| 08_Lesson_10_-_Induction/01_10.1_Induction_3_min.txt | 2.58kB |
| 08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.mp4 | 1.45MB |
| 08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.pdf | 76.48kB |
| 08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.srt | 2.53kB |
| 08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.txt | 1.73kB |
| 08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.mp4 | 5.26MB |
| 08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.pdf | 107.51kB |
| 08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.srt | 8.24kB |
| 08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.txt | 5.66kB |
| 08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.mp4 | 3.43MB |
| 08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.pdf | 97.32kB |
| 08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.srt | 5.07kB |
| 08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.txt | 3.49kB |
| 08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.mp4 | 5.25MB |
| 08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.pdf | 99.55kB |
| 08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.srt | 7.97kB |
| 08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.txt | 5.47kB |
| 09_Equality/01_Equality_3_min.html | 30.32kB |
| 09_Equality/01_Equality_3_min.mp4 | 2.00MB |
| 09_Equality/01_Equality_3_min.pdf | 1.33MB |
| 09_Equality/01_Equality_3_min.srt | 3.10kB |
| 09_Equality/01_Equality_3_min.txt | 2.11kB |
| 09_Equality/02_Properties_of_Equality_3_min.mp4 | 2.48MB |
| 09_Equality/02_Properties_of_Equality_3_min.srt | 3.24kB |
| 09_Equality/02_Properties_of_Equality_3_min.txt | 2.21kB |
| 09_Equality/03_Substitution_3_min.mp4 | 2.67MB |
| 09_Equality/03_Substitution_3_min.srt | 3.41kB |
| 09_Equality/03_Substitution_3_min.txt | 2.35kB |
| 09_Equality/04_Fitch_with_Equality_3_min.mp4 | 2.48MB |
| 09_Equality/04_Fitch_with_Equality_3_min.srt | 3.87kB |
| 09_Equality/04_Fitch_with_Equality_3_min.txt | 2.66kB |
| 09_Equality/05_More_examples_2_min.mp4 | 1.81MB |
| 09_Equality/05_More_examples_2_min.srt | 2.34kB |
| 09_Equality/05_More_examples_2_min.txt | 1.61kB |
| 10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.html | 44.94kB |
| 10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.mp4 | 13.25MB |
| 10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.pdf | 1.25MB |
| 10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.srt | 10.49kB |
| 10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.txt | 7.21kB |
| 11_General_Game_Playing/01_Introduction_7_min.mp4 | 6.08MB |
| 11_General_Game_Playing/01_Introduction_7_min.pdf | 3.68MB |
| 11_General_Game_Playing/01_Introduction_7_min.srt | 9.49kB |
| 11_General_Game_Playing/01_Introduction_7_min.txt | 6.51kB |
| 11_General_Game_Playing/02_Game_Description_8_min.mp4 | 7.33MB |
| 11_General_Game_Playing/02_Game_Description_8_min.srt | 10.26kB |
| 11_General_Game_Playing/02_Game_Description_8_min.txt | 7.05kB |
| 11_General_Game_Playing/03_Game_Management_2_min.mp4 | 2.35MB |
| 11_General_Game_Playing/03_Game_Management_2_min.srt | 3.60kB |
| 11_General_Game_Playing/03_Game_Management_2_min.txt | 2.46kB |
| 11_General_Game_Playing/04_General_Game_Playing_14_min.mp4 | 11.39MB |
| 11_General_Game_Playing/04_General_Game_Playing_14_min.srt | 18.72kB |
| 11_General_Game_Playing/04_General_Game_Playing_14_min.txt | 12.82kB |
| 11_General_Game_Playing/05_Philosophical_Remarks_5_min.mp4 | 4.82MB |
| 11_General_Game_Playing/05_Philosophical_Remarks_5_min.srt | 7.12kB |
| 11_General_Game_Playing/05_Philosophical_Remarks_5_min.txt | 4.87kB |
| 11_General_Game_Playing/06_International_GGP_Competition_4_min.mp4 | 3.28MB |
| 11_General_Game_Playing/06_International_GGP_Competition_4_min.srt | 5.36kB |
| 11_General_Game_Playing/06_International_GGP_Competition_4_min.txt | 3.67kB |
| Extras/Extras.html | 42.54kB |
| Extras/Set%20Theory%20Basics.pdf | 209.43kB |
| Extras/links.txt | 2.59kB |
| Extras/zip_page.html | 42.54kB |
| Forum/Forum.html | 61.41kB |
| Forum/links.txt | 2.74kB |
| Home/Home.html | 76.51kB |
| Home/links.txt | 2.55kB |
| Hypercards/Hypercards.html | 48.72kB |
| Hypercards/links.txt | 6.50kB |
| Notes/Notes.html | 37.65kB |
Type: Course
Tags: Coursera, intrologic
Bibtex:
Tags: Coursera, intrologic
Bibtex:
@article{,
title = {[Coursera] Introduction to Logic (Stanford University) (intrologic)},
author = {Stanford University}
}
10 day statistics (8 downloads)
| Average Time | 19 mins, 31 secs |
| Average Speed | 221.05kB/s |
| Best Time | 0 mins, 31 secs |
| Best Speed | 8.35MB/s |
| Worst Time | 51 mins, 34 secs |
| Worst Speed | 83.69kB/s |