Preder - Geriadur ar stlenneg

―mathématique liée à un certain nombre de variables perzh jedoniel a-zalc'h ouzh un niver argemmennoù [prédicat]
la ―P est établie pour E1 savelet eo ar perzh P evit E1 [récurrence : raisonnement &]
étudier les ―s mathématiques liées aux variables imbourc'hiñ ar perzhioù jedoniel a-zalc'h ouzh an argemmennoù [preuve de programme]
protéger les logiciels du point de vue de la ― diwall ar meziantoù a-fet perc'hentiezh [protection légale du l.]
structure mathématique finie, dotée de ―s particulières luniad jedoniel bevennek gantañ perzhioù dibarek [Galois : corps &]
suites d'éléments possédant la ―recherchée heuliadoù elfennoù dezho ar perzh arglasket [tri fusion]