## [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}
}```
Hosted by users: