Stanford University
Coursera
list 10 sequencias
assignment Nível: Intermediário
chat_bubble_outline Idioma: Inglês
language Subtítulos : Chinês, Grego, Português, Alemão, Turco, Espanhol, Polonês
card_giftcard 400 pontos
Avaliações
5
starstarstarstarstar
Ver avaliação

Informações principais

credit_card Free accesso
verified_user Certificado pago
timer 40 total de horas

Sobre o conteúdo

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.

more_horiz Ler mais
more_horiz Ler menos
dns

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
     
record_voice_over

Instrutores

Michael Genesereth
Associate Professor
Computer Science Department

store

Criador do conteúdo

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.
assistant

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

Avaliações
5 /5 Média
starstarstarstarstar
1
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
Conteúdo
5/5
Plataforma
5/5
Didática
5/5
Melhor avaliação

Great course!

Publicada em 8 de março de 2016
Você é o criador deste MOOC?
Qual a sua apinião sobre esse recurso?
Conteúdo
0/5
Platforma
0/5
Didática
0/5