About: dbpedia-fr:Système

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Système_formel Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Formeel systeem (nl) Formellt system (sv) Sistema formal (ca) Sistema formal (es) Sistema formale (it) Système formel (fr) 形式体系 (ja) 形式系統 (zh)
rdfs:comment	Un système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis…). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif. (fr)
rdfs:seeAlso	https://www.britannica.com/topic/formal-system https://www.britannica.com/topic/logical-calculus https://www.jstor.org/topic/formal-systems https://bigenc.ru/text/4732072 https://www.quora.com/topic/Formal-System http://www.omegawiki.org/DefinedMeaning:1098805
sameAs	dbr:Formal_system wikidata:Q649732 dbpedia-als:Formales_System dbpedia-ar:نظام_شكلي dbpedia-ca:Sistema_formal http://cv.dbpedia.org/resource/Формаллĕ_тытăм dbpedia-da:Formelt_system dbpedia-de:Formales_System dbpedia-el:Τυπικό_σύστημα dbpedia-es:Sistema_formal dbpedia-fa:دستگاه_صوری dbpedia-gd:Siostam_foirmeil dbpedia-he:פורמליזם_(מתמטיקה) dbpedia-hu:Logikai_kalkulus http://hy.dbpedia.org/resource/Աքսիոմատիկ_մեթոդ dbpedia-it:Sistema_formale dbpedia-ja:形式体系 dbpedia-kk:Формалды_жүйе dbpedia-ko:형식_체계 http://ky.dbpedia.org/resource/Аксиоматикалык_метод dbpedia-mk:Формален_систем dbpedia-ms:Sistem_formal dbpedia-nl:Formeel_systeem dbpedia-pl:System_formalny dbpedia-pt:Sistema_formal dbpedia-ru:Формальная_система dbpedia-sq:Sistemi_formal dbpedia-sr:Логички_систем dbpedia-sv:Formellt_system dbpedia-uk:Формальна_система dbpedia-zh:形式系統 http://g.co/kg/m/0239v0 http://ma-graph.org/entity/102315432 http://babelnet.org/rdf/s14401372n
Wikipage page ID	184471 (xsd:integer)
Wikipage revision ID	184797241 (xsd:integer)
dbo:wikiPageWikiLink	Algorithm Parsing Axiom Peano axioms First-order logic category-fr:Logique_mathématique category-fr:Philosophie_des_sciences dbpedia-fr:Cohérence_(logique) Compiler dbpedia-fr:David_Hilbert dbpedia-fr:Décidabilité Computable set dbpedia-fr:Fichier_informatique dbpedia-fr:Interprète_(informatique) dbpedia-fr:Kurt_Gödel Lambda calculus dbpedia-fr:Langage_de_programmation dbpedia-fr:Langage_machine dbpedia-fr:Langage_naturel dbpedia-fr:Logique_mathématique dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Nomenclature_des_composés_organiques dbpedia-fr:Programme_informatique dbpedia-fr:Protocole_de_communication dbpedia-fr:Raymond_Smullyan dbpedia-fr:Récursivement_énumérable dbpedia-fr:Sixième_problème_de_Hilbert dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_modèles dbpedia-fr:Théorème Gödel's incompleteness theorems dbpedia-fr:Épistémologie dbpedia-fr:Mathématiques
Link from a Wikipage to an external page	https://www.e-periodica.ch/digbib/view%3Fpid=ens-001:1918:20::322. https://eudml.org/doc/158776.
page length (characters) of wiki page	9326 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logique_mathématique category-fr:Philosophie_des_sciences
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:!
prov:wasDerivedFrom	wikipedia-fr:Système_formel?oldid=184797241&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Système_formel
has abstract	Un système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis…). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif. Les systèmes formels s'opposent aux langues naturelles pour lesquels les algorithmes de traitement sont extrêmement complexes et surtout doivent évoluer dans le temps pour s'adapter aux transformations du langage. Les systèmes formels sont apparus en logique mathématique afin de représenter mathématiquement le langage et le raisonnement mathématique, mais peuvent se trouver également dans d'autres contextes : informatique, chimie… (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software