Coursera Logic Language and Information | 879DE02A3D80EC4C0A42BF1536F0A9B66B3FB0FA

Coursera Logic Language and Information

Name	[Coursera] Logic - Language and Information 1	DOWNLOAD Copy Link
Total Size	926.6 MB
Total Files	169
Last Seen	2024-10-10 23:23
Hash	879DE02A3D80EC4C0A42BF1536F0A9B66B3FB0FA

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