| rdfs:comment
| - Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky. Je to seskupení objektů, na němž jsou definovány nějaké vztahy (relace) a přiřazení (funkce) tak, že vytváří „realizaci“ nějaké formální teorie. (cs)
- Der Begriff der Struktur (englisch (first order) structures) ist ein Grundbegriff der mathematischen Teilgebiete der Modelltheorie und der universellen Algebra. Eine Struktur ist dabei eine Menge, genannt Universum der Struktur, versehen mit Operationen auf dieser Menge. Eine Vielzahl mathematischer Strukturen (als informeller Begriff) lässt sich als eine solche Struktur auffassen, insbesondere jede algebraische Struktur und jede Ordnungsstruktur. Ein Beispiel für eine Struktur sind die natürlichen Zahlen versehen mit der Addition, der Multiplikation und dem Vergleich . In der Modelltheorie werden Strukturen mitunter auch Modelle genannt. (de)
- En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir ). La sémantique de la logique du premier ordre se définit dans une structure. (fr)
- 모형 이론에서 구조(構造, 영어: structure)는 어떤 주어진 1차 논리 언어의 해석을 갖춘 집합이다. (ko)
- Un modello, nella logica matematica, è un sistema constituito da formule logiche che descrivono i fenomeni in un determinato ambiente di riferimento. Sebbene la seguente definizione faccia riferimento alla teoria dei modelli, gli esempi e le definizioni successive fanno riferimento a teoria e logica del primo ordine. (it)
- Na lógica, uma estrutura (ou estrutura de interpretaçã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. (pt)
- 在数学学科模型论中，语言 的结构 (也叫做 '-结构'，并通常写为哥特体大写)是一个有序对，它的第一个成员是论域或全集 (对应于可能带有定义在其上的关系和函数的集合，并通常写为相应于结构名字的罗马体大写)，它的第二个成员是一个释义 ，就是 的一个偏函数，它完全定义在 的之上，使得 的常量符号对应于 上的元素，如果有的话； 的函数符号对应于 上的函数，如果有的话；而 的关系符号对应于 上的关系；如果有的话。 (zh)
- En álgebra universal y en teoría de modelos, una estructura consiste en una colección de elementos acompañada a su vez por una colección de funciones y relaciones finitas definidas en ella.El álgebra universal estudia estructuras que generalizan las estructuras algebraicas tales como grupos, anillos, campos, retículos y espacios vectoriales. El término álgebra universal es usado para estructuras sin símbolos de relaciones. La teoría de modelos tiene un alcance diferente que abarca teorías más arbitrarias, incluyendo estructuras más fundamentales como modelos de la teoría de conjuntos. Desde el punto de vista modelo-teórico, las estructuras son objetos usados para definir la semántica de lógicas de primer orden. (es)
- Dalam aljabar universal dan dalam teori model, struktur terdiri dari himpunan bersama dengan kumpulan operasi finiter dan relasi yang ditentukan di atasnya. Struktur studi aljabar universal yang menggeneralisasi struktur aljabar seperti grup, gelanggang, bidang dan ruang vektor. Istilah aljabar universal digunakan untuk struktur tanpa . Dalam , struktur tanpa fungsi dipelajari sebagai model database relasional, dalam bentuk model relasional. (in)
- In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it. Universal algebra studies structures that generalize the algebraic structures such as groups, rings, fields and vector spaces. The term universal algebra is used for structures with no relation symbols. In database theory, structures with no functions are studied as models for relational databases, in the form of relational models. (en)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)