Важная информация
Резюме
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Программа
- Week 1 - Lesson 1 - Introduction
- Week 2 - Lesson 2 - Propositional Logic
- Week 2 - Lesson 3 - Propositional Analysis
- Week 3 - Lesson 4 - Propositional Proofs
- Week 4 - Lesson 5 - Propositional Resolution
- Week 5 - Lesson 6 - Relational Logic
- Week 5 - Lesson 7 - Relational Analysis
- Week 6 - Lesson 8 - Relational Proofs
The description goes here - Week 7 - Lesson 9 - Herbrand Logic
- Week 8 - Lesson 10 - Herbrand Proofs
- Week 8 - Lesson 11 - Induction
The description goes here - Week 9 - Lesson 12 - Resolution
The description goes here - Week 10 - Supplementary Material
Пользователи
Michael Genesereth
Associate Professor
Computer Science Department
Разработчик

La Leland Stanford Junior University, plus connue sous le nom d'université Stanford, est une université américaine privée, située dans la Silicon Valley au sud de San Francisco.
Sa devise est « Die Luft der Freiheit weht » qui signifie « Le vent de la liberté souffle ».
Arrivant parmi les premières universités au monde dans la plupart des classements internationaux, elle jouit d'un grand prestige.
Платформа

Coursera - это цифровая компания, предлагающая массовые открытые онлайн-курсы, основанные учителями компьютеров Эндрю Нгом и Стэнфордским университетом Дафни Коллер, расположенные в Маунтин-Вью, штат Калифорния.
Coursera работает с ведущими университетами и организациями, чтобы сделать некоторые из своих курсов доступными в Интернете, и предлагает курсы по многим предметам, включая: физику, инженерию, гуманитарные науки, медицину, биологию, социальные науки, математику, бизнес, информатику, цифровой маркетинг, науку о данных и другие предметы.