Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
IRobotiRobot est une entreprise américaine cotée au NASDAQ spécialisée dans la conception et la vente de robots. Créée par Colin Angle, Helen Greiner et Rodney Brooks en 1990, l'entreprise a été introduite en Bourse au NASDAQ en novembre 2005 sous le nom « IRBT ». En , iRobot annonce l'acquisition de Robopolis, entreprise lyonnaise qui assurait une grande partie de la distribution de ses produits en Europe, pour 143 millions de dollars. Le chiffre d'affaires 2018 dépasse le milliard de dollars, en augmentation de 23 % par rapport à l'année précédente.
