En mathématiques, le lemme de Kőnig est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes Kőnig en 1927. Il énonce que : « Tout arbre infini à branchement fini a une branche infinie. » Il a des applications en logique.

Property Value
dbo:abstract
  • En mathématiques, le lemme de Kőnig est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes Kőnig en 1927. Il énonce que : « Tout arbre infini à branchement fini a une branche infinie. » Il a des applications en logique. (fr)
  • En mathématiques, le lemme de Kőnig est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes Kőnig en 1927. Il énonce que : « Tout arbre infini à branchement fini a une branche infinie. » Il a des applications en logique. (fr)
dbo:namedAfter
dbo:thumbnail
dbo:wikiPageID
  • 202182 (xsd:integer)
dbo:wikiPageLength
  • 7735 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 186990364 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, le lemme de Kőnig est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes Kőnig en 1927. Il énonce que : « Tout arbre infini à branchement fini a une branche infinie. » Il a des applications en logique. (fr)
  • En mathématiques, le lemme de Kőnig est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes Kőnig en 1927. Il énonce que : « Tout arbre infini à branchement fini a une branche infinie. » Il a des applications en logique. (fr)
rdfs:label
  • Lema de Konig (pt)
  • Lemat Königa (pl)
  • Lemma di König (it)
  • Lemma von König (de)
  • Lemme de König (fr)
  • Лемма Кёнига о бесконечном пути (ru)
  • Лема Кеніга (uk)
  • ケーニヒの補題 (ja)
  • Lema de Konig (pt)
  • Lemat Königa (pl)
  • Lemma di König (it)
  • Lemma von König (de)
  • Lemme de König (fr)
  • Лемма Кёнига о бесконечном пути (ru)
  • Лема Кеніга (uk)
  • ケーニヒの補題 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of