- De www.coursera.org
Introduction to Logic
- Individualizado
- Acesso livre
- Certificado pago
- 10 sequências
- Intermediate Level
- Legendas em Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish
Detalhes do curso
Programa de Estudos
- 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
Pré-requisito
Nenhum.
Instrutores
Michael Genesereth
Associate Professor
Computer Science Department
Editor
A Leland Stanford Junior University, mais conhecida como Stanford University, é uma universidade privada americana situada em Silicon Valley, a sul de São Francisco.
O seu lema é "Die Luft der Freiheit weht", que significa "O vento da liberdade sopra".
Classificada entre as melhores universidades do mundo na maioria dos rankings internacionais, goza de grande prestígio.
Plataforma
A Coursera é uma empresa digital que oferece um curso on-line massivo e aberto, fundado pelos professores de computação Andrew Ng e Daphne Koller Stanford University, localizado em Mountain View, Califórnia.
O Coursera trabalha com as melhores universidades e organizações para disponibilizar alguns dos seus cursos on-line e oferece cursos em várias disciplinas, incluindo: física, engenharia, humanidades, medicina, biologia, ciências sociais, matemática, negócios, ciência da computação, marketing digital, ciência de dados. e outros assuntos.Cours
Conclua este recurso para fazer uma avaliação