▲
0
0

report

Introduction to Logic - Logic [2012, ENG]

seeders: 6
leechers: 0
Download torrent
Added 14 years ago by intellect in Other
Download Fast Safe Anonymous
movies, software, shows...

Files

Introduction to Logic - Logic [2012, ENG] (Size: 264.86 MB)
  1 Week 1 Introduction
  1 - 1 - 1.1 Introduction to Logic (3 min).mp4 2.46 MB
  1 - 1 - 1.1 Introduction to Logic (3 min).srt 3.2 KB
  1 - 1 - 1.1 Introduction to Logic (3 min).txt 2.2 KB
  1 - 2 - 1.2 Elements of Logic (10 min).mp4 7.64 MB
  1 - 2 - 1.2 Elements of Logic (10 min).srt 11.54 KB
  1 - 2 - 1.2 Elements of Logic (10 min).txt 7.9 KB
  1 - 3 - 1.3 Formalization (9 min).mp4 7.04 MB
  1 - 3 - 1.3 Formalization (9 min).srt 10.2 KB
  1 - 3 - 1.3 Formalization (9 min).txt 6.99 KB
  1 - 4 - 1.4 Automation (5 min).mp4 3.77 MB
  1 - 4 - 1.4 Automation (5 min).srt 5.75 KB
  1 - 4 - 1.4 Automation (5 min).txt 3.92 KB
  1 - 5 - 1.5 Study Guide (4 min).mp4 3.36 MB
  1 - 5 - 1.5 Study Guide (4 min).srt 5.32 KB
  1 - 5 - 1.5 Study Guide (4 min).txt 3.63 KB
  notes_chapter01.pdf 342.83 KB
  slides_lesson01.pdf 648.77 KB
  10 Week 7 Propositional Sat (optional)
  10 - 1 - 5.1 Propositional Satisfiability (16 min).mp4 12.69 MB
  11 Final Words
  11 - 1 - F.1 Relational Logic & First-order Logic (11 min).mp4 8.64 MB
  2 Week 2 Propositional Logic
  2 - 1 - 2.1 Propositional Logic (1 min).mp4 1.22 MB
  2 - 1 - 2.1 Propositional Logic (1 min).srt 64 B
  2 - 1 - 2.1 Propositional Logic (1 min).txt 30 B
  2 - 2 - 2.2 Syntax of Propositional Logic (7 min).mp4 5.78 MB
  2 - 2 - 2.2 Syntax of Propositional Logic (7 min).srt 9.03 KB
  2 - 2 - 2.2 Syntax of Propositional Logic (7 min).txt 6.15 KB
  2 - 3 - 2.3 Semantics of Propositional Logic (10 min).mp4 8.13 MB
  2 - 3 - 2.3 Semantics of Propositional Logic (10 min).srt 12.63 KB
  2 - 3 - 2.3 Semantics of Propositional Logic (10 min).txt 8.66 KB
  2 - 4 - 2.4 Satisfaction (3 min).mp4 2.63 MB
  2 - 4 - 2.4 Satisfaction (3 min).srt 3.99 KB
  2 - 4 - 2.4 Satisfaction (3 min).txt 2.74 KB
  2 - 5 - 2.5 Properties of Sentences (3 min).mp4 2.18 MB
  2 - 5 - 2.5 Properties of Sentences (3 min).srt 3.07 KB
  2 - 5 - 2.5 Properties of Sentences (3 min).txt 2.11 KB
  2 - 6 - 2.6 Logical Entailment (6 min).mp4 4.98 MB
  2 - 6 - 2.6 Logical Entailment (6 min).srt 7.38 KB
  2 - 6 - 2.6 Logical Entailment (6 min).txt 5.05 KB
  2 - 7 - 2.7 The Big Game (3 min).mp4 2.3 MB
  2 - 7 - 2.7 The Big Game (3 min).srt 3.77 KB
  2 - 7 - 2.7 The Big Game (3 min).txt 2.59 KB
  notes_chapter02.pdf 106.75 KB
  slides_lesson02.pdf 806.69 KB
  3 Week 3 Propositional Proofs
  3 - 1 - 3.1 Propositional Proofs (2 min).mp4 1.32 MB
  3 - 1 - 3.1 Propositional Proofs (2 min).srt 2.36 KB
  3 - 1 - 3.1 Propositional Proofs (2 min).txt 1.54 KB
  3 - 2 - 3.2 Linear Proofs (8 min).mp4 6.26 MB
  3 - 2 - 3.2 Linear Proofs (8 min).srt 9.31 KB
  3 - 2 - 3.2 Linear Proofs (8 min).txt 6.4 KB
  3 - 3 - 3.3 Structured Proofs (5 min).mp4 3.86 MB
  3 - 3 - 3.3 Structured Proofs (5 min).srt 6.3 KB
  3 - 3 - 3.3 Structured Proofs (5 min).txt 4.33 KB
  3 - 4 - 3.4 Fitch (3 min).mp4 1.8 MB
  3 - 4 - 3.4 Fitch (3 min).srt 2.82 KB
  3 - 4 - 3.4 Fitch (3 min).txt 1.93 KB
  3 - 5 - 3.5 Soundness and Completeness (2 min).mp4 1.93 MB
  3 - 5 - 3.5 Soundness and Completeness (2 min).srt 3.04 KB
  3 - 5 - 3.5 Soundness and Completeness (2 min).txt 2.08 KB
  notes_chapter03.pdf 109.14 KB
  4 Week 3 Propositional Resolution (optional)
  4 - 1 - 4.1 Propositional Resolution (2 min).mp4 1.81 MB
  4 - 1 - 4.1 Propositional Resolution (2 min).srt 1.91 KB
  4 - 1 - 4.1 Propositional Resolution (2 min).txt 1.3 KB
  4 - 2 - 4.2 Clausal Form (5 min).mp4 3.41 MB
  4 - 2 - 4.2 Clausal Form (5 min).srt 5.26 KB
  4 - 2 - 4.2 Clausal Form (5 min).txt 3.61 KB
  4 - 3 - 4.3 Resolution Principle (5 min).mp4 3.52 MB
  4 - 3 - 4.3 Resolution Principle (5 min).srt 5.72 KB
  4 - 3 - 4.3 Resolution Principle (5 min).txt 3.92 KB
  4 - 4 - 4.4 Resolution Method (7 min).mp4 5.09 MB
  4 - 4 - 4.4 Resolution Method (7 min).srt 7.71 KB
  4 - 4 - 4.4 Resolution Method (7 min).txt 5.3 KB
  4 - 5 - 4.5 Box Logic (out of focus).mp4 8.59 MB
  4 - 5 - 4.5 Box Logic (out of focus).srt 5.02 KB
  4 - 5 - 4.5 Box Logic (out of focus).txt 3.44 KB
  notes_chapter04.pdf 82.19 KB
  5 Week 4 Relational Logic
  5 - 1 - 6.1 Relational Logic (2 min).mp4 1.75 MB
  5 - 1 - 6.1 Relational Logic (2 min).srt 2.52 KB
  5 - 1 - 6.1 Relational Logic (2 min).txt 1.73 KB
  5 - 10 - 6.10 Example - Metalevel Logic (6 min).mp4 4.57 MB
  5 - 10 - 6.10 Example - Metalevel Logic (6 min).srt 7.18 KB
  5 - 10 - 6.10 Example - Metalevel Logic (6 min).txt 4.91 KB
  5 - 11 - 6.11 Properties of Relational Logic (3 min).mp4 2.29 MB
  5 - 11 - 6.11 Properties of Relational Logic (3 min).srt 3.42 KB
  5 - 11 - 6.11 Properties of Relational Logic (3 min).txt 2.35 KB
  5 - 12 - 6.12 Logical Entailment (4 min).mp4 2.61 MB
  5 - 12 - 6.12 Logical Entailment (4 min).srt 4.06 KB
  5 - 12 - 6.12 Logical Entailment (4 min).txt 2.77 KB
  5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).mp4 5.97 MB
  5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).srt 3.41 KB
  5 - 13 - 6.13 (Optional) Finite Relational Logic (7 min).txt 2.34 KB
  5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).mp4 7.26 MB
  5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).srt 4.1 KB
  5 - 14 - 6.14 (Optional) Omega Relational Logic (9 min).txt 2.81 KB
  5 - 15 - 6.15 (Optional) General Relational Logic (4 min).mp4 2.77 MB
  5 - 15 - 6.15 (Optional) General Relational Logic (4 min).srt 8.66 KB
  5 - 15 - 6.15 (Optional) General Relational Logic (4 min).txt 5.96 KB
  5 - 2 - 6.2 Syntax (9 min).mp4 7.67 MB
  5 - 2 - 6.2 Syntax (9 min).srt 10.44 KB
  5 - 2 - 6.2 Syntax (9 min).txt 7.16 KB
  5 - 3 - 6.3 Semantics (8 min).mp4 6.05 MB
  5 - 3 - 6.3 Semantics (8 min).srt 8.37 KB
  5 - 3 - 6.3 Semantics (8 min).txt 5.75 KB
  5 - 4 - 6.4 Example - Sorority World (5 min).mp4 3.85 MB
  5 - 4 - 6.4 Example - Sorority World (5 min).srt 5.03 KB
  5 - 4 - 6.4 Example - Sorority World (5 min).txt 3.45 KB
  5 - 5 - 6.5 Example - Blocks World (4 min).mp4 3.41 MB
  5 - 5 - 6.5 Example - Blocks World (4 min).srt 4.99 KB
  5 - 5 - 6.5 Example - Blocks World (4 min).txt 3.45 KB
  5 - 6 - 6.6 Example - Modular Arithmetic (5 min).mp4 3.75 MB
  5 - 6 - 6.6 Example - Modular Arithmetic (5 min).srt 5.98 KB
  5 - 6 - 6.6 Example - Modular Arithmetic (5 min).txt 4.11 KB
  5 - 7 - 6.7 Example - Peano Arithmetic (6 min).mp4 4.56 MB
  5 - 7 - 6.7 Example - Peano Arithmetic (6 min).srt 7.62 KB
  5 - 7 - 6.7 Example - Peano Arithmetic (6 min).txt 5.24 KB
  5 - 8 - 6.8 Example Linked Lists (4 min).mp4 3.2 MB
  5 - 8 - 6.8 Example Linked Lists (4 min).srt 4.86 KB
  5 - 8 - 6.8 Example Linked Lists (4 min).txt 3.35 KB
  5 - 9 - 6.9 Example - Pseudo-English (5 min).mp4 3.84 MB
  5 - 9 - 6.9 Example - Pseudo-English (5 min).srt 5.41 KB
  5 - 9 - 6.9 Example - Pseudo-English (5 min).txt 3.72 KB
  notes_chapter06.pdf 210.1 KB
  6 Week 5 Relational Logic Proofs
  6 - 1 - 7.1 Relational Proofs (2 min).mp4 1.7 MB
  6 - 1 - 7.1 Relational Proofs (2 min).srt 2.84 KB
  6 - 1 - 7.1 Relational Proofs (2 min).txt 1.95 KB
  6 - 2 - 7.2 Proofs (11 min).mp4 8.35 MB
  6 - 2 - 7.2 Proofs (11 min).srt 13.72 KB
  6 - 2 - 7.2 Proofs (11 min).txt 9.38 KB
  6 - 3 - 7.3 Example (3 min).mp4 2.03 MB
  6 - 3 - 7.3 Example (3 min).srt 2.95 KB
  6 - 3 - 7.3 Example (3 min).txt 2.02 KB
  6 - 4 - 7.4 Example (4 min).mp4 3.06 MB
  6 - 4 - 7.4 Example (4 min).srt 4.44 KB
  6 - 4 - 7.4 Example (4 min).txt 3.04 KB
  6 - 5 - 7.5 Example - Quantifier and Implication (5 min).mp4 4.48 MB
  6 - 5 - 7.5 Example - Quantifier and Implication (5 min).srt 3.46 KB
  6 - 5 - 7.5 Example - Quantifier and Implication (5 min).txt 2.35 KB
  notes_chapter07.pdf 99.46 KB
  7 Week 6 Relational Resolution (optional)
  7 - 1 - 8.1 Relational Resolution (2 min).mp4 1.41 MB
  7 - 1 - 8.1 Relational Resolution (2 min).srt 2.21 KB
  7 - 1 - 8.1 Relational Resolution (2 min).txt 1.5 KB
  7 - 2 - 8.2 Clausal Form (9 min).mp4 7.02 MB
  7 - 2 - 8.2 Clausal Form (9 min).srt 11.15 KB
  7 - 2 - 8.2 Clausal Form (9 min).txt 7.62 KB
  7 - 3 - 8.3 Unification (14 min).mp4 10.99 MB
  7 - 3 - 8.3 Unification (14 min).srt 3.5 KB
  7 - 3 - 8.3 Unification (14 min).txt 2.39 KB
  7 - 4 - 8.4 Resolution (7 min).mp4 5.24 MB
  7 - 4 - 8.4 Resolution (7 min).srt 7.93 KB
  7 - 4 - 8.4 Resolution (7 min).txt 5.44 KB
  7 - 5 - 8.5 Resolution Reasoning (5 min).mp4 3.94 MB
  7 - 5 - 8.5 Resolution Reasoning (5 min).srt 5.95 KB
  7 - 5 - 8.5 Resolution Reasoning (5 min).txt 4.08 KB
  7 - 6 - 8.6 Unsatisfiability (2 min).mp4 1.23 MB
  7 - 6 - 8.6 Unsatisfiability (2 min).srt 1.79 KB
  7 - 6 - 8.6 Unsatisfiability (2 min).txt 1.22 KB
  7 - 7 - 8.7 Logical Entailment (6 min).mp4 5.07 MB
  7 - 7 - 8.7 Logical Entailment (6 min).srt 6.59 KB
  7 - 7 - 8.7 Logical Entailment (6 min).txt 4.54 KB
  7 - 8 - 8.8 Answer Extraction (6 min).mp4 5.2 MB
  7 - 8 - 8.8 Answer Extraction (6 min).srt 7.51 KB
  7 - 8 - 8.8 Answer Extraction (6 min).txt 5.17 KB
  notes_chapter08.pdf 162.96 KB
  8 Week 6 Equality
  8 - 1 - 9.1 Equality (3 min).mp4 1.92 MB
  8 - 1 - 9.1 Equality (3 min).srt 3.03 KB
  8 - 1 - 9.1 Equality (3 min).txt 2.06 KB
  8 - 2 - 9.2 Properties of Equality (3 min).mp4 2.39 MB
  8 - 2 - 9.2 Properties of Equality (3 min).srt 3.16 KB
  8 - 2 - 9.2 Properties of Equality (3 min).txt 2.16 KB
  8 - 3 - 9.3 Substitution (3 min).mp4 2.56 MB
  8 - 3 - 9.3 Substitution (3 min).srt 3.33 KB
  8 - 3 - 9.3 Substitution (3 min).txt 2.29 KB
  8 - 4 - 9.4 Fitch with Equality (3 min).mp4 2.37 MB
  8 - 4 - 9.4 Fitch with Equality (3 min).srt 3.78 KB
  8 - 4 - 9.4 Fitch with Equality (3 min).txt 2.59 KB
  8 - 5 - 9.5 More examples (2 min).mp4 1.73 MB
  notes_chapter09.pdf 82.16 KB
  9 Week 7 Induction
  9 - 1 - 10.1 Induction (3 min).mp4 2.3 MB
  9 - 1 - 10.1 Induction (3 min).srt 3.65 KB
  9 - 1 - 10.1 Induction (3 min).txt 2.51 KB
  9 - 2 - 10.2 Domain Closure (2 min).mp4 1.38 MB
  9 - 2 - 10.2 Domain Closure (2 min).srt 2.48 KB
  9 - 2 - 10.2 Domain Closure (2 min).txt 1.69 KB
  9 - 3 - 10.3 Linear Induction (7 min).mp4 5.01 MB
  9 - 3 - 10.3 Linear Induction (7 min).srt 8.05 KB
  9 - 3 - 10.3 Linear Induction (7 min).txt 5.53 KB
  9 - 4 - 10.4 Tree Induction (4 min).mp4 3.27 MB
  9 - 4 - 10.4 Tree Induction (4 min).srt 4.95 KB
  9 - 4 - 10.4 Tree Induction (4 min).txt 3.41 KB
  9 - 5 - 10.5 Structural Induction (6 min).mp4 5 MB
  9 - 5 - 10.5 Structural Induction (6 min).srt 7.79 KB
  9 - 5 - 10.5 Structural Induction (6 min).txt 5.34 KB
  notes_chapter10.pdf 126.18 KB

