Informações sobre o curso
4.5
452 classificações
97 avaliações
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....
Globe

cursos 100% online

Comece imediatamente e aprenda em seu próprio cronograma.
Calendar

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.
Intermediate Level

Nível intermediário

Clock

Approx. 18 hours to complete

Sugerido: 10 weeks of study, 4-8 hours/week...
Comment Dots

English

Legendas: English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish...

Habilidades que você terá

Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Globe

cursos 100% online

Comece imediatamente e aprenda em seu próprio cronograma.
Calendar

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.
Intermediate Level

Nível intermediário

Clock

Approx. 18 hours to complete

Sugerido: 10 weeks of study, 4-8 hours/week...
Comment Dots

English

Legendas: English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish...

Programa - O que você aprenderá com este curso

Week
1
Clock
2 horas para concluir

Lesson 1 - Introduction

...
Reading
13 testes
Week
2
Clock
4 horas para concluir

Lesson 2 - Propositional Logic

...
Reading
1 vídeo (Total de 3 min), 14 testes
Video1 vídeos
Clock
5 horas para concluir

Lesson 3 - Propositional Analysis

...
Reading
14 testes
Week
3
Clock
7 horas para concluir

Lesson 4 - Propositional Proofs

...
Reading
20 testes
Week
4
Clock
2 horas para concluir

Lesson 5 - Propositional Resolution

...
Reading
1 vídeo (Total de 4 min), 8 testes
Video1 vídeos
4.5

Melhores avaliações

por MOSep 10th 2017

I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.

por JSAug 21st 2018

This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!

Instrutores

Michael Genesereth

Associate Professor
Computer Science Department

Sobre Stanford University

The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States....

Perguntas Frequentes – FAQ

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.