| dbo:abstract
|
- Leonid Levin (russisch Леони́д Анато́льевич Ле́вин, Leonid Anatoljewitsch Lewin; * 2. November 1948 in Dnepropetrowsk, Ukrainische SSR) ist ein sowjetisch-amerikanischer Informatiker. (de)
- Leonid Anatólievich Levin Леонид Анатольевич Левин (nació el 2 de noviembre de 1948 en la antigua URSS). Es informático, estudió siguiendo los pasos de Andréi Kolmogórov. Leonid obtuvo su primer doctorado en 1972 en la universidad de Moscú. Más adelante, emigró a los EE. UU. en 1978 y obtuvo otro doctorado en el Instituto Tecnológico de Massachusetts en 1979. Es muy conocido por su trabajo en la computación aleatoria, en la complejidad de los algorítmicos, en los fundamentos de las matemáticas e informática, en la teoría del cómputo y en la teoría de la información. Su vida se describe en un capítulo del libro: Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists. Levin descubrió un teorema que también fue descubierto y probado por Stephen Cook. Este teorema de Cook-Levin, nombrado a menudo así por los investigadores, era una base para uno de los siete problemas matemáticos del milenio recompensado por el Clay Mathematics Institute con un premio de un millón de dólares. El artículo de Levin sobre este teorema fue publicado en 1973; había dado una conferencia de sus ideas algunos años antes, aunque los resultados de la escritura formal ocurrieron después de la publicación de Stephen Cook. Levin es actualmente profesor de informática en la universidad de Boston, donde comenzó a impartir clases en el año 1980. (es)
- Leonid Anatolievich Levin (/leɪ.oʊˈniːd ˈlɛvɪn/ lay-oh-NEED LEV-in; Russian: Леони́д Анато́льевич Ле́вин; Ukrainian: Леоні́д Анато́лійович Ле́він; born November 2, 1948) is a Soviet-American mathematician and computer scientist. He is known for his work in randomness in computing, algorithmic complexity and intractability, average-case complexity, foundations of mathematics and computer science, algorithmic probability, theory of computation, and information theory. He obtained his master's degree at Moscow University in 1970 where he studied under Andrey Kolmogorov and completed the Candidate Degree academic requirements in 1972. He and Stephen Cook independently discovered the existence of NP-complete problems. This NP-completeness theorem, often called the Cook–Levin theorem, was a basis for one of the seven Millennium Prize Problems declared by the Clay Mathematics Institute with a $1,000,000 prize offered. The Cook–Levin theorem was a breakthrough in computer science and an important step in the development of the theory of computational complexity. Levin was awarded the Knuth Prize in 2012 for his discovery of NP-completeness and the development of average-case complexity.He is a member of the US National Academy of Sciences anda fellow of the American Academy of Arts and Sciences. (en)
- 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, 러시아어: Леони́д Анато́льевич Ле́вин 레오니트 아나톨리예비치 레빈[*], 우크라이나어: Леоні́д Анато́лійович Ле́він 레오니드 아나톨리요비치 레빈[*], 1948년 11월 2일 ~ )은 소비에트 연방 드네프로페트로프스크(현 우크라이나의 드니프로페트로우스크)에서 출생한 전산학자, 수학자이다. 안드레이 콜모고로프의 제자였다. 1978년에 미국 국적을 얻어 현재 미국에 거주하고 있다. 전산학의 이론적 기반을 연구하면서 계산이론, 정보 이론 등에서 많은 업적을 남겼다. 특히 스티븐 쿡이 발견한 NP-완전을 1973년에 독자적으로 발견했다. ‘쿡의 정리’ 혹은 ‘쿡-레빈 정리’라고 부르는 이 정리는 전산학 분야의 획기적 발견이며, 계산 복잡도 이론의 중요한 이론적 기반이다. (ko)
- Leonid Anatolievich Levin, em russo: Леонид Анатольевич Левин; (Dnipropetrovsk, 2 de novembro de 1948) é um informático soviético-estadunidense. Obteve o mestrado em 1970 e um Ph.D. em 1972 na Universidade de Moscou, onde foi aluno de Andrey Kolmogorov. Em 1978 emigrou para os Estados Unidos, obtendo um Ph.D. no Instituto de Tecnologia de Massachusetts (MIT) em 1979. Seu orientador no MIT foi Albert Ronald Meyer. Levin e Stephen Cook, descobriram a existência de problemas NP-completos. Este teorema da NP-completude, muitas vezes chamado de Teorema de Cook-Levin, foi a base para um dos sete Problemas do Milênio. O teorema de Cook-Levin foi um avanço na ciência da computação e é o fundamento da complexidade computacional. Atualmente é professor de ciência da computação na Universidade de Boston, onde começou a lecionar em 1980. (pt)
- Леони́д Анато́льевич Ле́вин (род. 2 ноября 1948, Днепропетровск) — советский и американский математик, специалист в области теории вычислительной сложности. Профессор информатики в Бостонском университете. Член Национальной академии наук США (2019). (ru)
- Леонід Анатолійович Левін (нар. 2 листопада 1948, Дніпропетровськ) — радянський і американський математик, фахівець в області теорії обчислювальної складності. Професор інформатики в Бостонському університеті. (uk)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8129 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Leonid Levin in 2010 (en)
|
| dbp:field
| |
| dbp:knownFor
| |
| dbp:name
|
- Leonid Anatolievich Levin (en)
|
| dbp:prizes
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitution
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Leonid Levin (russisch Леони́д Анато́льевич Ле́вин, Leonid Anatoljewitsch Lewin; * 2. November 1948 in Dnepropetrowsk, Ukrainische SSR) ist ein sowjetisch-amerikanischer Informatiker. (de)
- 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, 러시아어: Леони́д Анато́льевич Ле́вин 레오니트 아나톨리예비치 레빈[*], 우크라이나어: Леоні́д Анато́лійович Ле́він 레오니드 아나톨리요비치 레빈[*], 1948년 11월 2일 ~ )은 소비에트 연방 드네프로페트로프스크(현 우크라이나의 드니프로페트로우스크)에서 출생한 전산학자, 수학자이다. 안드레이 콜모고로프의 제자였다. 1978년에 미국 국적을 얻어 현재 미국에 거주하고 있다. 전산학의 이론적 기반을 연구하면서 계산이론, 정보 이론 등에서 많은 업적을 남겼다. 특히 스티븐 쿡이 발견한 NP-완전을 1973년에 독자적으로 발견했다. ‘쿡의 정리’ 혹은 ‘쿡-레빈 정리’라고 부르는 이 정리는 전산학 분야의 획기적 발견이며, 계산 복잡도 이론의 중요한 이론적 기반이다. (ko)
- Леони́д Анато́льевич Ле́вин (род. 2 ноября 1948, Днепропетровск) — советский и американский математик, специалист в области теории вычислительной сложности. Профессор информатики в Бостонском университете. Член Национальной академии наук США (2019). (ru)
- Леонід Анатолійович Левін (нар. 2 листопада 1948, Дніпропетровськ) — радянський і американський математик, фахівець в області теорії обчислювальної складності. Професор інформатики в Бостонському університеті. (uk)
- Leonid Anatólievich Levin Леонид Анатольевич Левин (nació el 2 de noviembre de 1948 en la antigua URSS). Es informático, estudió siguiendo los pasos de Andréi Kolmogórov. Leonid obtuvo su primer doctorado en 1972 en la universidad de Moscú. Más adelante, emigró a los EE. UU. en 1978 y obtuvo otro doctorado en el Instituto Tecnológico de Massachusetts en 1979. Es muy conocido por su trabajo en la computación aleatoria, en la complejidad de los algorítmicos, en los fundamentos de las matemáticas e informática, en la teoría del cómputo y en la teoría de la información. (es)
- Leonid Anatolievich Levin (/leɪ.oʊˈniːd ˈlɛvɪn/ lay-oh-NEED LEV-in; Russian: Леони́д Анато́льевич Ле́вин; Ukrainian: Леоні́д Анато́лійович Ле́він; born November 2, 1948) is a Soviet-American mathematician and computer scientist. Levin was awarded the Knuth Prize in 2012 for his discovery of NP-completeness and the development of average-case complexity.He is a member of the US National Academy of Sciences anda fellow of the American Academy of Arts and Sciences. (en)
- Leonid Anatolievich Levin, em russo: Леонид Анатольевич Левин; (Dnipropetrovsk, 2 de novembro de 1948) é um informático soviético-estadunidense. Obteve o mestrado em 1970 e um Ph.D. em 1972 na Universidade de Moscou, onde foi aluno de Andrey Kolmogorov. Em 1978 emigrou para os Estados Unidos, obtendo um Ph.D. no Instituto de Tecnologia de Massachusetts (MIT) em 1979. Seu orientador no MIT foi Albert Ronald Meyer. Atualmente é professor de ciência da computação na Universidade de Boston, onde começou a lecionar em 1980. (pt)
|
| rdfs:label
|
- Leonid Levin (en)
- Leonid Levin (de)
- Leonid Levin (es)
- Leonid Levin (fr)
- 레오니드 레빈 (ko)
- Левин, Леонид Анатольевич (ru)
- Leonid Levin (pt)
- Левін Леонід Анатолійович (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Leonid Anatolievich Levin (en)
|
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
