La technologie Oled offre des contrastes infinis, une excellente réactivité ainsi que de très bons angles de vision. Les téléviseurs Oled sont souvent haut de gamme, mais on trouve également de bons ...

En programmation impérative, on travaille sur le modèle des machines à états (cf Automate fini, machine de Turing et Architecture de von Neumann), avec une mémoire centrale et des instructions qui ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...