zhongziso种子搜
首页
功能
磁力转BT
BT转磁力
使用教程
免责声明
关于
zhongziso
搜索
intrologic-006
magnet:?xt=urn:btih:0342ad0bd7ef06eb1500b5e7c8ef398060827c4e&dn=intrologic-006
磁力链接详情
Hash值:
0342ad0bd7ef06eb1500b5e7c8ef398060827c4e
点击数:
18
文件大小:
221.99 MB
文件数量:
52
创建日期:
2021-1-26 10:26
最后访问:
2024-5-24 07:23
访问标签:
intrologic-006
文件列表详情
01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.mp4 2.46 MB
01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.mp4 7.27 MB
01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.mp4 7.04 MB
01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.mp4 3.57 MB
01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.mp4 3.27 MB
02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.mp4 981.34 KB
02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.mp4 5.78 MB
02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.mp4 7.72 MB
02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.mp4 2.63 MB
02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.mp4 2.3 MB
03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.mp4 2.03 MB
03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.mp4 4.71 MB
04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.mp4 1.32 MB
04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.mp4 6.26 MB
04_Lesson_4_-_Propositional_Proofs/03_4.3_Structured_Proofs_5_min.mp4 3.86 MB
04_Lesson_4_-_Propositional_Proofs/04_4.4_Fitch_3_min.mp4 1.8 MB
04_Lesson_4_-_Propositional_Proofs/05_4.5_Soundness_and_Completeness_2_min.mp4 1.93 MB
05_Lesson_5_-_Propositional_Resolution/01_5.1_Propositional_Resolution_2_min.mp4 1.81 MB
05_Lesson_5_-_Propositional_Resolution/02_5.2_Clausal_Form_5_min.mp4 3.41 MB
05_Lesson_5_-_Propositional_Resolution/03_5.3_Resolution_Principle_5_min.mp4 3.52 MB
05_Lesson_5_-_Propositional_Resolution/04_5.4_Resolution_Method_7_min.mp4 5.09 MB
05_Lesson_5_-_Propositional_Resolution/05_5.5_Box_Logic_out_of_focus.mp4 8.59 MB
06_Lesson_8_-_Relational_Logic_Proofs/01_8.1_Relational_Logic_Proofs_2_min.mp4 1.68 MB
06_Lesson_8_-_Relational_Logic_Proofs/02_8.2_Proofs_10_min.mp4 8.34 MB
06_Lesson_8_-_Relational_Logic_Proofs/03_8.3_Example_3_min.mp4 2.04 MB
06_Lesson_8_-_Relational_Logic_Proofs/04_8.4_Example_4_min.mp4 3.04 MB
06_Lesson_8_-_Relational_Logic_Proofs/05_8.5_Example_-_Quantifier_and_Implication_5_min.mp4 4.44 MB
07_Lesson_9_-_Resolution/01_9.1_Resolution_2_min.mp4 1.38 MB
07_Lesson_9_-_Resolution/02_9.2_Clausal_Form_9_min.mp4 6.96 MB
07_Lesson_9_-_Resolution/03_9.3_Unification_14_min.mp4 10.99 MB
07_Lesson_9_-_Resolution/04_9.4_Resolution_Principle_7_min.mp4 5.19 MB
07_Lesson_9_-_Resolution/05_9.5_Resolution_Reasoning_5_min.mp4 3.85 MB
07_Lesson_9_-_Resolution/06_9.6_Unsatisfiability_2_min.mp4 1.23 MB
07_Lesson_9_-_Resolution/07_9.7_Logical_Entailment_6_min.mp4 5.04 MB
07_Lesson_9_-_Resolution/08_9.8_Answer_Extraction_6_min.mp4 5.2 MB
08_Lesson_10_-_Induction/01_10.1_Induction_3_min.mp4 3.44 MB
08_Lesson_10_-_Induction/02_10.2_Domain_Closure_2_min.mp4 1.38 MB
08_Lesson_10_-_Induction/03_10.3_Linear_Induction_7_min.mp4 5.01 MB
08_Lesson_10_-_Induction/04_10.4_Tree_Induction_4_min.mp4 3.27 MB
08_Lesson_10_-_Induction/05_10.5_Structural_Induction_6_min.mp4 5 MB
09_Equality/01_Equality_3_min.mp4 1.91 MB
09_Equality/02_Properties_of_Equality_3_min.mp4 2.37 MB
09_Equality/03_Substitution_3_min.mp4 2.55 MB
09_Equality/04_Fitch_with_Equality_3_min.mp4 2.37 MB
09_Equality/05_More_examples_2_min.mp4 1.73 MB
10_First_Order_Logic/01_First_Order_Logic_a_very_brief_introduction.mp4 12.63 MB
11_General_Game_Playing/01_Introduction_7_min.mp4 5.8 MB
11_General_Game_Playing/02_Game_Description_8_min.mp4 6.99 MB
11_General_Game_Playing/03_Game_Management_2_min.mp4 2.25 MB
11_General_Game_Playing/04_General_Game_Playing_14_min.mp4 10.87 MB
11_General_Game_Playing/05_Philosophical_Remarks_5_min.mp4 4.6 MB
11_General_Game_Playing/06_International_GGP_Competition_4_min.mp4 3.12 MB
其他位置