zhongziso种子搜
首页
功能
磁力转BT
BT转磁力
使用教程
免责声明
关于
zhongziso
搜索
[Coursera] Logic - Language and Information 1
magnet:?xt=urn:btih:879de02a3d80ec4c0a42bf1536f0a9b66b3fb0fa&dn=[Coursera] Logic - Language and Information 1
磁力链接详情
Hash值:
879de02a3d80ec4c0a42bf1536f0a9b66b3fb0fa
点击数:
166
文件大小:
682.83 MB
文件数量:
31
创建日期:
2017-3-7 08:20
最后访问:
2024-7-2 17:11
访问标签:
Coursera
Logic
-
Language
and
Information
1
文件列表详情
04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/4 - 4 - 3.4 Minimizing Logic Circuits Using K-Maps (2640).mp4 43.83 MB
01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).mp4 18.3 MB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).mp4 12.92 MB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).mp4 22.27 MB
02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/2 - 3 - 1.1.3 Propositional Formulas (923).mp4 10.23 MB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).mp4 16.54 MB
02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/2 - 5 - 1.1.5 Expressive power (840).mp4 20.15 MB
02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/2 - 6 - 1.2.1 Setting Up Truth Tables (635).mp4 18.69 MB
02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/2 - 7 - 1.2.2 Negation, Conjunction and Disjunction (1037).mp4 23.2 MB
02 - 1 Language and Models of Propositional Logic (Core)/08 - 1.2.3 The Material Conditional Biconditional (11-50)/2 - 8 - 1.2.3 The Material Conditional Biconditional (1150).mp4 35.71 MB
02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/2 - 9 - 1.3.1 Classifying Propositions (1118).mp4 21.9 MB
02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/2 - 10 - 1.3.2 Relationships Between Propositions (1426).mp4 28.11 MB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/3 - 1 - 2.1.1 Validity of Arguments (938).mp4 12.6 MB
03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/3 - 2 - 2.1.2 Argument Forms, Instances and Soundness (1642).mp4 27.85 MB
03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/3 - 3 - 2.2.1 Why We Need Proof Trees (1512).mp4 34.96 MB
03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/3 - 4 - 2.2.2 Rules for Proof Trees for Propositional Logic (907).mp4 22.12 MB
03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/3 - 5 - 2.2.3 Example Proof Trees for Propositional Logic (1435).mp4 32.71 MB
03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/3 - 6 - 2.2.4 Why Trees and Truth Tables Agree (1402).mp4 29.41 MB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).mp4 27.18 MB
04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/4 - 2 - 3.2 Logic Gates Logic Circuits (1323).mp4 17.19 MB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).mp4 11.34 MB
05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/5 - 2 - 4.2 Vagueness One Option-Revising Our Logic (1708).mp4 17.17 MB
05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/5 - 3 - 4.3 Vagueness Another Option-Resist the Premises (1447).mp4 12.96 MB
06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/6 - 1 - 5.1 Linguistics Introducing Language and Logic (752).mp4 9.44 MB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).mp4 15.56 MB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).mp4 10.36 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/7 - 1 - 6.1 Logic, Computers Automated Reasoning (1247).mp4 26.05 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/7 - 2 - 6.2 Logic Programming in PROLOG (1300).mp4 27.25 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/7 - 3 - 6.3 PROLOG Project Sudoku Puzzles (1552).mp4 29.95 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/7 - 4 - 6.4 How PROLOG Answers Queries (1708).mp4 33.31 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).mp4 13.56 MB
其他位置