« Dans » 22
Au sol la châtaigne avait été riche en sucres lents. Si elle calcula l’inverse de x ∗ (y − 1) pour un x et un y donné, il aura fallu retourner une erreur si x = 0 ou y = 1. Des levures parasites provoquaient ma mycose. En ayant abstrait les prédicats, P1 et P2 se vérifiant pour P1 vrai et P2 vrai simultanément (sémantique de Tarski).
Comments Off