- From www.coursera.org
Introduction to Logic
- Self-paced
- Free Access
- Fee-based Certificate
- 10 Sequences
- Intermediate Level
- Субтитры доступны на Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish
Course details
Syllabus
- 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
Prerequisite
Instructors
Michael Genesereth
Associate Professor
Computer Science Department
Editor
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.
Platform
Coursera - это цифровая компания, предлагающая массовые открытые онлайн-курсы, основанные учителями компьютеров Эндрю Нгом и Стэнфордским университетом Дафни Коллер, расположенные в Маунтин-Вью, штат Калифорния.
Coursera работает с ведущими университетами и организациями, чтобы сделать некоторые из своих курсов доступными в Интернете, и предлагает курсы по многим предметам, включая: физику, инженерию, гуманитарные науки, медицину, биологию, социальные науки, математику, бизнес, информатику, цифровой маркетинг, науку о данных и другие предметы.