| dbo:abstract
|
- Symbol (neformálně znak) je v teorii formálních jazyků libovolný z prvků, ze kterých se vytvářejí řetězce. Řetězec (neformálně slovo) je konečná posloupnost symbolů. Každý symbol lze považovat za řetězec délky 1. (cs)
- Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée. Les symboles d'un langage formel ne doivent pas être des symboles de quoi que ce soit. Par exemple, il y a des qui ne se réfèrent pas à une idée, mais servent plutôt comme une forme de ponctuation dans le langage (par exemple, les parenthèses). Les symboles d'un langage formel doivent pouvoir être spécifiés sans aucune référence à une quelconque interprétation. Un symbole ou une chaîne de symboles peut comprendre une formule bien formée si elle est conforme aux du langage. Dans un système formel, un symbole peut être utilisé comme un token dans des opérations formelles. L'ensemble des symboles formels d'un langage formel fait référence a un alphabet (donc chaque symbole peut être désigné comme une «lettre») Un symbole formel utilisé dans la logique du premier ordre peut être une variable (membre d'un univers du discours), une constante, une fonction ou un prédicat. Les symboles formels sont généralement considérés comme des structures purement syntaxiques, en utilisant une grammaire formelle, bien que parfois ils peuvent être associés à une interprétation ou à un modèle (une sémantique formelle). (fr)
- A logical symbol is a fundamental concept in logic, tokens of which may be marks or a configuration of marks which form a particular pattern. Although the term "symbol" in common use refers at some times to the idea being symbolized, and at other times to the marks on a piece of paper or chalkboard which are being used to express that idea; in the formal languages studied in mathematics and logic, the term "symbol" refers to the idea, and the marks are considered to be a token instance of the symbol. In logic, symbols build literal utility to illustrate ideas. (en)
- Een symbool in de informatica is een discrete waarde waaraan een semantische inhoud, dat wil zeggen een specifieke betekenis, is toegevoegd. Meer specifiek een associatie van een identifier met zijn eigenschappen, waaronder het geheugenadres, naam, type en taalafhankelijke restricties, voorbeelden hiervan zijn definities van klassen, variabelen, functies en constanten. (nl)
- Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados para expressar essa ideia na linguagem formal. Estudado em matemática e lógica, o "símbolo" refere-se à ideia; e as marcas são consideradas como símbolos de instância. Na lógica, símbolos utilitários de construção literal são usados para ilustrar ideias. Símbolos de uma linguagem formal não precisam ser símbolos "de nada". Por exemplo, há constantes lógicas que não se referem a qualquer ideia, mas sim servem como uma forma de pontuação na língua (por exemplo, parênteses). Os símbolos de uma linguagem formal devem ser capazes de serem especificados sem qualquer referência a qualquer interpretação destes. Um símbolo ou string de símbolos pode compreender fórmulas bem formadas se for compatível com a regra de formação da linguagem. Em um sistema formal, um símbolo pode ser usado como um sinal em operações formais. O conjunto de símbolos formais de linguagem formal é referida como um alfabeto (assim, cada símbolo pode ser referido como uma "carta") Um símbolo formal, como o usado em lógica de primeira ordem, pode ser uma variável (membro de um universo de discurso), uma constante, uma função (mapeamento para outro membro do universo) ou predicado (mapeando para T/F). Símbolos formais são geralmente considerados como puramente sintaxe (lógica), estruturas sintáticas, composto em estruturas maiores e usando uma gramática formal, embora às vezes eles podem ser associados a uma interpretação ou modelo ( semântica formal). (pt)
- Логічний символ — це фундаментальне поняття логіки, його можуть бути позначки або конфігурація знаків, що утворюють певний візерунок. Хоча термін «символ», у загальному вживанні, іноді відноситься до символізації, а іноді до позначок на аркуші паперу або на дошці, які використовуються для висловлення цієї ідеї; у формальних мовах, що вивчаються у математиці і логіці, термін «символ» відноситься до ідеї, а позначки — це обміркованний спосіб застосуння символу. У логіці символи використовуються для ілюстрації ідеї. (uk)
|
| rdfs:comment
|
- Symbol (neformálně znak) je v teorii formálních jazyků libovolný z prvků, ze kterých se vytvářejí řetězce. Řetězec (neformálně slovo) je konečná posloupnost symbolů. Každý symbol lze považovat za řetězec délky 1. (cs)
- A logical symbol is a fundamental concept in logic, tokens of which may be marks or a configuration of marks which form a particular pattern. Although the term "symbol" in common use refers at some times to the idea being symbolized, and at other times to the marks on a piece of paper or chalkboard which are being used to express that idea; in the formal languages studied in mathematics and logic, the term "symbol" refers to the idea, and the marks are considered to be a token instance of the symbol. In logic, symbols build literal utility to illustrate ideas. (en)
- Een symbool in de informatica is een discrete waarde waaraan een semantische inhoud, dat wil zeggen een specifieke betekenis, is toegevoegd. Meer specifiek een associatie van een identifier met zijn eigenschappen, waaronder het geheugenadres, naam, type en taalafhankelijke restricties, voorbeelden hiervan zijn definities van klassen, variabelen, functies en constanten. (nl)
- Логічний символ — це фундаментальне поняття логіки, його можуть бути позначки або конфігурація знаків, що утворюють певний візерунок. Хоча термін «символ», у загальному вживанні, іноді відноситься до символізації, а іноді до позначок на аркуші паперу або на дошці, які використовуються для висловлення цієї ідеї; у формальних мовах, що вивчаються у математиці і логіці, термін «символ» відноситься до ідеї, а позначки — це обміркованний спосіб застосуння символу. У логіці символи використовуються для ілюстрації ідеї. (uk)
- Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée. Un symbole ou une chaîne de symboles peut comprendre une formule bien formée si elle est conforme aux du langage. (fr)
- Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados para expressar essa ideia na linguagem formal. Estudado em matemática e lógica, o "símbolo" refere-se à ideia; e as marcas são consideradas como símbolos de instância. Na lógica, símbolos utilitários de construção literal são usados para ilustrar ideias. (pt)
|
