| [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.8 MB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).mp4 |
18.3 MB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).srt |
13 KB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/1 - 1 - Welcome (847).txt |
8 KB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/forum.html |
12 KB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/logic1notes-Chapter-0.pdf |
16.3 MB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/syllabus.html |
23 KB |
| [Coursera] Logic - Language and Information 1/01 - 0 Preliminaries/01 - Welcome (8-47)/welcome.pdf |
344 KB |
| [Coursera] Logic - Language and Information 1/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.9 MB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).srt |
8 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/2 - 1 - 1.1.1 Propositions (517).txt |
5 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/LLI1-1-1-1-propositions.pdf |
446 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/logic1notes-Chapter-1.pdf |
16.3 MB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/01 - 1.1.1 Propositions (5-17)/Session_One_Study_Guide.html |
22 KB |
| [Coursera] Logic - Language and Information 1/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.3 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/02 - 1.1.2 Connectives (19-44)/LLI1-1-1-2-connectives.pdf |
624 KB |
| [Coursera] Logic - Language and Information 1/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.2 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/03 - 1.1.3 Propositional Formulas (9-23)/LLI1-1-1-3-formulas.pdf |
434 KB |
| [Coursera] Logic - Language and Information 1/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.5 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/04 - 1.1.4 Formalisation (7-00)/LLI1-1-1-4-formalisation.pdf |
422 KB |
| [Coursera] Logic - Language and Information 1/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.1 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/05 - 1.1.5 Expressive power (8-40)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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.7 MB |
| [Coursera] Logic - Language and Information 1/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 |
8 KB |
| [Coursera] Logic - Language and Information 1/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 |
5 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/06 - 1.2.1 Setting Up Truth Tables (6-35)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/07 - 1.2.2 Negation, Conjunction and Disjunction (10-37)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 |
439 KB |
| [Coursera] Logic - Language and Information 1/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.7 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
411 KB |
| [Coursera] Logic - Language and Information 1/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 |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
8 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/09 - 1.3.1 Classifying Propositions (11-18)/LLI1-1-3-1-classifying propositions.pdf |
487 KB |
| [Coursera] Logic - Language and Information 1/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.1 MB |
| [Coursera] Logic - Language and Information 1/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 |
16 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/02 - 1 Language and Models of Propositional Logic (Core)/10 - 1.3.2 Relationships Between Propositions (14-26)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
| [Coursera] Logic - Language and Information 1/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 |
11 KB |
| [Coursera] Logic - Language and Information 1/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 |
7 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/LLI1-2-1-1-Validity.pdf |
412 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/01 - 2.1.1 Validity of Arguments (9-38)/logic1notes-Chapter-2.pdf |
17.2 MB |
| [Coursera] Logic - Language and Information 1/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.9 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/02 - 2.1.2 Argument Forms, Instances and Soundness (16-42)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
35 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/03 - 2.2.1 Why We Need Proof Trees (15-12)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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.1 MB |
| [Coursera] Logic - Language and Information 1/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 |
13 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/04 - 2.2.2 Rules for Proof Trees for Propositional Logic (9-07)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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.7 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/05 - 2.2.3 Example Proof Trees for Propositional Logic (14-35)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 |
527 KB |
| [Coursera] Logic - Language and Information 1/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.4 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/03 - 2 Proofs for Propositional Logic (Core)/06 - 2.2.4 Why Trees and Truth Tables Agree (14-02)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 |
403 KB |
| [Coursera] Logic - Language and Information 1/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.2 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/LLI1-3-1-Digital-signals-and-systems.pdf |
14.7 MB |
| [Coursera] Logic - Language and Information 1/04 - 3 Combinational Digital Systems (Application Engineering)/01 - 3.1 Digital Signals Systems (17-55)/logic1notes-Chapter-3.pdf |
24.5 MB |
| [Coursera] Logic - Language and Information 1/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.2 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/04 - 3 Combinational Digital Systems (Application Engineering)/02 - 3.2 Logic Gates Logic Circuits (13-23)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 |
| [Coursera] Logic - Language and Information 1/04 - 3 Combinational Digital Systems (Application Engineering)/03 - 3.3 Truth Tables, Logic Formulas Logic Circuits (28-54)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 |
676 KB |
| [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).srt |
28 KB |
| [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).txt |
17 KB |
| [Coursera] Logic - Language and Information 1/04 - 3 Combinational Digital Systems (Application Engineering)/04 - 3.4 Minimizing Logic Circuits Using K-Maps (26-40)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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.3 MB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).srt |
11 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/5 - 1 - 4.1 Vagueness The Sorites Paradox (744).txt |
7 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/LLI1-4-1-the-sorites-paradox.pdf |
2.7 MB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/01 - 4.1 Vagueness The Sorites Paradox (7-44)/logic1notes-Chapter-4.pdf |
17.3 MB |
| [Coursera] Logic - Language and Information 1/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.2 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
15 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/02 - 4.2 Vagueness One Option-Revising Our Logic (17-08)/LLI1-4-2-response-1-many-values.pdf |
543 KB |
| [Coursera] Logic - Language and Information 1/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 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/05 - 4 Vagueness (Application Philosophy)/03 - 4.3 Vagueness Another Option-Resist the Premises (14-47)/LLI1-4-3-response-2-two-values.pdf |
557 KB |
| [Coursera] Logic - Language and Information 1/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.4 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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.3 MB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/01 - 5.1 Linguistics Introducing Language and Logic (7-52)/logic1notes-Chapter-5.pdf |
33.2 MB |
| [Coursera] Logic - Language and Information 1/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.6 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/6 - 2 - 5.2 Linguistics Entailment Implicature (1402).txt |
13 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/02 - 5.2 Linguistics Entailment Implicature (14-02)/LLI1-5-2-implicature.pdf |
11.3 MB |
| [Coursera] Logic - Language and Information 1/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.4 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/6 - 3 - 5.3 Linguistics Implicatures Connectives (1019).txt |
10 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/06 - 5 Implicature and Implication (Application Linguistics)/03 - 5.3 Linguistics Implicatures Connectives (10-19)/LLI1-5-3-implicatures-and-connectives.pdf |
450 KB |
| [Coursera] Logic - Language and Information 1/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 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/forum_id10009.html |
12 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/LLI1-6-1-Automated-Reasoning.pdf |
736 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/01 - 6.1 Logic, Computers Automated Reasoning (12-47)/logic1notes-Chapter-6.pdf |
19 MB |
| [Coursera] Logic - Language and Information 1/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.2 MB |
| [Coursera] Logic - Language and Information 1/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 |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/02 - 6.2 Logic Programming in PROLOG (13-00)/list.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 MB |
| [Coursera] Logic - Language and Information 1/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 |
30 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 |
11 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/03 - 6.3 PROLOG Project Sudoku Puzzles (15-52)/forum_id10009.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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.3 MB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/04 - 6.4 How PROLOG Answers Queries (17-08)/forum_id10009.html |
12 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/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.6 MB |
| [Coursera] Logic - Language and Information 1/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 |
7 KB |
| [Coursera] Logic - Language and Information 1/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 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/forum_id10009.html |
12 KB |
| [Coursera] Logic - Language and Information 1/07 - 6 Propositional Logic Programming (Application Computer Science)/05 - 6.5 Negation in PROLOG (6-55)/LLI1-6-5-Negation-in-Prolog.pdf |
439 KB |
| [Coursera] Logic - Language and Information 1/index.html |
58 KB |
| [Coursera] Logic - Language and Information 1/lectures.html |
96 KB |
| [Coursera] Logic - Language and Information 1/logic1-001-about.json |
13 KB |
| [Coursera] Logic - Language and Information 1/_README.txt |
3 KB |
Magnet link
