Stephen A. Cook
- Stephen A. 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 A. 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 — 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 Arthur 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 Guernsey Cook Ensko — Infobox Person name = Stephen Guernsey Cook Ensko image size = 250px caption = Ensko circa 1950 1960 birth date = birth date|1896|5|9|mf=y birth place = Manhattan death date = death date and age|1969|12|18|1896|5|9|mf=y death place = Manhattan… … Wikipedia
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 — Nombre Stephen Arthur Cook … Wikipedia Español
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 — steht für: Cook (Familienname), der Familienname Cook Cook Group, Hersteller medizinischer Geraete Cook Gletscher, zwei Gletscher auf subantarktischen Inseln Cook Insel (Südsandwichinseln), Insel der zu den Südsandwichinseln gehörenden… … Deutsch Wikipedia
Stephen Cook (cricketer) — Stephen Craig Cook (born November 29, 1982 in Johannesburg) is a South African first class cricketer, the son of former Test player Jimmy Cook. He is a right handed batsman and as of the end of the 2006 07 season has made over 3000 runs at 34.57… … 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
