Informações sobre o curso
43,527 visualizações recentes

100% online

Comece imediatamente e aprenda em seu próprio cronograma.

Prazos flexíveis

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

Nível intermediário

Aprox. 20 horas para completar

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

Inglês

Legendas: Chinês (simplificado), Grego, Portuguese (Brazilian), Alemão, Turco, Inglês, Espanhol, Polonês...

Habilidades que você terá

Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic

100% online

Comece imediatamente e aprenda em seu próprio cronograma.

Prazos flexíveis

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

Nível intermediário

Aprox. 20 horas para completar

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

Inglês

Legendas: Chinês (simplificado), Grego, Portuguese (Brazilian), Alemão, Turco, Inglês, Espanhol, Polonês...

Programa - O que você aprenderá com este curso

Semana
1
2 horas para concluir

Lesson 1 - Introduction

...
13 testes
Semana
2
4 horas para concluir

Lesson 2 - Propositional Logic

...
1 vídeo ((Total 3 mín.)), 14 testes
1 vídeos
5 horas para concluir

Lesson 3 - Propositional Analysis

...
14 testes
Semana
3
7 horas para concluir

Lesson 4 - Propositional Proofs

...
20 testes
Semana
4
2 horas para concluir

Lesson 5 - Propositional Resolution

...
1 vídeo ((Total 4 mín.)), 8 testes
1 vídeos
Semana
5
5 horas para concluir

Lesson 6 - Relational Logic

...
19 testes
4 horas para concluir

Lesson 7 - Relational Analysis

...
13 testes
Semana
6
4 horas para concluir

Lesson 8 - Relational Proofs

The description goes here

...
15 testes
Semana
7
4 horas para concluir

Lesson 9 - Herbrand Logic

...
13 testes
Semana
8
1 hora para concluir

Lesson 10 - Herbrand Proofs

...
3 testes
5 horas para concluir

Lesson 11 - Induction

The description goes here

...
13 testes
Semana
9
6 horas para concluir

Lesson 12 - Resolution

The description goes here

...
19 testes
Semana
10
4 horas para concluir

Supplementary Material

...
4 testes
4.5
109 avaliaçõesChevron Right

67%

comecei uma nova carreira após concluir estes cursos

50%

consegui um benefício significativo de carreira com este curso

Principais avaliações do Introdução à Logica

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 Universidade de Stanford

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.