Blick ins Buch

Berechenbarkeit, Komplexität, Logik

Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Egon Börger (Autor)

Buch | Softcover

XVII, 470 Seiten

1986 | 2. Aufl. 1986
Vieweg & Teubner (Verlag)
978-3-528-18928-0 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegriff.- B: Komplexität Algorithmischer Unlösbarkeit.- C: Rekursivität Und Komplexität.- Zweites Buch: Elementare Prädikatenlogik.- D: Logische Analyse des Wahrheitsbegriffs.- E: Logische Analyse des Beweisbegriffs.- F: Komplexität Logischer Entscheidungsprobleme.- Bibliographie.- Symbolverzeichnis.

Erscheint lt. Verlag	1.1.1986
Zusatzinfo	XVII, 470 S.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	747 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
	Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
	Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik
Schlagworte	Algorithm analysis and problem complexity • Algorithmen • Algorithmic Complexity • Berechenbarkeit • Berechnung • Beweis • Complexity • Entscheidung • Entscheidungsproblem • Komplexität • Prädikate • Prädikatenlogik • Sprache • Symbol
ISBN-10	3-528-18928-2 / 3528189282
ISBN-13	978-3-528-18928-0 / 9783528189280
Zustand	Neuware