Telecharger Cours

Licence 3 enseignements

Dans ce cours, nous aborderons les deux méthodes formelles suivantes : 1. Les méthodes déductives, qui consistent à donner une représentation purement logique.



Download