Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
MicrocontrôleurUn microcontrôleur (en notation abrégée μc, ou uc ou encore MCU en anglais) est un circuit intégré qui rassemble les éléments essentiels d'un ordinateur : processeur, mémoires (mémoire morte et mémoire vive), unités périphériques et interfaces d'entrées-sorties. Les microcontrôleurs se caractérisent par un plus haut degré d'intégration, une plus faible consommation électrique, une vitesse de fonctionnement plus faible (de quelques mégahertz jusqu'à plus d'un gigahertz) et un coût réduit par rapport aux microprocesseurs polyvalents utilisés dans les ordinateurs personnels.
Philosophie de la logiqueLa philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
Rich Internet applicationUne rich Internet application (RIA), ou application Internet riche, est une application Web qui offre des caractéristiques similaires aux logiciels traditionnels installés sur un ordinateur. La dimension interactive et la vitesse d'exécution sont particulièrement soignées dans ces applications Web. Une RIA peut être : exécutée sur un navigateur Web. Aucune installation n'est requise ; exécutée localement dans un environnement sécurisé appelé sandbox (bac à sable).
Application webEn informatique, une application web (aussi appelée web application, de l'anglais et français) est une application manipulable directement en ligne grâce à un navigateur web et qui ne nécessite donc pas d'installation sur les machines clientes, contrairement aux applications mobiles. De la même manière que les sites web, une application web est généralement installée sur un serveur et se manipule en actionnant des widgets à l'aide d'un navigateur web, via un réseau informatique (Internet, intranet, réseau local, etc.
Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Microcontrôleur PICLes microcontrôleurs PIC (ou PICmicro dans la terminologie du fabricant) forment une famille de microcontrôleurs de la société Microchip. Ces microcontrôleurs sont dérivés du PIC1650 développé à l'origine par la division microélectronique de General Instrument. Le nom PIC n'est pas officiellement un acronyme, bien que la traduction en « Peripheral Interface Controller » (« contrôleur d'interface périphérique ») soit généralement admise.
Renesas Electronicsest un important fabricant de semi-conducteurs japonais, coté à la bourse de Tokyo (). Ses opérations portent sur le développement, la conception, la fabrication, les ventes et le service après-vente de composants électroniques. Renesas Technology naît en en tant que coentreprise de Hitachi (55 %) et Mitsubishi Electric (45 %) spécialisée dans les semi-conducteurs. Renesas Technology fusionne avec NEC Electronics (filiale de NEC spécialisée dans les semi-conducteurs créée en ) en et devient Renesas Electronics, coentreprise de NEC (33,97 %), Hitachi (30,62 %), Mitsubishi Electric (25,05 %) et (1,49 %).
