Benutzer:MaximilianHofer
aus Wikipedia, der freien Enzyklopädie
[Bearbeiten] Informatik
Theoretische Informatik:
Die Theoretische Informatik setzt sich aus 3 Bereichen Berechenbarkeitstheorie Komplexitätstheorie und Atomatentheorie zusammen. Komplexitätstheorie
NP-Vollständigkeit
Geschichte der Informatik:
Kurt Gödel (1906-1971), Logiker: 1931 Unvollständigkeitssatz
Alan Turing (1912-1954), Logiker, Mathematiker und Kryptoanalytiker: 1936 Turingmaschine, 1950 Turingtest
Noam Chomsky (Geboren 1928), Professor für Linguistik: 1956 Chomsky-Hierarchie
Stephen A. Cook (Geboren 1939), Professor der Informatik: 1971 SAT (engl.: Satisfiability) ist NP-vollständig