Symbol (formal) (original) (raw)
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.
| Property | Value |
|---|---|
| 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) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Formal_languages.svg?width=300 |
| dbo:wikiPageID | 24028642 (xsd:integer) |
| dbo:wikiPageLength | 4354 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1026243460 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Montague_grammar dbr:List_of_mathematical_symbols dbr:Richard_Montague dbr:Interpretation_(logic) dbr:List_of_logic_symbols dbc:Logic_symbols dbr:Mathematics dbr:Generative_grammar dbr:Cognitive_linguistics dbr:George_Lakoff dbr:Concept dbr:Logic dbr:Stevan_Harnad dbr:String_(computer_science) dbr:Syntax_(logic) dbr:First-order_logic dbr:Formal_semantics_(logic) dbr:Noam_Chomsky dbr:Formal_grammar dbr:Formal_language dbr:Formal_system dbr:Formation_rule dbr:Logical_constant dbr:Well-formed_formula dbr:Predicate_(mathematical_logic) dbc:Syntax_(logic) dbc:Abstraction dbc:Concepts_in_logic dbc:Formal_languages dbr:Chomsky_hierarchy dbr:Terminal_and_nonterminal_symbols dbr:Type-token_distinction dbc:Metalogic dbr:Universe_of_discourse dbr:Type–token_distinction dbr:Ronald_Langacker dbr:File:Formal_languages.svg |
| dbp:wikiPageUsesTemplate | dbt:About dbt:Citation_needed dbt:Dubious dbt:Page_needed dbt:Reflist dbt:Mathematical_logic |
| dcterms:subject | dbc:Logic_symbols dbc:Syntax_(logic) dbc:Abstraction dbc:Concepts_in_logic dbc:Formal_languages dbc:Metalogic |
| gold:hypernym | dbr:Concept |
| rdf:type | yago:WikicatConceptsInLogic yago:WikicatLogicSymbols yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:Language106282651 yago:PsychologicalFeature100023100 yago:Signal106791372 yago:Symbol106806469 yago:WikicatFormalLanguages yago:WikicatSymbols |
| 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) |
| rdfs:label | Symbol (formální jazyky) (cs) Symbole (logique) (fr) Symbool (informatica) (nl) Símbolo (formal) (pt) Symbol (formal) (en) Символ (логіка) (uk) |
| owl:sameAs | freebase:Symbol (formal) yago-res:Symbol (formal) wikidata:Symbol (formal) dbpedia-cs:Symbol (formal) dbpedia-fr:Symbol (formal) http://hi.dbpedia.org/resource/चिन्ह_(औपचारिक) dbpedia-nl:Symbol (formal) dbpedia-pt:Symbol (formal) dbpedia-uk:Symbol (formal) https://global.dbpedia.org/id/2Eh9w |
| prov:wasDerivedFrom | wikipedia-en:Symbol_(formal)?oldid=1026243460&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Formal_languages.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Symbol_(formal) |
| is dbo:wikiPageDisambiguates of | dbr:Symbol_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Symbol_(formal_languages) dbr:Symbol_(logic) dbr:Logical_symbol |
| is dbo:wikiPageWikiLink of | dbr:Metalogic dbr:Metavariable dbr:Parsing dbr:Universal_quantification dbr:Arbitrariness dbr:Double_negation dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Interpretation_(logic) dbr:List_of_philosophical_concepts dbr:Commutative_property dbr:Matrix_(mathematics) dbr:Omega_language dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_computer_science dbr:Glossary_of_engineering:_M–Z dbr:Conjunction_introduction dbr:LR_parser dbr:Symbol_(formal_languages) dbr:Loaded_language dbr:String_(computer_science) dbr:Symbol_(disambiguation) dbr:Syntax_(logic) dbr:Up_tack dbr:Truth dbr:Data_system dbr:Distributive_property dbr:GPS_signals dbr:Logic_alphabet dbr:Formal_language dbr:Formal_system dbr:Formation_rule dbr:Logical_constant dbr:Well-formed_formula dbr:Interpretation_(philosophy) dbr:Associative_property dbr:Cognitive_dimensions_of_notations dbr:Tautology_(rule_of_inference) dbr:Term_logic dbr:Transposition_(logic) dbr:Recursive_language dbr:Double_turnstile dbr:Automata_theory dbr:Metalanguage dbr:Material_implication_(rule_of_inference) dbr:Exportation_(logic) dbr:Existential_quantification dbr:Turned_A dbr:Non-logical_symbol dbr:Outline_of_logic dbr:Symbol_(logic) dbr:Logical_symbol |
| is foaf:primaryTopic of | wikipedia-en:Symbol_(formal) |
