- Sur www.coursera.org
Introduction to Logic
- À son rythme
- Accès libre
- Certificat payant
- 10 séquences
- Niveau Intermédiaire
- Sous-titres en Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish
Détails du cours
Déroulé
- 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
Prérequis
Aucun.
Intervenants
Michael Genesereth
Associate Professor
Computer Science Department
Éditeur
La Leland Stanford Junior University, plus connue sous le nom d'université Stanford, est une université américaine privée, située dans la Silicon Valley au sud de San Francisco.
Sa devise est « Die Luft der Freiheit weht » qui signifie « Le vent de la liberté souffle ».
Arrivant parmi les premières universités au monde dans la plupart des classements internationaux, elle jouit d'un grand prestige.
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.
Complétez cette ressource pour donner votre avis