Coursera - Introduction to Logic (Stanford University)
WEBRip | English | MP4 | 960 x 540 | AVC ~367 kbps | 29.970 fps
AAC | 128 Kbps | 44.1 KHz | 2 channels | Subs: English (.srt) | ~5 hours | 265 MB
Genre: eLearning Video / Science, Logic

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.
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
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).

DOWNLOAD
uploadgig