| Property |
Value |
| dbo:abstract
|
- En mathématiques et en informatique théorique, et plus précisément en théorie de la calculabilité, le problème de correspondance de Post (PCP) est un problème de décision indécidable qui fut introduit par Emil Post en 1946. Comme il est plus simple que le problème de l'arrêt et que le problème de la décision, il apparaît souvent dans des démonstrations[Lesquelles ?] d'indécidabilité. (fr)
- En mathématiques et en informatique théorique, et plus précisément en théorie de la calculabilité, le problème de correspondance de Post (PCP) est un problème de décision indécidable qui fut introduit par Emil Post en 1946. Comme il est plus simple que le problème de l'arrêt et que le problème de la décision, il apparaît souvent dans des démonstrations[Lesquelles ?] d'indécidabilité. (fr)
|
| dbo:discoverer
| |
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 15865 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:consultéLe
| |
| prop-fr:fr
|
- historique du calcul (fr)
- historique du calcul (fr)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:trad
|
- computation history (fr)
- computation history (fr)
|
| prop-fr:url
|
- http://www.theory.informatik.uni-kassel.de/~stamer/pcp/pcpcontest_en.html|titre=PCP@HOME|horodatage archive = 20120213180149 (fr)
- http://www.theory.informatik.uni-kassel.de/~stamer/pcp/pcpcontest_en.html|titre=PCP@HOME|horodatage archive = 20120213180149 (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques et en informatique théorique, et plus précisément en théorie de la calculabilité, le problème de correspondance de Post (PCP) est un problème de décision indécidable qui fut introduit par Emil Post en 1946. Comme il est plus simple que le problème de l'arrêt et que le problème de la décision, il apparaît souvent dans des démonstrations[Lesquelles ?] d'indécidabilité. (fr)
- En mathématiques et en informatique théorique, et plus précisément en théorie de la calculabilité, le problème de correspondance de Post (PCP) est un problème de décision indécidable qui fut introduit par Emil Post en 1946. Comme il est plus simple que le problème de l'arrêt et que le problème de la décision, il apparaît souvent dans des démonstrations[Lesquelles ?] d'indécidabilité. (fr)
|
| rdfs:label
|
- Postsches Korrespondenzproblem (de)
- Problème de correspondance de Post (fr)
- Проблема збіжності Поста (uk)
- 波斯特对应问题 (zh)
- Postsches Korrespondenzproblem (de)
- Problème de correspondance de Post (fr)
- Проблема збіжності Поста (uk)
- 波斯特对应问题 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
