About: dbpedia-fr:Théorie_des

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

About: dbpedia-fr:Théorie_des_modèles 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	Théorie des modèles (fr) Modelltheorie (de) Modelteorie (af) Modeltheorie (nl) Teoria de models (ca) Teoría de modelos (es) Теорія моделей (uk) モデル理論 (ja)
rdfs:comment	La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité). (fr)
rdfs:seeAlso	http://plato.stanford.edu/entries/model-theory http://www.universalis.fr/encyclopedie/theorie-des-modeles http://www.universalis.fr/encyclopedie/verite-mathematique https://commons.wikimedia.org/wiki/Category:Model_theory https://ncatlab.org/nlab/show/model_theory https://www.britannica.com/topic/model-theory https://www.jstor.org/topic/model-theory https://bigenc.ru/text/2221563 https://www.zhihu.com/topic/19650017 http://psh.ntkcz.cz/skos/PSH7113
sameAs	dbr:Model_theory wikidata:Q467606 dbpedia-af:Modelteorie dbpedia-ar:نظرية_النموذج dbpedia-az:Məntiqi_modelləşdirmə dbpedia-bg:Теория_на_моделите http://bn.dbpedia.org/resource/মডেল_তত্ত্ব dbpedia-ca:Teoria_de_models dbpedia-cs:Teorie_modelů dbpedia-de:Modelltheorie dbpedia-el:Θεωρία_μοντέλων dbpedia-eo:Modeloteorio dbpedia-es:Teoría_de_modelos dbpedia-fa:نظریه_مدل dbpedia-fi:Malliteoria dbpedia-he:תורת_המודלים dbpedia-hr:Teorija_modela dbpedia-hu:Modellelmélet http://ia.dbpedia.org/resource/Theoria_de_modellos dbpedia-id:Teori_model dbpedia-it:Teoria_dei_modelli dbpedia-ja:モデル理論 dbpedia-ko:모형_이론 http://my.dbpedia.org/resource/မိုဒယ်သီအိုရီ dbpedia-nl:Modeltheorie dbpedia-pl:Teoria_modeli dbpedia-pms:Teorìa_dij_modej dbpedia-pnb:نمونے_دا_نظریہ http://ps.dbpedia.org/resource/ماډل_تيوري dbpedia-pt:Teoria_dos_modelos dbpedia-ru:Теория_моделей dbpedia-sv:Modellteori dbpedia-tr:Model_teorisi dbpedia-uk:Теорія_моделей http://ur.dbpedia.org/resource/نمونے_کا_نظریہ dbpedia-zh:模型论 https://id.loc.gov/authorities/names/sh85086421 http://g.co/kg/m/04_lr http://id.ndl.go.jp/auth/ndlna/00567757 http://ma-graph.org/entity/47030870 http://www.yso.fi/onto/yso/p15195 http://msc2010.org/resources/MSC/2010/03Cxx http://data.bnf.fr/ark:/12148/cb119323610#about http://purl.org/bncf/tid/40654 https://d-nb.info/gnd/4114617-7
Wikipage page ID	197983 (xsd:integer)
Wikipage revision ID	190823333 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_modèles dbpedia-fr:Adrien-Quentin_Buée Alfred Tarski dbpedia-fr:Antinomie dbpedia-fr:Arithmétique_du_second_ordre dbpedia-fr:Arité dbpedia-fr:Augustin_Louis_Cauchy Axiom of infinity Parallel postulate Axiom of choice Peano axioms dbpedia-fr:Bijection Propositional calculus First-order logic dbpedia-fr:Carl_Friedrich_Gauss Chen Chung Chang dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Corps_algébriquement_clos dbpedia-fr:David_Hilbert Poincaré half-plane model dbpedia-fr:Déduction_naturelle dbpedia-fr:Elsevier Countable set Natural number Euclid Group (mathematics) dbpedia-fr:Géométrie_euclidienne dbpedia-fr:Géométrie_hyperbolique dbpedia-fr:Géométrie_non_euclidienne dbpedia-fr:Henri_Poincaré dbpedia-fr:Howard_Jerome_Keisler dbpedia-fr:Interprétation_(logique) dbpedia-fr:Jean-Robert_Argand dbpedia-fr:Leopold_Löwenheim

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, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software