Strassen / Specker | Komplexität von Entscheidungsproblemen | Buch | 978-3-540-07805-0 | www.sack.de

Buch, Deutsch, Band 43, 217 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 347 g

Reihe: Lecture Notes in Computer Science

Strassen / Specker

Komplexität von Entscheidungsproblemen

Ein Seminar
1976
ISBN: 978-3-540-07805-0
Verlag: Springer Berlin Heidelberg

Ein Seminar

Buch, Deutsch, Band 43, 217 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 347 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-07805-0
Verlag: Springer Berlin Heidelberg


Springer Book Archives

Strassen / Specker Komplexität von Entscheidungsproblemen jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion.- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems.- III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind.- IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben.- V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme.- VI. Polynomiale Transformationen und Auswahlaxiom.- VII. Spektralproblem und Komplexitätstheorie.- VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme.- IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper.- X. Simulation von Turingmaschinen mit logischen Netzen.- XI. Längen von Formeln.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.