Stanford University
Coursera
list 10 séquences
assignment Niveau : Intermédiaire
chat_bubble_outline Langue : Anglais
language Sous titrage : Chinois, Grec, Portugais, Allemand, Turc, Espagnol, Polonais
card_giftcard 400 points
Avis de la communauté
5
starstarstarstarstar
Voir l'avis

Les infos clés

credit_card Formation gratuite
verified_user Certification payante
timer 40 heures de cours

En résumé

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 Lire plus
more_horiz Lire moins
dns

Le programme

  • 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

Les intervenants

Michael Genesereth
Associate Professor
Computer Science Department

store

Le concepteur

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

La plateforme

Coursera est une entreprise numérique proposant des formations en ligne ouverte à tous fondée par les professeurs d'informatique Andrew Ng et Daphne Koller de l'université Stanford, située à Mountain View, Californie.

Ce qui la différencie le plus des autres plateformes MOOC, c'est qu'elle travaille qu'avec les meilleures universités et organisations mondiales et diffuse leurs contenus sur le web.

Avis de la communauté
5 /5 Moyenne
starstarstarstarstar
1
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
Contenu
5/5
Plateforme
5/5
Animation
5/5
Le meilleur avis

Great course!

le 8 mars 2016
Vous êtes le concepteur de ce MOOC ?
Quelle note donnez-vous à cette ressource ?
Contenu
0/5
Plateforme
0/5
Animation
0/5