- Hauptmenü-

Katalogdatenanzeige

Theoretische Informatik: Eine umfassende Einführung

Kataloginformation Katalogdatensatz500128730 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	276229177 Buchausg. u.d.T.: ‡Erk, Katrin: Theoretische Informatik
ISBN	978-3-540-76319-2
Name	Erk, Katrin
Name	Priese, Lutz
Name ANZEIGE DER KETTE	Priese, Lutz
T I T E L	Theoretische Informatik
Zusatz zum Titel	Eine umfassende Einführung
Auflage	3., erweiterte Auflage
Verlagsort	Berlin, Heidelberg
Verlag	Springer Berlin Heidelberg
Erscheinungsjahr	2008
Erscheinungsjahr	2008
Umfang	Online-Ressource (XV, 485S. 115 Abb, digital)
Reihe	eXamen.press
Titelhinweis	Buchausg. u.d.T.: ‡Erk, Katrin: Theoretische Informatik
ISBN	ISBN 978-3-540-76320-8
Klassifikation	UYA
	MAT018000
	COM051010
	UY
	COM014000
	005.131
	004.0151
	QA8.9-QA10.3
	ST 120
	ST 125
	ST 130
Kurzbeschreibung	Begriffe und Notationen -- Begriffe und Notationen -- Eine kurze Einführung in die Aussagenlogik -- Eine kurze Einführung in die Aussagenlogik -- Formale Sprachen -- Grammatiken und formale Sprachen -- Reguläre Sprachen und endliche Automaten -- Kontextfreie Sprachen -- Turing-Maschinen -- Die Sprachklassen und -- Abschlußeigenschaften von Sprachklassen -- Berechenbarkeit -- Registermaschinen -- Rekursive Funktionen -- Unentscheidbare Probleme -- Alternative Berechnungsmodelle -- Komplexität.
2. Kurzbeschreibung	Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugleich eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, unter anderem Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen.
1. Schlagwortkette	Theoretische Informatik
1. Schlagwortkette	Lehrbuch
1. Schlagwortkette ANZEIGE DER KETTE	Theoretische Informatik -- Lehrbuch
2. Schlagwortkette	Theoretische Informatik
ANZEIGE DER KETTE	Theoretische Informatik
SWB-Titel-Idn	280592264
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-540-76320-8
Internetseite / Link	Volltext
Siehe auch	Inhaltsverzeichnis
Siehe auch	Cover

ISBD-Anzeige Katalogdatensatz500128730

Kategorien-Anzeige Katalogdatensatz500128730

Titel zur Titelsammlung hinzufügen Katalogdatensatz500128730

Kataloginformation500128730 Datensatzanfang . Kataloginformation500128730 Seitenanfang .

Titel vormerken Katalogdatensatz500128730

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.