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. |