Введите слово для поиска

definability

definabilityсуществительное

Переводы

définissabilitéEn logique et en mathématiques ; terme technique courant.

The paper analyzes the definability of certain functions in first-order arithmetic.

L'article analyse la définissabilité de certaines fonctions en arithmétique du premier ordre.

Дополнительные переводы

définissabilitéAu sens général : qualité ou état de ce qui peut être défini clairement.

Определения

The quality or state of being able to be defined or described clearly.

The definability of the concept made it easier for the students to understand.

In mathematical logic, the property of a set, relation, or function of being expressible in a given formal language or theory.

The paper analyzes the definability of certain functions in first-order arithmetic.

Синонимы