Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, logique, informatique ◊ étude du raisonnement utilisant un langage artificiel pour exprimer des propositions et des relations, et non sur des langages naturels, dont on évite ainsi les inadéquations et les ambiguïtés