[Coursera] Logic - Language and Information 1番号下载_[Coursera] Logic - Language and Information 1番号下载_[Coursera] Logic - Language and Information 1下载

[Coursera] Logic - Language and Information 1

种子简介

种子名称： [Coursera] Logic - Language and Information 1
文件类型：视频
文件数目： 31个文件
文件大小： 682.83 MB
收录时间： 2017-3-7 08:20
已经下载： 3次
资源热度： 165
最近下载： 2024-6-1 11:28

下载BT种子文件

下载Torrent文件(.torrent) 立即下载

磁力链接下载

magnet:?xt=urn:btih:879de02a3d80ec4c0a42bf1536f0a9b66b3fb0fa&dn=[Coursera] Logic - Language and Information 1 复制链接到迅雷、QQ旋风进行下载，或者使用百度云离线下载。

喜欢这个种子的人也喜欢

Coursera Logic - Language and Information 1

种子包含的文件

[Coursera] Logic - Language and Information 1.torrent

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).mp443.83MB

01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).mp418.3MB

02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).mp412.92MB

02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).mp422.27MB

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).mp410.23MB

02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).mp416.54MB

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).mp420.15MB

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).mp418.69MB

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).mp423.2MB

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).mp435.71MB

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).mp421.9MB

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).mp428.11MB

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).mp412.6MB

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).mp427.85MB

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).mp434.96MB

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).mp422.12MB

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).mp432.71MB

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).mp429.41MB

04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).mp427.18MB

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).mp417.19MB

05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).mp411.34MB

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).mp417.17MB

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).mp412.96MB

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).mp49.44MB

06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).mp415.56MB

06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).mp410.36MB

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).mp426.05MB

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).mp427.25MB

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).mp429.95MB

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).mp433.31MB

07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).mp413.56MB