Description


Обучающие видео » Компьютерные видеоуроки и обучающие интерактивные DVD » Разное (Компьютерные видеоуроки)

Introduction to Logic - Логика

Год выпуска: 2012
Производитель: Stanford University
Сайт производителя: https://class.coursera.org/intrologic/lecture/index
Автор: Mike Genesereth
Продолжительность: 5:00:40
Тип раздаваемого материала: Видеоурок
Язык: Английский
Описание: Logic is one of the oldest intellectual disciplines in human history. It dates back to the times of Aristotle; it has been studied through the centuries; and it is still a subject of active investigation today.

This course is a basic introduction to Logic. It shows how to formalize information in form of logical sentences. It shows how to reason systematically with this information to produce all logical conclusions and only logical conclusions. And it examines logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

The course differs from other introductory courses in Logic in two important ways. First of all, it teaches a novel theory of logic that improves accessibility while preserving rigor. Second, the material is laced with interactive demonstrations and exercises that suggest the many practical applications of the field.
[spoiler="Содержание"]
Chapter 1 - Introduction

Chapter 2 - Propositional Logic

Chapter 3 - Propositional Proofs

Chapter 4 - Propositional Resolution

Chapter 5 - Propositional Satisfiability

Chapter 6 - Relational Logic

Chapter 7 - Relational Proofs

