| dbo:abstract
|
- In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation. (en)
- En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de Mm (m entier naturel) pour lequel on peut trouver une formule du langage de la structure, avec éventuellement pour paramètres des éléments de M, de façon que les éléments sont exactement ceux qui satisfont cette formule. (fr)
- 모형 이론에서 정의 가능 집합(定義可能集合, 영어: definable set)은 어떤 주어진 언어의 모형 속의, 어떤 술어를 만족시키는 원소들로 구성된 부분 집합이다. (ko)
- Na lógica matemática, um conjunto definível é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt)
- Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7332 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation. (en)
- En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de Mm (m entier naturel) pour lequel on peut trouver une formule du langage de la structure, avec éventuellement pour paramètres des éléments de M, de façon que les éléments sont exactement ceux qui satisfont cette formule. (fr)
- 모형 이론에서 정의 가능 집합(定義可能集合, 영어: definable set)은 어떤 주어진 언어의 모형 속의, 어떤 술어를 만족시키는 원소들로 구성된 부분 집합이다. (ko)
- Na lógica matemática, um conjunto definível é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt)
- Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt)
|
| rdfs:label
|
- Definable set (en)
- Ensemble définissable (fr)
- 정의 가능 집합 (ko)
- Conjuntos definidos (pt)
- Conjunto definível (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |