Cantitate/Preț
Produs

Komplexität von Entscheidungsproblemen: Ein Seminar: Lecture Notes in Computer Science, cartea 43

Editat de E. Specker, V. Strassen
de Limba Germană Paperback – iul 1976

Din seria Lecture Notes in Computer Science

Preț: 13373 lei

Preț vechi: 16716 lei
-20% Nou

Puncte Express: 201

Preț estimativ în valută:
2559 2658$ 2126£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540078050
ISBN-10: 3540078053
Pagini: 224
Ilustrații: 217 S.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1976
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.