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 ...

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 ...

Cafetière automatique ou cafetière à capsules, laquelle choisir ? Alors que les machines à capsules ont rapidement conquis les foyers, les cafetières à expressos avec broyeur à grains font leur grand ...

Plus qu’un simple bilan de la journée, le Téléjournal de 22 h a l’ambition d’être « le bulletin qui va plus loin »; par la présence au quotidien de son réseau de correspondants à l’étranger; par son ...

Nietzsche physiologise l’esprit, incarne la pensée et spiritualise le corps. « Le Gai Savoir » s’ouvre d'ailleurs par une tonitruante mise au point : « Nous ne sommes pas des grenouilles pensantes, ...

Si nos smartphones sont devenus de véritables ordinateurs de poche, la course à la puissance a démultiplié la problématique de l’autonomie. Heureusement, certains modèles permettent d’envisager plus ...

Ceux qui ne veulent pas s'embêter avec un système son dédié - barre de son ou enceintes - peuvent s'orienter vers des téléviseurs qui embarque une partie audio de qualité, voire une petite barre de ...