[Coursera] Logic - Language and Information 1 - 磁力狗 - 最好用的磁力种子搜索引擎

BT种子名称

请保存以下最新地址

BT种子基本信息

种子哈希：879de02a3d80ec4c0a42bf1536f0a9b66b3fb0fa
文档大小：926.6 MB
文档个数：168个文档
下载次数：2480次
下载速度：极快
收录时间：2020-03-05
最近下载：2025-01-02
DMCA/屏蔽：DMCA/屏蔽

下载磁力链接

magnet:?xt=urn:btih:879DE02A3D80EC4C0A42BF1536F0A9B66B3FB0FA
复制磁力链接到PikPak、utorrent、Bitcomet、迅雷、115、百度网盘等下载工具进行下载。

下载BT种子

磁力链接种子下载迅雷下载二维码 YouTube成人版 91视频 91短视频 51品茶逼哩逼哩萝莉岛欲漫涩草榴社区含羞草抖阴破解版 TikTok成人版成人快手乱伦社区 91AV 暗网禁地

[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 46.0 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 37.4 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 36.7 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 34.9 MB
06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/logic1notes-Chapter-5.pdf 34.8 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 34.3 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 31.4 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 30.8 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 29.5 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 29.2 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 28.6 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 28.5 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 27.3 MB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/logic1notes-Chapter-3.pdf 25.7 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 24.3 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 23.4 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 23.2 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 23.0 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 21.1 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/logic1notes-Chapter-6.pdf 20.0 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 19.6 MB
01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).mp4 19.2 MB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/logic1notes-Chapter-4.pdf 18.1 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 18.0 MB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/logic1notes-Chapter-2.pdf 18.0 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 18.0 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 17.3 MB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/logic1notes-Chapter-1.pdf 17.1 MB
01 - 0 Preliminaries/01 - Welcome (8-47)/logic1notes-Chapter-0.pdf 17.1 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 16.3 MB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/LLI1-3-1-Digital-signals-and-systems.pdf 15.4 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 14.2 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 13.6 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 13.5 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 13.2 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.9 MB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/LLI1-5-2-implicature.pdf 11.8 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.9 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.7 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.9 MB
06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/LLI1-5-1-logic-and-language.pdf 6.6 MB
04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/LLI1-3-2-Logic-Gates-and-Logic-Circuits.pdf 5.1 MB
07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/LLI1-6-2-Logic-Programming-in-Prolog.pdf 3.1 MB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/LLI1-4-1-the-sorites-paradox.pdf 2.8 MB
04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/LLI1-3-4-Minimizing-Logic-Circuits-using-K-Maps.pdf 977.2 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/LLI1-6-1-Automated-Reasoning.pdf 753.4 kB
04 - 3 Combinational Digital Systems (Application Engineering)/03 - 3.3 Truth Tables, Logic Formulas Logic Circuits (28-54)/LLI1-3-3-Truth-Tables-Logic-Formulas-and-Logic-Circuits.pdf 692.0 kB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/LLI1-1-1-2-connectives.pdf 638.5 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/LLI1-6-3-Prolog-project-Sudoku-puzzles.pdf 620.8 kB
05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/LLI1-4-3-response-2-two-values.pdf 570.2 kB
05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/LLI1-4-2-response-1-many-values.pdf 555.7 kB
03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/LLI1-2-2-3-example-trees.pdf 539.2 kB
02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/LLI1-1-1-5-expressive_power.pdf 525.8 kB
03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/LLI1-2-2-1-why-trees.pdf 521.4 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/LLI1-6-4-How-Prolog-answers-queries.pdf 515.4 kB
02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/LLI1-1-3-1-classifying propositions.pdf 498.7 kB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/LLI1-5-3-implicatures-and-connectives.pdf 460.3 kB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/LLI1-1-1-1-propositions.pdf 456.4 kB
03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/LLI1-2-2-2-tree-rules.pdf 452.8 kB
02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/LLI1-1-2-2-conjunction_disjunction.pdf 449.1 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/LLI1-6-5-Negation-in-Prolog.pdf 449.1 kB
02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/LLI1-1-1-3-formulas.pdf 444.3 kB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/LLI1-1-1-4-formalisation.pdf 432.3 kB
03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/LLI1-2-1-2-Argument-Forms.pdf 428.3 kB
02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/LLI1-1-3-2-relationships between propositions.pdf 426.0 kB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/LLI1-2-1-1-Validity.pdf 421.5 kB
02 - 1 Language and Models of Propositional Logic (Core)/08 - 1.2.3 The Material Conditional Biconditional (11-50)/LLI1-1-2-3-conditional-biconditional.pdf 420.8 kB
02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/LLI1-1-2-1-setting-up-truthtables.pdf 420.0 kB
03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/LLI1-2-2-4-why-trees-work.pdf 412.2 kB
01 - 0 Preliminaries/01 - Welcome (8-47)/welcome.pdf 352.7 kB
lectures.html 97.9 kB
index.html 59.6 kB
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).srt 29.1 kB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).srt 28.2 kB
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).srt 24.7 kB
01 - 0 Preliminaries/01 - Welcome (8-47)/syllabus.html 23.5 kB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/Session_One_Study_Guide.html 22.7 kB
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).srt 22.4 kB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).srt 22.2 kB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).srt 21.3 kB
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).srt 20.9 kB
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).srt 19.1 kB
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).srt 18.8 kB
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).srt 18.7 kB
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).srt 18.2 kB
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).srt 17.9 kB
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).txt 17.8 kB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).txt 17.0 kB
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).srt 16.7 kB
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).srt 16.4 kB
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).srt 15.9 kB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).srt 15.9 kB
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).srt 15.5 kB
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).txt 14.9 kB
logic1-001-about.json 13.7 kB
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).txt 13.7 kB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).txt 13.4 kB
01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).srt 13.1 kB
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).srt 12.9 kB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).txt 12.8 kB
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).txt 12.7 kB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/list.html 12.6 kB
03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/list.html 12.6 kB
03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/list.html 12.6 kB
03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/list.html 12.6 kB
03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/list.html 12.6 kB
03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/list.html 12.6 kB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/list.html 12.6 kB
04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/list.html 12.6 kB
04 - 3 Combinational Digital Systems (Application Engineering)/03 - 3.3 Truth Tables, Logic Formulas Logic Circuits (28-54)/list.html 12.6 kB
04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/list.html 12.6 kB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/list.html 12.6 kB
05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/list.html 12.6 kB
05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/list.html 12.6 kB
06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/list.html 12.6 kB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/list.html 12.6 kB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/list.html 12.6 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/list.html 12.6 kB
02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/list.html 12.6 kB
01 - 0 Preliminaries/01 - Welcome (8-47)/forum.html 12.6 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/forum_id10009.html 12.6 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/forum_id10009.html 12.6 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/forum_id10009.html 12.6 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/forum_id10009.html 12.6 kB
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).srt 12.6 kB
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).srt 12.5 kB
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).srt 12.3 kB
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).srt 12.1 kB
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).txt 11.7 kB
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).srt 11.7 kB
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).srt 11.6 kB
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).txt 11.5 kB
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).txt 11.4 kB
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).txt 11.2 kB
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).srt 10.9 kB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).srt 10.8 kB
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).txt 10.8 kB
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).txt 10.3 kB
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).txt 10.0 kB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).txt 9.7 kB
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).txt 9.5 kB
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).txt 9.4 kB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).srt 9.3 kB
01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).txt 8.1 kB
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).txt 7.8 kB
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).srt 7.8 kB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).srt 7.7 kB
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).txt 7.7 kB
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).txt 7.7 kB
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).txt 7.6 kB
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).txt 7.3 kB
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).txt 7.3 kB
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).txt 7.1 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).srt 6.9 kB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).txt 6.8 kB
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).txt 6.8 kB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).txt 5.5 kB
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).txt 4.8 kB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).txt 4.6 kB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/7 - 5 - 6.5 Negation in PROLOG (655).txt 4.2 kB

==查看完整文档列表==

上一个：VA-Flashback_Mixed_By_Dark-E-CD-FLAC-2016-HBFD569.0 MB
下一个：[HussieAuditions] Zaya Cassidy - Sexy 18 year old Indian Zaya's first Interracial Audition (02.11.2017) rq.mp4 236.3 MB