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

mathématiques, informatique, logique ◊ é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