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.
oferecido por
Universidade de Stanford
Informações sobre o curso
43,527 visualizações recentes
Habilidades que você terá
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Programa - O que você aprenderá com este curso
Semana
12 horas para concluir
Lesson 1 - Introduction
13 testes
Semana
24 horas para concluir
Lesson 2 - Propositional Logic
1 vídeo ((Total 3 mín.)), 14 testes
1 vídeos
The Big Game3min
5 horas para concluir
Lesson 3 - Propositional Analysis
14 testes
Semana
37 horas para concluir
Lesson 4 - Propositional Proofs
20 testes
Semana
42 horas para concluir
Lesson 5 - Propositional Resolution
1 vídeo ((Total 4 mín.)), 8 testes
1 vídeos
Semana
55 horas para concluir
Lesson 6 - Relational Logic
19 testes
4 horas para concluir
Lesson 7 - Relational Analysis
13 testes
Semana
64 horas para concluir
Lesson 8 - Relational Proofs
The description goes here
15 testes
Semana
74 horas para concluir
Lesson 9 - Herbrand Logic
13 testes
Semana
81 hora para concluir
Lesson 10 - Herbrand Proofs
3 testes
5 horas para concluir
Lesson 11 - Induction
The description goes here
13 testes
Semana
96 horas para concluir
Lesson 12 - Resolution
The description goes here
19 testes
Semana
104 horas para concluir
Supplementary Material
4 testes
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
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.
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 ProfessorComputer 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
Quando terei acesso às palestras e às tarefas?
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.
O que recebo ao adquirir o Certificado?
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.
Qual é a política de reembolso?
Existe algum auxílio financeiro disponível?
Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.
O Coursera proporciona acesso universal à melhor educação do mundo fazendo parcerias com as melhores universidades e organizações para oferecer cursos on-line.
© 2019 Coursera Inc. Todos os direitos reservados.
