| Property |
Value |
| dbo:abstract
|
- En logique mathématique, et notamment en théorie des modèles finis, le jeu d'Ehrenfeucht-Fraïssé (aussi appelé jeu du va-et-vient[réf. nécessaire]) est une technique pour déterminer si deux structures sont élémentairement équivalentes, c'est-à-dire savoir si elles satisfont les mêmes énoncés de logique du premier ordre. Son nom provient des mathématiciens Andrzej Ehrenfeucht et Roland Fraïssé. La principale application du jeu d'Ehrenfeucht-Fraïssé est de prouver que certaines propriétés ne sont pas exprimables en logique du premier ordre. Cet usage est d'une importance particulière en théorie des modèles finis et dans ses applications informatiques, comme en vérification de modèles et en théorie des bases de données, puisque les jeux d'Ehrenfeucht-Fraïssé sont l'une des rares techniques de la théorie des modèles qui restent valables dans le contexte de modèles finis. Les autres techniques de preuve pour prouver que des énoncés sont inexprimables, tels que le théorème de compacité, ne s'appliquent pas dans les modèles finis. (fr)
- En logique mathématique, et notamment en théorie des modèles finis, le jeu d'Ehrenfeucht-Fraïssé (aussi appelé jeu du va-et-vient[réf. nécessaire]) est une technique pour déterminer si deux structures sont élémentairement équivalentes, c'est-à-dire savoir si elles satisfont les mêmes énoncés de logique du premier ordre. Son nom provient des mathématiciens Andrzej Ehrenfeucht et Roland Fraïssé. La principale application du jeu d'Ehrenfeucht-Fraïssé est de prouver que certaines propriétés ne sont pas exprimables en logique du premier ordre. Cet usage est d'une importance particulière en théorie des modèles finis et dans ses applications informatiques, comme en vérification de modèles et en théorie des bases de données, puisque les jeux d'Ehrenfeucht-Fraïssé sont l'une des rares techniques de la théorie des modèles qui restent valables dans le contexte de modèles finis. Les autres techniques de preuve pour prouver que des énoncés sont inexprimables, tels que le théorème de compacité, ne s'appliquent pas dans les modèles finis. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 12568 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1982 (xsd:integer)
- 1999 (xsd:integer)
- 2000 (xsd:integer)
- 2007 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:auteur
|
- Wilfrid Hodges (fr)
- Ivars Peterson (fr)
- Bruno Poizat (fr)
- Joseph G. Rosenstein (fr)
- Leonid Libkin (fr)
- Wilfrid Hodges (fr)
- Ivars Peterson (fr)
- Bruno Poizat (fr)
- Joseph G. Rosenstein (fr)
- Leonid Libkin (fr)
|
| prop-fr:collection
|
- Universitext (fr)
- Texts in Theoretical Computer Science. An EATCS Series (fr)
- Universitext (fr)
- Texts in Theoretical Computer Science. An EATCS Series (fr)
|
| prop-fr:fr
|
- jeu à jetons (fr)
- jeu à jetons (fr)
|
| prop-fr:id
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Joel Spencer (fr)
- Moshe Y. Vardi (fr)
- Neil Immerman (fr)
- Joel Spencer (fr)
- Moshe Y. Vardi (fr)
- Neil Immerman (fr)
|
| prop-fr:lieu
|
- Berlin (fr)
- Cambridge (fr)
- New York (fr)
- Berlin (fr)
- Cambridge (fr)
- New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Spencer (fr)
- Maarten (fr)
- Weinstein (fr)
- Immerman (fr)
- Libkin (fr)
- Vardi (fr)
- Grädel (fr)
- Kolaitis (fr)
- Venema (fr)
- Spencer (fr)
- Maarten (fr)
- Weinstein (fr)
- Immerman (fr)
- Libkin (fr)
- Vardi (fr)
- Grädel (fr)
- Kolaitis (fr)
- Venema (fr)
|
| prop-fr:oclc
| |
| prop-fr:pagesTotales
|
- 268 (xsd:integer)
- 437 (xsd:integer)
- 443 (xsd:integer)
- 487 (xsd:integer)
- 788 (xsd:integer)
|
| prop-fr:prénom
|
- Leonid (fr)
- Scott (fr)
- Joel (fr)
- Erich (fr)
- Neil (fr)
- Marx (fr)
- Moshe Y. (fr)
- Phokion G. (fr)
- Yde (fr)
- Leonid (fr)
- Scott (fr)
- Joel (fr)
- Erich (fr)
- Neil (fr)
- Marx (fr)
- Moshe Y. (fr)
- Phokion G. (fr)
- Yde (fr)
|
| prop-fr:sousTitre
|
- An Introduction to Contemporary Mathematical Logic (fr)
- An Introduction to Contemporary Mathematical Logic (fr)
|
| prop-fr:série
|
- MathTrek (fr)
- MathTrek (fr)
|
| prop-fr:texte
|
- jeux à jetons (fr)
- jeux à jetons (fr)
|
| prop-fr:titre
|
- Descriptive Complexity (fr)
- A Course in Model Theory (fr)
- Elements of Finite Model Theory — Introduction (fr)
- Example of the Ehrenfeucht-Fraïssé game (fr)
- Finite model theory and its applications (fr)
- Linear Orderings (fr)
- Model theory (fr)
- Descriptive Complexity (fr)
- A Course in Model Theory (fr)
- Elements of Finite Model Theory — Introduction (fr)
- Example of the Ehrenfeucht-Fraïssé game (fr)
- Finite model theory and its applications (fr)
- Linear Orderings (fr)
- Model theory (fr)
|
| prop-fr:trad
|
- pebble game (fr)
- pebble game (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:zbl
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, et notamment en théorie des modèles finis, le jeu d'Ehrenfeucht-Fraïssé (aussi appelé jeu du va-et-vient[réf. nécessaire]) est une technique pour déterminer si deux structures sont élémentairement équivalentes, c'est-à-dire savoir si elles satisfont les mêmes énoncés de logique du premier ordre. Son nom provient des mathématiciens Andrzej Ehrenfeucht et Roland Fraïssé. La principale application du jeu d'Ehrenfeucht-Fraïssé est de prouver que certaines propriétés ne sont pas exprimables en logique du premier ordre. Cet usage est d'une importance particulière en théorie des modèles finis et dans ses applications informatiques, comme en vérification de modèles et en théorie des bases de données, puisque les jeux d'Ehrenfeucht-Fraïssé sont l'une des rares techniques de (fr)
- En logique mathématique, et notamment en théorie des modèles finis, le jeu d'Ehrenfeucht-Fraïssé (aussi appelé jeu du va-et-vient[réf. nécessaire]) est une technique pour déterminer si deux structures sont élémentairement équivalentes, c'est-à-dire savoir si elles satisfont les mêmes énoncés de logique du premier ordre. Son nom provient des mathématiciens Andrzej Ehrenfeucht et Roland Fraïssé. La principale application du jeu d'Ehrenfeucht-Fraïssé est de prouver que certaines propriétés ne sont pas exprimables en logique du premier ordre. Cet usage est d'une importance particulière en théorie des modèles finis et dans ses applications informatiques, comme en vérification de modèles et en théorie des bases de données, puisque les jeux d'Ehrenfeucht-Fraïssé sont l'une des rares techniques de (fr)
|
| rdfs:label
|
- Gioco di Ehrenfeucht-Fraïssé (it)
- Jeu d'Ehrenfeucht-Fraïssé (fr)
- Игра Эренфойхта — Фраиса (ru)
- Gioco di Ehrenfeucht-Fraïssé (it)
- Jeu d'Ehrenfeucht-Fraïssé (fr)
- Игра Эренфойхта — Фраиса (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
