German |
lexicalization | deu: S-Struktur |
Persian |
has gloss | fas: ساختار در ریاضیات به معنای مجموعهای است که به آن اجزای ریاضی دیگری نیز افزوده شده تا برخی خواص مجموعه بهتر درک یا مجسم شود. مثلاً با افزودن دو مفهوم جمع و ضرب به مجموعه اعداد حقیقی این مجموعه دارای ساختاری جبری بهنام میدان میشود. |
lexicalization | fas: ساختار |
French |
has gloss | fra: Dans la discipline mathématique de théorie des modèles, une structure \mathfrakA} pour un langage formel \mathcalL} (référée comme \mathcalL}-structure, et communément écrite avec une capitale gothique) est une paire ordonnée dont le premier membre est le domaine du discours ou lensemble univers \mathitA} (pris comme un ensemble avec potentiellement des relations et des fonctions défini sur lui, et communément écrit comme une capitale romaine correspondant au nom de la structure) et dont le second membre est une interpretation \mathcalI}, c.à.d .une fonction partielle de \mathcalL} qui est défini précisément sur les symboles non logiques de \mathcalL} de sorte que les symboles constants de \mathcalL}, sil y a lieu, sont envoyés vers les éléments de \mathitA}, les symboles de fonction de \mathcalL}, sil y a lieu, sont envoyés sur les fonctions de \mathitA}, et les symboles de relation \mathcalL}, sil y a lieu, sont envoyés sur \mathitA}. |
lexicalization | fra: structure |
Portuguese |
has gloss | por: Na lógica, uma estrutura (ou estrutura de intepretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem. Uma estrutura possui diferentes configurações, seja em lógicas de primeira ordem, seja em linguagens lógicas poli-sortidas ou de ordem superior. |
lexicalization | por: Estrutura de interpretação |
Chinese |
has gloss | zho: 在数学学科模型论中,语言 \mathcalL} 的结构 \mathfrakA}(也叫做 \mathcalL}-结构,并通常写为哥特体大写)是一个有序对,它的第一个成员是论域或全集 \mathitA} \ (对应于可能带有定义在其上的关系和函数的集合,并通常写为相应于结构名字的罗马体大写),它的第二个成员是一个释义 \mathcalI},就是 \mathcalL} 的一个偏函数,它完全定义在 \mathcalL} 的非逻辑符号之上,使得 \mathcalL} 的常量符号对应于 \mathitA} \ 上的元素,如果有的话;\mathcalL} 的函数符号对应于 \mathitA} \ 上的函数,如果有的话;而 \mathcalL} 的关系符号对应于 \mathitA} \ 上的关系;如果有的话。 |
lexicalization | zho: 结构 |