Stephen Arthur Cook
- Stephen Arthur Cook
-
Stephen Cook
Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New-York) est un informaticien qui a formalisé la notion de NP-complétude.
Il est l'auteur de la publication The Complexity of Theorem Proving Procedures dans laquelle il établit le théorème de Cook, qui prouve que le problème SAT est NP-complet.
Distinctions
Catégories : Lauréat du prix Turing | Naissance en 1939 | Personnalité américaine en informatique | Membre de la Société royale du Canada | Personnalité en informatique théorique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Stephen Arthur Cook de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Stephen Arthur Cook — Stephen A. Cook 2008 Stephen Arthur Cook (* 14. Dezember 1939 in Buffalo, New York) ist Professor der Informatik an der University of Toronto in Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner… … Deutsch Wikipedia
Stephen A. Cook — Stephen Cook Pour les articles homonymes, voir Stephen, Arthur et Cook. Stephen Arthur Cook (né en 1939 à Buffalo dans l État de New York) est un informaticien qui a formalisé la notion de NP complétude. Il est l auteur de la publication The… … Wikipédia en Français
Stephen A. Cook — 2008 Stephen Arthur Cook (* 14. Dezember 1939 in Buffalo, New York) ist Professor der Informatik an der University of Toronto in Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner Lehrtätigkeit aber auch an… … Deutsch Wikipedia
Stephen Cook — Nombre Stephen Arthur Cook … Wikipedia Español
Stephen Cook — Stephen A. Cook 2008 Stephen Arthur Cook (* 14. Dezember 1939 in Buffalo, New York) ist Professor der Informatik an der University of Toronto in Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner… … Deutsch Wikipedia
Stephen Cook — Infobox Scientist name = Stephen Arthur Cook image width = 150px caption = birth date = birth date and age|1939|12|14 birth place = Buffalo, New York death date = death place = residence = citizenship = nationality = ethnicity = field = Computer… … Wikipedia
Stephen Cook — Pour les articles homonymes, voir Stephen, Arthur et Cook. Stephen Cook Stephen Arthur Cook (né en 1939 à Buffalo dans l … Wikipédia en Français
Cook (Familienname) — Cook ist ein Familienname. Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z … Deutsch Wikipedia
Cook (surname) — Cook Family name Cook coat of arms Meaning cook (occupational) Region of origin … Wikipedia
Stephen Frears — Infobox Actor name = Stephen Frears imagesize = caption = Frears in Sweden, 1989, promoting his movie Dangerous Liaisons birthdate = birth date and age|1941|6|20|df=y location = flagicon|England Leicester, England height = 5 7 (1.70 m) birthname … Wikipedia
