Telecharger Cours

Langages objets résumé des épisodes précédents exemple ...

Pour montrer une assertion du type « ÷x ? E,P(x) », il y a plusieurs méthodes. Directement. I) Deviner un élément x0 ? E qui va convenir,. II) puis montrer que, ...



Download