[Coursera] Introduction to Logic (Stanford University) (intrologic)
Stanford University

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
Too many files! Click here to view them all.
Type: Course
Tags:Coursera, intrologic

Bibtex:
@article{,
    title = {[Coursera] Introduction to Logic (Stanford University) (intrologic)},
    author = {Stanford University}
    }


Support
Academic Torrents!

Disable your
ad-blocker!

10 day statistics (21 downloads taking more than 30 seconds)

Average Time 9 minutes, 24 seconds
Average Speed 458.79kB/s
Best Time 0 minutes, 40 seconds
Best Speed 6.47MB/s
Worst Time 1 hours, 23 minutes, 59 seconds
Worst Speed 51.39kB/s
Report