École Polytechnique Devoir du cours de logique Jean-Pierre ...

École Polytechnique Devoir du cours de logique Jean-Pierre ...

1

page

Catalan

Documents

Lire

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

1

page

Catalan

Documents

Lire

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

Nombre de lectures

65

Langue

Catalan

École ...

Publié par

Langue

Catalan

Devoirs de Bretagne Élèves non scolarisés antérieurement Écriture Prologue du Tour de France 2006 Démonstration automatique de théorèmes Problèmes communautaires en Belgique

École Polytechnique

Devoir du cours de logique

Jean-Pierre Jouannaud

Écrire en PROLOG un démonstrateur basé sur la résolution close (Un élève) ou sur

la résolution générale (deux élèves).

Dans les deux cas, un benchmark de problèmes sera fourni en temps utile sur le

site.

1