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



Support
Academic Torrents!

Disable your
ad-blocker!

intrologic-006 (347 files)
01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.html41.45kB
01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.mp42.58MB
01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.pdf664.34kB
01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.srt3.64kB
01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.txt2.28kB
01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.mp47.62MB
01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.srt12.42kB
01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.txt8.24kB
01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.mp47.38MB
01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.srt10.44kB
01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.txt7.16kB
01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.mp43.74MB
01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.srt5.89kB
01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.txt4.02kB
01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.mp43.43MB
01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.srt5.44kB
01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.txt3.72kB
02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.html51.80kB
02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.mp41.00MB
02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.pdf826.05kB
02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.srt1.67kB
02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.txt1.03kB
02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.mp46.06MB
02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.srt9.25kB
02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.txt6.30kB
02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.mp48.10MB
02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.srt12.93kB
02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.txt8.86kB
02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.mp42.76MB
02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.srt4.09kB
02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.txt2.80kB
02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.mp42.41MB
02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.srt3.86kB
02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.txt2.65kB
03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.html43.55kB
03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.mp42.13MB
03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.pdf994.88kB
03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.srt3.15kB
03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.txt2.16kB
03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.mp44.94MB
03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.srt7.56kB
03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.txt5.17kB
04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.html47.49kB
04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.mp41.38MB
04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.pdf2.24MB
04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.srt2.41kB
04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.txt1.57kB
04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.mp46.56MB
04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.srt9.54kB
04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.txt6.55kB
04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.mp44.05MB
04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.srt6.45kB
04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.txt4.43kB
04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.mp41.89MB
04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.srt2.89kB
04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.txt1.98kB
04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.mp42.03MB
04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.srt3.12kB
04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.txt2.13kB
05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.html28.32kB
05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.mp41.90MB
05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.pdf1.62MB
05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.srt1.95kB
05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.txt1.34kB
05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.mp43.58MB
05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.srt5.39kB
05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.txt3.70kB
05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.mp43.69MB
05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.srt5.85kB
05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.txt4.01kB
05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.mp45.34MB
05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.srt7.90kB
05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.txt5.43kB
05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.mp49.00MB
05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.srt5.14kB
05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.txt3.52kB
06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.html36.72kB
06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.mp41.76MB
06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.pdf4.94MB
06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.srt2.90kB
06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.txt1.91kB
06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.mp48.74MB
06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.srt15.78kB
06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.txt9.59kB
06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.mp42.13MB
06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.srt3.02kB
06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.txt2.07kB
06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.mp43.19MB
06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.srt4.55kB
06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.txt3.11kB
06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.mp44.65MB
06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.srt3.54kB
06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.txt2.40kB
07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.html84.10kB
07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.mp41.44MB
07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.pdf146.34kB
07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.srt2.39kB
07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.txt1.55kB
07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.mp47.30MB
07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.pdf258.94kB
07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.srt12.04kB
07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.txt7.82kB
07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.mp411.52MB
07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.pdf116.52kB
07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.srt16.96kB
07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.txt11.38kB
07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.mp45.44MB
07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.pdf289.70kB
07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.srt8.03kB
07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.txt5.22kB
07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.mp44.04MB
07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.pdf52.64kB
07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.srt6.35kB
07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.txt4.14kB
07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.mp41.29MB
07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.pdf75.60kB
07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.srt1.83kB
07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.txt1.25kB
07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.mp45.28MB
07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.pdf200.43kB
07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.srt7.25kB
07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.txt4.63kB
07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.mp45.45MB
07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.pdf445.57kB
07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.srt7.69kB
07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.txt5.30kB
08_Lesson_10_-_Induction/01_10.1_Induction_3_min.html87.00kB
08_Lesson_10_-_Induction/01_10.1_Induction_3_min.mp43.61MB
08_Lesson_10_-_Induction/01_10.1_Induction_3_min.pdf207.35kB
08_Lesson_10_-_Induction/01_10.1_Induction_3_min.srt4.27kB
08_Lesson_10_-_Induction/01_10.1_Induction_3_min.txt2.58kB
08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.mp41.45MB
08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.pdf76.48kB
08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.srt2.53kB
08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.txt1.73kB
08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.mp45.26MB
08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.pdf107.51kB
08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.srt8.24kB
08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.txt5.66kB
08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.mp43.43MB
08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.pdf97.32kB
08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.srt5.07kB
08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.txt3.49kB
08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.mp45.25MB
08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.pdf99.55kB
08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.srt7.97kB
08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.txt5.47kB
09_Equality/01_Equality_3_min.html30.32kB
09_Equality/01_Equality_3_min.mp42.00MB
09_Equality/01_Equality_3_min.pdf1.33MB
09_Equality/01_Equality_3_min.srt3.10kB
09_Equality/01_Equality_3_min.txt2.11kB
09_Equality/02_Properties_of_Equality_3_min.mp42.48MB
09_Equality/02_Properties_of_Equality_3_min.srt3.24kB
09_Equality/02_Properties_of_Equality_3_min.txt2.21kB
09_Equality/03_Substitution_3_min.mp42.67MB
09_Equality/03_Substitution_3_min.srt3.41kB
09_Equality/03_Substitution_3_min.txt2.35kB
09_Equality/04_Fitch_with_Equality_3_min.mp42.48MB
09_Equality/04_Fitch_with_Equality_3_min.srt3.87kB
09_Equality/04_Fitch_with_Equality_3_min.txt2.66kB
09_Equality/05_More_examples_2_min.mp41.81MB
09_Equality/05_More_examples_2_min.srt2.34kB
09_Equality/05_More_examples_2_min.txt1.61kB
10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.html44.94kB
10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.mp413.25MB
10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.pdf1.25MB
10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.srt10.49kB
10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.txt7.21kB
11_General_Game_Playing/01_Introduction_7_min.mp46.08MB
11_General_Game_Playing/01_Introduction_7_min.pdf3.68MB
11_General_Game_Playing/01_Introduction_7_min.srt9.49kB
11_General_Game_Playing/01_Introduction_7_min.txt6.51kB
11_General_Game_Playing/02_Game_Description_8_min.mp47.33MB
11_General_Game_Playing/02_Game_Description_8_min.srt10.26kB
11_General_Game_Playing/02_Game_Description_8_min.txt7.05kB
11_General_Game_Playing/03_Game_Management_2_min.mp42.35MB
11_General_Game_Playing/03_Game_Management_2_min.srt3.60kB
11_General_Game_Playing/03_Game_Management_2_min.txt2.46kB
11_General_Game_Playing/04_General_Game_Playing_14_min.mp411.39MB
11_General_Game_Playing/04_General_Game_Playing_14_min.srt18.72kB
11_General_Game_Playing/04_General_Game_Playing_14_min.txt12.82kB
11_General_Game_Playing/05_Philosophical_Remarks_5_min.mp44.82MB
11_General_Game_Playing/05_Philosophical_Remarks_5_min.srt7.12kB
11_General_Game_Playing/05_Philosophical_Remarks_5_min.txt4.87kB
11_General_Game_Playing/06_International_GGP_Competition_4_min.mp43.28MB
11_General_Game_Playing/06_International_GGP_Competition_4_min.srt5.36kB
11_General_Game_Playing/06_International_GGP_Competition_4_min.txt3.67kB
Extras/Extras.html42.54kB
Extras/Set%20Theory%20Basics.pdf209.43kB
Extras/links.txt2.59kB
Extras/zip_page.html42.54kB
Forum/Forum.html61.41kB
Forum/links.txt2.74kB
Home/Home.html76.51kB
Home/links.txt2.55kB
Hypercards/Hypercards.html48.72kB
Hypercards/links.txt6.50kB
Notes/Notes.html37.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}
    }