Définition de partie entière par excès
- (nom)Nombre entier qui est immédiatement supérieur ou égal au nombre réel en question. Le symbole est ⌈ ⌉. La partie entière par excès de 2 est 2 ; celle de 3,14 est 4 ; celle de −2,7 est −2, non pas −3.
Définition de partie entière par excès