e/Structure (logic)

New Query

Information
has glosseng: In universal algebra and in model theory, a structure consists of a set along with a collection of finitary functions and relations which are defined on it.
lexicalizationeng: Structure
instance ofe/Mathematical structure
Meaning
German
lexicalizationdeu: S-Struktur
Persian
has glossfas: ساختار در ریاضیات به معنای مجموعه‌ای‌ است که به آن اجزای ریاضی دیگری نیز افزوده شده تا برخی خواص مجموعه بهتر درک یا مجسم شود. مثلاً با افزودن دو مفهوم جمع و ضرب به مجموعه اعداد حقیقی این مجموعه دارای ساختاری جبری به‌نام میدان می‌شود.
lexicalizationfas: ساختار
French
has glossfra: 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}.
lexicalizationfra: structure
Portuguese
has glosspor: 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.
lexicalizationpor: Estrutura de interpretação
Chinese
has glosszho: 在数学学科模型论中,语言 \mathcalL} 的结构 \mathfrakA}(也叫做 \mathcalL}-结构,并通常写为哥特体大写)是一个有序对,它的第一个成员是论域或全集 \mathitA} \ (对应于可能带有定义在其上的关系和函数的集合,并通常写为相应于结构名字的罗马体大写),它的第二个成员是一个释义 \mathcalI},就是 \mathcalL} 的一个偏函数,它完全定义在 \mathcalL} 的非逻辑符号之上,使得 \mathcalL} 的常量符号对应于 \mathitA} \ 上的元素,如果有的话;\mathcalL} 的函数符号对应于 \mathitA} \ 上的函数,如果有的话;而 \mathcalL} 的关系符号对应于 \mathitA} \ 上的关系;如果有的话。
lexicalizationzho: 结构

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2022 Gerard de Melo.   Contact   Legal Information / Imprint