Introduction to Logic

-/5

0 avis

Contenu : -/5

Plateforme : -/5

Animation : -/5

3 avril 2017

En attente de session

12 juin 2017

Mathématiques et Statistiques
Certification
10 weeks of study, 4-8 hours/week
10 semaines
Gratuit

Programme

Formateurs

Plateforme

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

Michael Genesereth, Associate Professor
Computer Science Department

Coursera est une entreprise numérique proposant des formation 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.