Intrologic 006 | 0342AD0BD7EF06EB1500B5E7C8EF398060827C4E

Intrologic 006

Name	intrologic-006	DOWNLOAD Copy Link
Total Size	258.9 MB
Total Files	347
Last Seen	2024-11-17 23:37
Hash	0342AD0BD7EF06EB1500B5E7C8EF398060827C4E

/01_Lesson_1_-_Introduction/
01_1.1_Introduction_to_Logic_3_min.html	41.4 KB
01_1.1_Introduction_to_Logic_3_min.mp4	2.6 MB
01_1.1_Introduction_to_Logic_3_min.pdf	664.3 KB
01_1.1_Introduction_to_Logic_3_min.srt	3.6 KB
01_1.1_Introduction_to_Logic_3_min.txt	2.3 KB
02_1.2_Elements_of_Logic_10_min.mp4	7.6 MB
02_1.2_Elements_of_Logic_10_min.srt	12.4 KB
02_1.2_Elements_of_Logic_10_min.txt	8.2 KB
03_1.3_Formalization_9_min.mp4	7.4 MB
03_1.3_Formalization_9_min.srt	10.4 KB
03_1.3_Formalization_9_min.txt	7.2 KB
04_1.4_Automation_5_min.mp4	3.7 MB
04_1.4_Automation_5_min.srt	5.9 KB
04_1.4_Automation_5_min.txt	4.0 KB
05_1.5_Study_Guide_4_min.mp4	3.4 MB
05_1.5_Study_Guide_4_min.srt	5.4 KB
05_1.5_Study_Guide_4_min.txt	3.7 KB
/02_Lesson_2_-_Propositional_Logic/
01_2.1_Propositional_Logic_1_min.html	51.8 KB
01_2.1_Propositional_Logic_1_min.mp4	1.0 MB
01_2.1_Propositional_Logic_1_min.pdf	826.0 KB
01_2.1_Propositional_Logic_1_min.srt	1.7 KB
01_2.1_Propositional_Logic_1_min.txt	1.0 KB
02_2.2_Syntax_7_min.mp4	6.1 MB
02_2.2_Syntax_7_min.srt	9.2 KB
02_2.2_Syntax_7_min.txt	6.3 KB
03_2.3_Semantics_10_min.mp4	8.1 MB
03_2.3_Semantics_10_min.srt	12.9 KB
03_2.3_Semantics_10_min.txt	8.9 KB
04_2.4_Satisfaction_3_min.mp4	2.8 MB
04_2.4_Satisfaction_3_min.srt	4.1 KB
04_2.4_Satisfaction_3_min.txt	2.8 KB
05_2.5_The_Big_Game_3_min.mp4	2.4 MB
05_2.5_The_Big_Game_3_min.srt	3.9 KB
05_2.5_The_Big_Game_3_min.txt	2.7 KB
/03_Lesson_3_-_Properties_and_Entailment/
01_3.1_Properties_of_Sentences_3_min.html	43.5 KB
01_3.1_Properties_of_Sentences_3_min.mp4	2.1 MB
01_3.1_Properties_of_Sentences_3_min.pdf	994.9 KB
01_3.1_Properties_of_Sentences_3_min.srt	3.1 KB
01_3.1_Properties_of_Sentences_3_min.txt	2.2 KB
02_3.2_Logical_Entailment_6_min.mp4	4.9 MB
02_3.2_Logical_Entailment_6_min.srt	7.6 KB
02_3.2_Logical_Entailment_6_min.txt	5.2 KB
/04_Lesson_4_-_Propositional_Proofs/
01_4.1_Propositional_Proofs_2_min.html	47.5 KB
01_4.1_Propositional_Proofs_2_min.mp4	1.4 MB
01_4.1_Propositional_Proofs_2_min.pdf	2.2 MB
01_4.1_Propositional_Proofs_2_min.srt	2.4 KB
01_4.1_Propositional_Proofs_2_min.txt	1.6 KB
02_4.2_Linear_Proofs_8_min.mp4	6.6 MB
02_4.2_Linear_Proofs_8_min.srt	9.5 KB
02_4.2_Linear_Proofs_8_min.txt	6.6 KB
03_4.3_Structured_Proofs_5_min.mp4	4.0 MB
03_4.3_Structured_Proofs_5_min.srt	6.5 KB
03_4.3_Structured_Proofs_5_min.txt	4.4 KB
04_4.4_Fitch_3_min.mp4	1.9 MB
04_4.4_Fitch_3_min.srt	2.9 KB
04_4.4_Fitch_3_min.txt	2.0 KB
05_4.5_Soundness_and_Completeness_2_min.mp4	2.0 MB
05_4.5_Soundness_and_Completeness_2_min.srt	3.1 KB
05_4.5_Soundness_and_Completeness_2_min.txt	2.1 KB
/05_Lesson_5_-_Propositional_Resolution/
01_5.1_Propositional_Resolution_2_min.html	28.3 KB
01_5.1_Propositional_Resolution_2_min.mp4	1.9 MB
01_5.1_Propositional_Resolution_2_min.pdf	1.6 MB
01_5.1_Propositional_Resolution_2_min.srt	2.0 KB
01_5.1_Propositional_Resolution_2_min.txt	1.3 KB
02_5.2_Clausal_Form_5_min.mp4	3.6 MB
02_5.2_Clausal_Form_5_min.srt	5.4 KB
02_5.2_Clausal_Form_5_min.txt	3.7 KB
03_5.3_Resolution_Principle_5_min.mp4	3.7 MB
03_5.3_Resolution_Principle_5_min.srt	5.9 KB
03_5.3_Resolution_Principle_5_min.txt	4.0 KB
04_5.4_Resolution_Method_7_min.mp4	5.3 MB
04_5.4_Resolution_Method_7_min.srt	7.9 KB
04_5.4_Resolution_Method_7_min.txt	5.4 KB
05_5.5_Box_Logic_out_of_focus.mp4	9.0 MB
05_5.5_Box_Logic_out_of_focus.srt	5.1 KB
05_5.5_Box_Logic_out_of_focus.txt	3.5 KB
/06_Lesson_8_-_Relational_Logic_Proofs/
01_8.1_Relational_Logic_Proofs_2_min.html	36.7 KB
01_8.1_Relational_Logic_Proofs_2_min.mp4	1.8 MB
01_8.1_Relational_Logic_Proofs_2_min.pdf	4.9 MB
01_8.1_Relational_Logic_Proofs_2_min.srt	2.9 KB
01_8.1_Relational_Logic_Proofs_2_min.txt	1.9 KB
02_8.2_Proofs_10_min.mp4	8.7 MB
02_8.2_Proofs_10_min.srt	15.8 KB
02_8.2_Proofs_10_min.txt	9.6 KB
03_8.3_Example_3_min.mp4	2.1 MB
03_8.3_Example_3_min.srt	3.0 KB
03_8.3_Example_3_min.txt	2.1 KB
04_8.4_Example_4_min.mp4	3.2 MB
04_8.4_Example_4_min.srt	4.5 KB
04_8.4_Example_4_min.txt	3.1 KB
05_8.5_Example_-_Quantifier_and_Implication_5_min.mp4	4.7 MB
05_8.5_Example_-_Quantifier_and_Implication_5_min.srt	3.5 KB
05_8.5_Example_-_Quantifier_and_Implication_5_min.txt	2.4 KB
/07_Lesson_9_-_Resolution/
01_9.1_Resolution_2_min.html	84.1 KB
01_9.1_Resolution_2_min.mp4	1.4 MB
01_9.1_Resolution_2_min.pdf	146.3 KB
01_9.1_Resolution_2_min.srt	2.4 KB
01_9.1_Resolution_2_min.txt	1.5 KB
02_9.2_Clausal_Form_9_min.mp4	7.3 MB
02_9.2_Clausal_Form_9_min.pdf	258.9 KB
02_9.2_Clausal_Form_9_min.srt	12.0 KB
02_9.2_Clausal_Form_9_min.txt	7.8 KB
03_9.3_Unification_14_min.mp4	11.5 MB
03_9.3_Unification_14_min.pdf	116.5 KB
03_9.3_Unification_14_min.srt	17.0 KB
03_9.3_Unification_14_min.txt	11.4 KB
04_9.4_Resolution_Principle_7_min.mp4	5.4 MB
04_9.4_Resolution_Principle_7_min.pdf	289.7 KB
04_9.4_Resolution_Principle_7_min.srt	8.0 KB
04_9.4_Resolution_Principle_7_min.txt	5.2 KB
05_9.5_Resolution_Reasoning_5_min.mp4	4.0 MB
05_9.5_Resolution_Reasoning_5_min.pdf	52.6 KB
05_9.5_Resolution_Reasoning_5_min.srt	6.4 KB
05_9.5_Resolution_Reasoning_5_min.txt	4.1 KB
06_9.6_Unsatisfiability_2_min.mp4	1.3 MB
06_9.6_Unsatisfiability_2_min.pdf	75.6 KB
06_9.6_Unsatisfiability_2_min.srt	1.8 KB
06_9.6_Unsatisfiability_2_min.txt	1.2 KB
07_9.7_Logical_Entailment_6_min.mp4	5.3 MB
07_9.7_Logical_Entailment_6_min.pdf	200.4 KB
07_9.7_Logical_Entailment_6_min.srt	7.2 KB
07_9.7_Logical_Entailment_6_min.txt	4.6 KB
08_9.8_Answer_Extraction_6_min.mp4	5.5 MB
08_9.8_Answer_Extraction_6_min.pdf	445.6 KB
08_9.8_Answer_Extraction_6_min.srt	7.7 KB
08_9.8_Answer_Extraction_6_min.txt	5.3 KB
/08_Lesson_10_-_Induction/
01_10.1_Induction_3_min.html	87.0 KB
01_10.1_Induction_3_min.mp4	3.6 MB
01_10.1_Induction_3_min.pdf	207.4 KB
01_10.1_Induction_3_min.srt	4.3 KB
01_10.1_Induction_3_min.txt	2.6 KB
02_10.2_Domain_Closure_2_min.mp4	1.4 MB
02_10.2_Domain_Closure_2_min.pdf	76.5 KB
02_10.2_Domain_Closure_2_min.srt	2.5 KB
02_10.2_Domain_Closure_2_min.txt	1.7 KB
03_10.3_Linear_Induction_7_min.mp4	5.3 MB
03_10.3_Linear_Induction_7_min.pdf	107.5 KB
03_10.3_Linear_Induction_7_min.srt	8.2 KB
03_10.3_Linear_Induction_7_min.txt	5.7 KB
04_10.4_Tree_Induction_4_min.mp4	3.4 MB
04_10.4_Tree_Induction_4_min.pdf	97.3 KB
04_10.4_Tree_Induction_4_min.srt	5.1 KB
04_10.4_Tree_Induction_4_min.txt	3.5 KB
05_10.5_Structural_Induction_6_min.mp4	5.2 MB
05_10.5_Structural_Induction_6_min.pdf	99.5 KB
05_10.5_Structural_Induction_6_min.srt	8.0 KB
05_10.5_Structural_Induction_6_min.txt	5.5 KB
/09_Equality/
01_Equality_3_min.html	30.3 KB
01_Equality_3_min.mp4	2.0 MB
01_Equality_3_min.pdf	1.3 MB
01_Equality_3_min.srt	3.1 KB
01_Equality_3_min.txt	2.1 KB
02_Properties_of_Equality_3_min.mp4	2.5 MB
02_Properties_of_Equality_3_min.srt	3.2 KB
02_Properties_of_Equality_3_min.txt	2.2 KB
03_Substitution_3_min.mp4	2.7 MB
03_Substitution_3_min.srt	3.4 KB
03_Substitution_3_min.txt	2.3 KB
04_Fitch_with_Equality_3_min.mp4	2.5 MB
04_Fitch_with_Equality_3_min.srt	3.9 KB
04_Fitch_with_Equality_3_min.txt	2.7 KB
05_More_examples_2_min.mp4	1.8 MB
05_More_examples_2_min.srt	2.3 KB
05_More_examples_2_min.txt	1.6 KB
/10_First_Order_Logic/
01_First_Order_Logic_a_very_brief_introduction.html	44.9 KB
01_First_Order_Logic_a_very_brief_introduction.mp4	13.2 MB
01_First_Order_Logic_a_very_brief_introduction.pdf	1.2 MB
01_First_Order_Logic_a_very_brief_introduction.srt	10.5 KB
01_First_Order_Logic_a_very_brief_introduction.txt	7.2 KB
/11_General_Game_Playing/
01_Introduction_7_min.mp4	6.1 MB
01_Introduction_7_min.pdf	3.7 MB
01_Introduction_7_min.srt	9.5 KB
01_Introduction_7_min.txt	6.5 KB
02_Game_Description_8_min.mp4	7.3 MB
02_Game_Description_8_min.srt	10.3 KB
02_Game_Description_8_min.txt	7.0 KB
03_Game_Management_2_min.mp4	2.4 MB
03_Game_Management_2_min.srt	3.6 KB
03_Game_Management_2_min.txt	2.5 KB
04_General_Game_Playing_14_min.mp4	11.4 MB
04_General_Game_Playing_14_min.srt	18.7 KB
04_General_Game_Playing_14_min.txt	12.8 KB
05_Philosophical_Remarks_5_min.mp4	4.8 MB
05_Philosophical_Remarks_5_min.srt	7.1 KB
05_Philosophical_Remarks_5_min.txt	4.9 KB
06_International_GGP_Competition_4_min.mp4	3.3 MB
06_International_GGP_Competition_4_min.srt	5.4 KB
06_International_GGP_Competition_4_min.txt	3.7 KB
/Extras/
Extras.html	42.5 KB
Set%20Theory%20Basics.pdf	209.4 KB
links.txt	2.6 KB
zip_page.html	42.5 KB
/Forum/
Forum.html	61.4 KB
links.txt	2.7 KB
/Home/
Home.html	76.5 KB
links.txt	2.5 KB
/Hypercards/
Hypercards.html	48.7 KB
links.txt	6.5 KB
/Notes/
Notes.html	37.7 KB
links.txt	1.6 KB
/
Problems.html	266.7 KB
assignment_home.html	32.1 KB
course_home.html	76.6 KB
entered_login.html	1.4 MB
intrologic-006-about.json	4.1 KB
/Problems/0_Problem_11/
0_Problem_11.html	42.8 KB
links.txt	1.5 KB
/.../10_Problem_31/
10_Problem_31.html	45.6 KB
links.txt	1.5 KB
/.../11_Problem_32/
11_Problem_32.html	42.8 KB
links.txt	1.5 KB
/.../12_Problem_33/
12_Problem_33.html	44.0 KB
links.txt	1.5 KB
/.../13_Problem_34/
13_Problem_34.html	43.9 KB
links.txt	1.5 KB
/.../14_Problem_35/
14_Problem_35.html	42.8 KB
links.txt	1.5 KB
/.../15_Problem_36/
15_Problem_36.html	44.5 KB
links.txt	1.5 KB
/.../16_Problem_41/
16_Problem_41.html	41.8 KB
links.txt	1.5 KB
/.../17_Problem_42/
17_Problem_42.html	40.7 KB
links.txt	1.5 KB
/.../18_Problem_43/
18_Problem_43.html	40.7 KB
links.txt	1.5 KB
/.../19_Problem_44/
19_Problem_44.html	41.8 KB
links.txt	1.5 KB
/Problems/1_Problem_12/
1_Problem_12.html	44.5 KB
links.txt	1.5 KB
/.../20_Problem_45/
20_Problem_45.html	41.7 KB
links.txt	1.5 KB
/.../21_Problem_46/
21_Problem_46.html	40.7 KB
links.txt	1.5 KB
/.../22_Problem_47/
22_Problem_47.html	40.7 KB
links.txt	1.5 KB
/.../23_Problem_48/
23_Problem_48.html	41.7 KB
links.txt	1.5 KB
/.../24_Problem_49/
24_Problem_49.html	40.7 KB
links.txt	1.5 KB
/.../25_Problem_410/
25_Problem_410.html	41.7 KB
links.txt	1.5 KB
/.../26_Problem_411/
26_Problem_411.html	41.8 KB
links.txt	1.5 KB
/.../27_Problem_412/
27_Problem_412.html	40.7 KB
links.txt	1.5 KB
/.../28_Problem_51/
28_Problem_51.html	42.8 KB
links.txt	1.5 KB
/.../29_Problem_52/
29_Problem_52.html	42.3 KB
links.txt	1.5 KB
/Problems/2_Problem_13/
2_Problem_13.html	42.8 KB
links.txt	1.5 KB
/.../30_Problem_53/
30_Problem_53.html	40.7 KB
links.txt	1.5 KB
/.../31_Problem_54/
31_Problem_54.html	41.8 KB
links.txt	1.5 KB
/.../32_Problem_61/
32_Problem_61.html	44.5 KB
links.txt	1.5 KB
/.../33_Problem_62/
33_Problem_62.html	41.7 KB
links.txt	1.5 KB
/.../34_Problem_63/
34_Problem_63.html	42.8 KB
links.txt	1.5 KB
/.../35_Problem_64/
35_Problem_64.html	43.4 KB
links.txt	1.5 KB
/.../36_Problem_65/
36_Problem_65.html	41.7 KB
links.txt	1.5 KB
/.../37_Problem_66/
37_Problem_66.html	45.6 KB
links.txt	1.5 KB
/.../38_Problem_67/
38_Problem_67.html	42.8 KB
links.txt	1.5 KB
/.../39_Problem_71/
39_Problem_71.html	42.8 KB
links.txt	1.5 KB
/Problems/3_Problem_14/
3_Problem_14.html	41.7 KB
links.txt	1.5 KB
/.../40_Problem_72/
40_Problem_72.html	43.4 KB
links.txt	1.5 KB
/.../41_Problem_73/
41_Problem_73.html	42.3 KB
links.txt	1.5 KB
/.../42_Problem_74/
42_Problem_74.html	42.3 KB
links.txt	1.5 KB
/.../43_Problem_75/
43_Problem_75.html	42.3 KB
links.txt	1.5 KB
/.../44_Problem_81/
44_Problem_81.html	41.7 KB
links.txt	1.5 KB
/.../45_Problem_82/
45_Problem_82.html	40.7 KB
links.txt	1.5 KB
/.../46_Problem_83/
46_Problem_83.html	40.7 KB
links.txt	1.5 KB
/.../47_Problem_84/
47_Problem_84.html	41.7 KB
links.txt	1.5 KB
/.../48_Problem_85/
48_Problem_85.html	40.7 KB
links.txt	1.5 KB
/.../49_Problem_86/
49_Problem_86.html	40.7 KB
links.txt	1.5 KB
/Problems/4_Problem_15/
4_Problem_15.html	40.7 KB
links.txt	1.5 KB
/.../50_Problem_87/
50_Problem_87.html	40.7 KB
links.txt	1.5 KB
/.../51_Problem_88/
51_Problem_88.html	40.7 KB
links.txt	1.5 KB
/.../52_Problem_91/
52_Problem_91.html	43.9 KB
links.txt	1.5 KB
/.../53_Problem_92/
53_Problem_92.html	42.3 KB
links.txt	1.5 KB
/.../54_Problem_93/
54_Problem_93.html	43.4 KB
links.txt	1.5 KB
/.../55_Problem_94/
55_Problem_94.html	41.7 KB
links.txt	1.5 KB
/.../56_Problem_95/
56_Problem_95.html	40.7 KB
links.txt	1.5 KB
/.../57_Problem_96/
57_Problem_96.html	41.8 KB
links.txt	1.5 KB
/.../58_Problem_97/
58_Problem_97.html	40.7 KB
links.txt	1.5 KB
/.../59_Problem_98/
59_Problem_98.html	40.7 KB
links.txt	1.5 KB
/Problems/5_Problem_21/
5_Problem_21.html	42.8 KB
links.txt	1.5 KB
/.../60_Problem_99/
60_Problem_99.html	40.7 KB
links.txt	1.5 KB
/.../61_Problem_910/
61_Problem_910.html	41.7 KB
links.txt	1.5 KB
/.../62_Problem_101/
62_Problem_101.html	40.7 KB
links.txt	1.5 KB
/.../63_Problem_102/
63_Problem_102.html	41.8 KB
links.txt	1.5 KB
/.../64_Problem_103/
64_Problem_103.html	40.7 KB
links.txt	1.5 KB
/.../65_Problem_104/
65_Problem_104.html	40.7 KB
links.txt	1.5 KB
/.../66_Problem_105/
66_Problem_105.html	40.7 KB
links.txt	1.5 KB
/.../67_Problem_106/
67_Problem_106.html	41.8 KB
links.txt	1.5 KB
/Problems/6_Problem_22/
6_Problem_22.html	41.8 KB
links.txt	1.5 KB
/Problems/7_Problem_23/
7_Problem_23.html	42.3 KB
links.txt	1.5 KB
/Problems/8_Problem_24/
8_Problem_24.html	42.8 KB
links.txt	1.5 KB
/Problems/9_Problem_25/
9_Problem_25.html	44.5 KB
links.txt	1.5 KB
/Puzzles/
Puzzles.html	39.3 KB
links.txt	2.1 KB
/QuickQuestions15/
QuickQuestions15.html	56.9 KB
links.txt	1.4 KB
/Tools/
Tools.html	38.3 KB
links.txt	1.9 KB
Total files 347