IAGL

Programmation logique

2011

 

Documents :

Dmonstration automatique

Assistants de preuve

 

 

 

TP1

TP1cor

 

Dconcertantes conjectures

LՎtonnante loi de Benford

 

TP2

Cartes

 

TP3

Musique

Cavaliers

 

 

Contrle dcembre 2011

 

 

aSurpriseCoop

bCoopAgit

cVivreSerein

dPierreFeuille

 

 

 

 

 

Consignes :

 

-   un seul fichier par TP

-   le nom doit tre :  dupontTP1.pl  

- il faut mettre des commentaires et indiquer des buts excuter (pour faciliter la comprhension et la correction)