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
| |
dbo:wikiPageLength
|
- 25260 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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
| |
prop-fr:doi
| |
prop-fr:fr
|
- logique du point fixe (fr)
- logique du point fixe (fr)
|
prop-fr:id
| |
prop-fr:isbn
|
- 0 (xsd:integer)
- 3 (xsd:integer)
- 978 (xsd:integer)
|
prop-fr:langue
| |
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
| |
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 | |