| Name | DL | Torrents | Total Size | Video Lectures [edit] | 155 | 727.63GB | 3297 | 0 |
intrologic-006 (347 files)
 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.html | 41.45kB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.mp4 | 2.58MB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.pdf | 664.34kB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.srt | 3.64kB |
| 01_Lesson_1_-_Introduction/01_1.1_Introduction_to_Logic_3_min.txt | 2.28kB |
| 01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.mp4 | 7.62MB |
| 01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.srt | 12.42kB |
| 01_Lesson_1_-_Introduction/02_1.2_Elements_of_Logic_10_min.txt | 8.24kB |
| 01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.mp4 | 7.38MB |
| 01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.srt | 10.44kB |
| 01_Lesson_1_-_Introduction/03_1.3_Formalization_9_min.txt | 7.16kB |
| 01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.mp4 | 3.74MB |
| 01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.srt | 5.89kB |
| 01_Lesson_1_-_Introduction/04_1.4_Automation_5_min.txt | 4.02kB |
| 01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.mp4 | 3.43MB |
| 01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.srt | 5.44kB |
| 01_Lesson_1_-_Introduction/05_1.5_Study_Guide_4_min.txt | 3.72kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.html | 51.80kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.mp4 | 1.00MB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.pdf | 826.05kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.srt | 1.67kB |
| 02_Lesson_2_-_Propositional_Logic/01_2.1_Propositional_Logic_1_min.txt | 1.03kB |
| 02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.mp4 | 6.06MB |
| 02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.srt | 9.25kB |
| 02_Lesson_2_-_Propositional_Logic/02_2.2_Syntax_7_min.txt | 6.30kB |
| 02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.mp4 | 8.10MB |
| 02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.srt | 12.93kB |
| 02_Lesson_2_-_Propositional_Logic/03_2.3_Semantics_10_min.txt | 8.86kB |
| 02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.mp4 | 2.76MB |
| 02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.srt | 4.09kB |
| 02_Lesson_2_-_Propositional_Logic/04_2.4_Satisfaction_3_min.txt | 2.80kB |
| 02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.mp4 | 2.41MB |
| 02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.srt | 3.86kB |
| 02_Lesson_2_-_Propositional_Logic/05_2.5_The_Big_Game_3_min.txt | 2.65kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.html | 43.55kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.mp4 | 2.13MB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.pdf | 994.88kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.srt | 3.15kB |
| 03_Lesson_3_-_Properties_and_Entailment/01_3.1_Properties_of_Sentences_3_min.txt | 2.16kB |
| 03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.mp4 | 4.94MB |
| 03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.srt | 7.56kB |
| 03_Lesson_3_-_Properties_and_Entailment/02_3.2_Logical_Entailment_6_min.txt | 5.17kB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.html | 47.49kB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.mp4 | 1.38MB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.pdf | 2.24MB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.srt | 2.41kB |
| 04_Lesson_4_-_Propositional_Proofs/01_4.1_Propositional_Proofs_2_min.txt | 1.57kB |
| 04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.mp4 | 6.56MB |
| 04_Lesson_4_-_Propositional_Proofs/02_4.2_Linear_Proofs_8_min.srt | 9.54kB |
Type: Course
Tags: Coursera, intrologic
Bibtex:
Tags: Coursera, intrologic
Bibtex:
@article{,
title = {[Coursera] Introduction to Logic (Stanford University) (intrologic)},
author = {Stanford University}
}
