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

SuperMacro est un logiciel permettant d'automatiser diverses actions sur son ordinateur, afin de ne pas avoir à effectuer diverses tâches parfois répétitives. Il s'agit d'un logiciel gratuit et ...

Everything Search Engine est un logiciel de recherche de fichiers développé par Voidtools pour Windows. Il remplace le moteur Windows Search avec une approche beaucoup plus rapide. Le logiciel indexe ...

L'outil de suppression de logiciels malveillants (MSRT) Windows permet de préserver les ordinateurs Windows de la plupart des programmes malveillants les plus répandus. MSRT détecte et supprime les ...

Pour savoir quand ouvrir et refermer vos fenêtres afin de rafraîchir au mieux votre logement lors de la canicule, vous pouvez compter sur NADIR, une appli qui calcule le meilleur créneau d'aération ...