La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels.

Property Value
dbo:abstract
  • La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels. (fr)
  • La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8004064 (xsd:integer)
dbo:wikiPageLength
  • 25260 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185789992 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1995 (xsd:integer)
  • 1999 (xsd:integer)
  • 2004 (xsd:integer)
  • 2009 (xsd:integer)
prop-fr:auteur
  • Jouko Väänänen (fr)
  • Jouko Väänänen (fr)
prop-fr:consultéLe
  • 2013-11-07 (xsd:date)
prop-fr:doi
  • 10.114500 (xsd:double)
prop-fr:fr
  • logique du point fixe (fr)
  • logique du point fixe (fr)
prop-fr:id
  • Libkin (fr)
  • Libkin (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 3 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Neil Immerman (fr)
  • Serge Abiteboul (fr)
  • Heinz-Dieter Ebbinghaus (fr)
  • Neil Immerman (fr)
  • Serge Abiteboul (fr)
  • Heinz-Dieter Ebbinghaus (fr)
prop-fr:lieu
  • New York (fr)
  • Reading, Mass (fr)
  • New York (fr)
  • Reading, Mass (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Hull (fr)
  • Ebbinghaus (fr)
  • Immerman (fr)
  • Libkin (fr)
  • Abiteboul (fr)
  • Vianu (fr)
  • Flum (fr)
  • Hull (fr)
  • Ebbinghaus (fr)
  • Immerman (fr)
  • Libkin (fr)
  • Abiteboul (fr)
  • Vianu (fr)
  • Flum (fr)
prop-fr:pagesTotales
  • 268 (xsd:integer)
  • 318 (xsd:integer)
  • 327 (xsd:integer)
  • 685 (xsd:integer)
prop-fr:passage
  • 65 (xsd:integer)
prop-fr:prénom
  • Victor (fr)
  • Richard (fr)
  • Leonid (fr)
  • Serge (fr)
  • Jörg (fr)
  • Neil (fr)
  • Heinz-Dieter (fr)
  • Victor (fr)
  • Richard (fr)
  • Leonid (fr)
  • Serge (fr)
  • Jörg (fr)
  • Neil (fr)
  • Heinz-Dieter (fr)
prop-fr:périodique
  • RWTH Aachen (fr)
  • RWTH Aachen (fr)
prop-fr:titre
  • Descriptive Complexity (fr)
  • The finite model theory toolbox of a database theoretician (fr)
  • A Short Course on Finite Model Theory (fr)
  • Algorithmic Model Theory (fr)
  • Elements of Finite Model Theory (fr)
  • Finite Model Theory (fr)
  • Foundations of Databases (fr)
  • Descriptive Complexity (fr)
  • The finite model theory toolbox of a database theoretician (fr)
  • A Short Course on Finite Model Theory (fr)
  • Algorithmic Model Theory (fr)
  • Elements of Finite Model Theory (fr)
  • Finite Model Theory (fr)
  • Foundations of Databases (fr)
prop-fr:titreOuvrage
  • PODS 2009: Proceedings of the twenty-eighth ACM SIGACT–SIGMOD symposium on Principles of database systems (fr)
  • PODS 2009: Proceedings of the twenty-eighth ACM SIGACT–SIGMOD symposium on Principles of database systems (fr)
prop-fr:trad
  • Fixpoint logic (fr)
  • Fixpoint logic (fr)
prop-fr:url
prop-fr:wikiPageUsesTemplate
prop-fr:wikibooks
  • Finite Model Theory (fr)
  • Finite Model Theory (fr)
prop-fr:wikibooksTitre
  • Théorie des modèles finis (fr)
  • Théorie des modèles finis (fr)
prop-fr:éditeur
dct:subject
rdfs:comment
  • La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels. (fr)
  • La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels. (fr)
rdfs:label
  • Théorie des modèles finis (fr)
  • 有限モデル理論 (ja)
  • Théorie des modèles finis (fr)
  • 有限モデル理論 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:domain of
is dbo:wikiPageWikiLink of
is prop-fr:champs of
is oa:hasTarget of
is foaf:primaryTopic of