Aistriú ar "Skolem function" go Gaeilge

Is é feidhm Scoiléim aistriúchán ar "Skolem function" go Gaeilge.

Skolem function noun gramadach

A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

+ Cuir leis

Béarla - Gaeilge foclóir

  • feidhm Scoiléim

  • Taispeáin aistriúcháin a ghintear go halgartaim

Aistriú uathoibríoch ar " Skolem function " go Gaeilge

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Cuir leis

Aistriúcháin ar "Skolem function" go Gaeilge i gcomhthéacs, cuimhne aistriúcháin