Das Kefk Network Wiki befindet sich im Testbetrieb.


Stephen A. Cook

Aus Kefk.

Wechseln zu: Navigation, Suche

Stephen Arthur Cook (* 1939 in Buffalo, New York) ist Professor der Informatik an der Universität in Toronto/Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner Lehrtätigkeit aber auch an der Schnittstelle von Logik und Berechenbarkeitstheorie.

Cook wurde in der theoretischen Informatik berühmt durch den Satz von Cook: "SAT ist NP-vollständig". 1982 bekam er für diese Entdeckung den Turing-Preis.

Weblinks

Wikipedia
Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Stephen_A._Cook, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
Persönliche Werkzeuge