Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel.

Property Value
dbo:abstract
  • Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel. (fr)
  • Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel. (fr)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1948-11-02 (xsd:date)
dbo:birthPlace
dbo:birthYear
  • 1948-01-01 (xsd:gYear)
dbo:citizenship
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:knownFor
dbo:occupation
dbo:thumbnail
dbo:thumbnailCaption
  • Leonid Levin en 2010
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4863459 (xsd:integer)
dbo:wikiPageLength
  • 6060 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190302307 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:dateDeNaissance
  • 1948-11-02 (xsd:date)
prop-fr:lieuDeNaissance
prop-fr:légende
  • Leonid Levin en 2010 (fr)
  • Leonid Levin en 2010 (fr)
prop-fr:nom
  • Leonid Anatolievich Levin (fr)
  • Leonid Anatolievich Levin (fr)
prop-fr:paysDeNaissance
prop-fr:renomméPour
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel. (fr)
  • Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel. (fr)
rdfs:label
  • Leonid Levin (es)
  • Leonid Levin (fr)
  • Leonid Levin (pt)
  • Левин, Леонид Анатольевич (ru)
  • Левін Леонід Анатолійович (uk)
  • ليونيد ليڤين (arz)
  • Leonid Levin (es)
  • Leonid Levin (fr)
  • Leonid Levin (pt)
  • Левин, Леонид Анатольевич (ru)
  • Левін Леонід Анатолійович (uk)
  • ليونيد ليڤين (arz)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Leonid Anatolievich Levin (fr)
  • Leonid Anatolievich Levin (fr)
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:namedAfter of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of