Introduction to Logic - Logic [2012, ENG] torrent

Обучающие видео » Компьютерные видеоуроки и обучающие интерактивные 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).

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