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

Sujets

• 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

Informations

• Publié par: Vewyer
• Nombre de lectures: 91
• Langue: Catalan

Extrait

É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