Et ça se passe comment si tu veux faire concrètement des calculs sur les variables entières ?
Genre la division entière, tu comptes t’y prendre comment ? Les opérandes sont des entiers et ça retourne un entier ou des nombres quelconques et tu dois garantir d’une manière ou d’une autre que le prédicat « frac(n) = 0 » est vrai ?
Sinon partie terminologique, tu parle de « part of the class », traditionnellement une partie c’est pas du tout un élément d’un ensemble mais un sous-ensemble, si tu veux être sur la théorie des ensembles. ça porte à confusion.
[^] # Re: théorie des ensembles pas naives
Posté par thoasm . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
Et ça se passe comment si tu veux faire concrètement des calculs sur les variables entières ?
Genre la division entière, tu comptes t’y prendre comment ? Les opérandes sont des entiers et ça retourne un entier ou des nombres quelconques et tu dois garantir d’une manière ou d’une autre que le prédicat « frac(n) = 0 » est vrai ?
Sinon partie terminologique, tu parle de « part of the class », traditionnellement une partie c’est pas du tout un élément d’un ensemble mais un sous-ensemble, si tu veux être sur la théorie des ensembles. ça porte à confusion.