Chapter 8 - Relational Resolution

Chapter 9 - Equality

Chapter 10 - Mathematical Induction
[/spoiler]
Файлы примеров: не предусмотрены
Формат видео: MP4
Видео: Video: MPEG4 Video (H264) 960x540 29.97fps [Video]
Аудио: Audio: AAC 44100Hz mono 705kbps [Audio]
[spoiler="Скриншоты"]

[/spoiler]
Доп. информация: About the Instructor

Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. He is best known for his research on Computational Logic and its many applications. He has been teaching Logic to Stanford students and others for more than 20 years. He is the current director of the Logic Group at Stanford and founder and research director of CodeX (The Stanford Center for Legal Informatics).

Зиновьев А.А. - Комплексная логика

Related Torrents

torrent name size uploader age seed leech
Peterson Academy - Introduction to Music Theory - Samuel Andreyev EDU4U Posted by EducationForAll in Other
6.9 GB EducationForAll 1 week 9 8
Peterson Academy - Introduction to Intelligence - Dr John Vervaeke EDU4U Posted by EducationForAll in Other
11.25 GB EducationForAll 1 week 13 40
Peterson Academy - Introduction to Abnormal Psychology - Dr Robert O Pihl EDU4U Posted by EducationForAll in Other
8.04 GB EducationForAll 1 week 0 0
Udemy - Hands-On Introduction to Model Context Protocol (MCP) Posted by freecoursewb in Other
3 GB freecoursewb 2 weeks 23 3
Udemy - Hands-On Introduction to Generative AI with AWS Bedrock Posted by freecoursewb in Other
3.1 GB freecoursewb 4 weeks 25 24