En programmation, le pseudo-code est une façon de décrire un algorithme sans référence à un langage de programmation en particulier. L'écriture en pseudo-code permet souvent de bien prendre toute la ...

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