资源详情

返回首页 | 相关搜索
[Coursera] Logic - Language and Information 1
大小 883.67 MB
文件数 169
Info Hash: 879DE02A3D80EC4C0A42BF1536F0A9B66B3FB0FA
收录时间 2026-01-12 21:14:18
更新时间 2026-01-12 21:14:18
文件列表 (169)
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
01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).srt
12.83 KB
01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).txt
7.91 KB
01 - 0 Preliminaries/01 - Welcome (8-47)/forum.html
12.33 KB
01 - 0 Preliminaries/01 - Welcome (8-47)/logic1notes-Chapter-0.pdf
16.28 MB
01 - 0 Preliminaries/01 - Welcome (8-47)/syllabus.html
22.99 KB
01 - 0 Preliminaries/01 - Welcome (8-47)/welcome.pdf
344.48 KB
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)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).srt
7.52 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.51 KB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/list.html
12.34 KB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/LLI1-1-1-1-propositions.pdf
445.67 KB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/logic1notes-Chapter-1.pdf
16.34 MB
02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/Session_One_Study_Guide.html
22.2 KB
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)/02 - 1.1.2 Connectives (19-44)/2 - 2 - 1.1.2 Connectives (1944).srt
27.58 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
16.58 KB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/list.html
12.34 KB
02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/LLI1-1-1-2-connectives.pdf
623.56 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).mp4
10.23 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).srt
12.06 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.45 KB
02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/list.html
12.34 KB
02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/LLI1-1-1-3-formulas.pdf
433.85 KB
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)/04 - 1.1.4 Formalisation (7-00)/2 - 4 - 1.1.4 Formalisation (700).srt
9.07 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.38 KB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/list.html
12.34 KB
02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/LLI1-1-1-4-formalisation.pdf
422.21 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).mp4
20.15 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).srt
11.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
6.89 KB
02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/list.html
12.34 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
513.48 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).mp4
18.69 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).srt
7.61 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.74 KB
02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/list.html
12.34 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
410.12 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).mp4
23.2 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).srt
11.8 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.13 KB
02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/list.html
12.34 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
438.58 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).mp4
35.71 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).srt
12.33 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.48 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
410.91 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).mp4
21.9 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).srt
12.23 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.62 KB
02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/list.html
12.34 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
486.98 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).mp4
28.11 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).srt
15.53 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.28 KB
02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/list.html
12.34 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
416.03 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).mp4
12.6 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).srt
10.6 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.61 KB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/list.html
12.34 KB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/LLI1-2-1-1-Validity.pdf
411.6 KB
03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/logic1notes-Chapter-2.pdf
17.18 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)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/3 - 2 - 2.1.2 Argument Forms, Instances and Soundness (1642).srt
18.62 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.45 KB
03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/list.html
12.34 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
418.25 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).mp4
34.96 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).srt
20.37 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.41 KB
03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/list.html
12.34 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
509.17 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).mp4
22.12 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).srt
12.62 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.5 KB
03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/list.html
12.34 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
442.21 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).mp4
32.71 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).srt
18.31 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.14 KB
03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/list.html
12.34 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
526.59 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).mp4
29.41 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).srt
18.27 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.2 KB
03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/list.html
12.34 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
402.58 KB
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)/01 - 3.1 Digital Signals Systems (17-55)/4 - 1 - 3.1 Digital Signals Systems (1755).srt
21.65 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.11 KB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/list.html
12.34 KB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/LLI1-3-1-Digital-signals-and-systems.pdf
14.72 MB
04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/logic1notes-Chapter-3.pdf
24.49 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
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.18 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.2 KB
04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/list.html
12.34 KB
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
4.9 MB
04 - 3 Combinational Digital Systems (Application Engineering)/03 - 3.3 Truth Tables, Logic Formulas Logic Circuits (28-54)/list.html
12.34 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
675.83 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
28.41 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.34 KB
04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/list.html
12.34 KB
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
954.34 KB
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)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).srt
10.57 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.61 KB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/list.html
12.34 KB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/LLI1-4-1-the-sorites-paradox.pdf
2.71 MB
05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/logic1notes-Chapter-4.pdf
17.28 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)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/5 - 2 - 4.2 Vagueness One Option-Revising Our Logic (1708).srt
24.09 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.56 KB
05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/list.html
12.34 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
542.68 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).mp4
12.96 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).srt
21.84 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.33 KB
05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/list.html
12.34 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
556.8 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).mp4
9.44 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).srt
11.45 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.11 KB
06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/list.html
12.34 KB
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.31 MB
06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/logic1notes-Chapter-5.pdf
33.21 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)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).srt
20.84 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.5 KB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/list.html
12.34 KB
06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/LLI1-5-2-implicature.pdf
11.27 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
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.49 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.51 KB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/list.html
12.34 KB
06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/LLI1-5-3-implicatures-and-connectives.pdf
449.5 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).mp4
26.05 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).srt
16.29 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.11 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/forum_id10009.html
12.33 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/LLI1-6-1-Automated-Reasoning.pdf
735.74 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/logic1notes-Chapter-6.pdf
19.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)/02 - 6.2 Logic Programming in PROLOG (13-00)/7 - 2 - 6.2 Logic Programming in PROLOG (1300).srt
16 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
9.72 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/list.html
12.34 KB
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
2.95 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)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/7 - 3 - 6.3 PROLOG Project Sudoku Puzzles (1552).srt
17.44 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.54 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/forum_id10009.html
12.33 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
606.29 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).mp4
33.31 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).srt
17.8 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
10.9 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/forum_id10009.html
12.33 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
503.37 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).mp4
13.56 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).srt
6.71 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.07 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/forum_id10009.html
12.33 KB
07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/LLI1-6-5-Negation-in-Prolog.pdf
438.54 KB
index.html
58.24 KB
lectures.html
95.61 KB
logic1-001-about.json
13.42 KB
_README.txt
3.35 KB
相关资源

免责声明

本网站仅提供DHT网络资源索引服务，不存储任何资源文件。所有资源均来自DHT网络，本站无法控制其内容。请遵守当地法律法规，合理使用网络资源。如涉及版权问题，请联系 fuckatgfw@protonmail.com。

© 2026 鹿鹿堂