Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Theoretische Informatik

Eine umfassende Einführung
BuchKartoniert, Paperback
499 Seiten
Deutsch
Springererschienen am07.08.20184. Aufl.
Die Theoretische Informatik untersucht die der Informatik zugrundeliegenden Konzepte, Modelle und Vorgehensweisen. In den folgenden drei Hauptabschnitten führt das Buch in die Theorie der formalen Sprachen und in die Theorie der Berechenbarkeit ein und gibt einen Überblick über die Komplexitätstheorie.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR44,99
E-BookPDF1 - PDF WatermarkE-Book
EUR22,47
E-BookPDF1 - PDF WatermarkE-Book
EUR34,99
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99
E-BookPDF1 - PDF WatermarkE-Book
EUR39,99

Produkt

KlappentextDie Theoretische Informatik untersucht die der Informatik zugrundeliegenden Konzepte, Modelle und Vorgehensweisen. In den folgenden drei Hauptabschnitten führt das Buch in die Theorie der formalen Sprachen und in die Theorie der Berechenbarkeit ein und gibt einen Überblick über die Komplexitätstheorie.
ZusammenfassungVerständlich und gut lesbar: Diese fundierte Einführung eignet sich insbesondere für Anfänger, da sie Beweise im Detail ausführt und insofern auch in die Technik des Beweisens einführt. Zusätzlich stellen die Autoren Nicht-Standard-Berechnungsmodelle vor...
Details
ISBN/GTIN978-3-662-57408-9
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2018
Erscheinungsdatum07.08.2018
Auflage4. Aufl.
Seiten499 Seiten
SpracheDeutsch
Gewicht856 g
IllustrationenXVI, 499 S.
Artikel-Nr.45198019

Inhalt/Kritik

Inhaltsverzeichnis
Begriffe und Notationen.- Eine kurze Einführung in die Aussagenlogik.- Grammatiken und formale Sprachen.- Reguläre Sprachen und endliche Automaten.- Kontextfreie Sprachen.- Turing-Maschinen.- Die Sprachklassen â, â0 und â1.- Abschlusseigenschaften von Sprachklassen.- Berechenbarkeit.- Registermaschinen.- Rekursive Funktionen.- Unentscheidbare Probleme.- Alternative Berechnungsmodelle.- Komplexität.mehr

Schlagworte

Autor

Lutz Priese: Studium der Mathematik an der Westfälischen Wilhelms-Universität Münster, Promotion 1974; Habilitation in Informatik 1979 an der Universität Dortmund; C3-Professor für Informatik an der Universität-Gesamthochschule Paderborn 1980 - 1991; seit 1991 C4-Professor für Theoretische Informatik an der Universität Koblenz-Landau, Gründungsleiter des Instituts für Computervisualistik, Gründung einer Firma zur industriellen Bildverarbeitung, 1. Innovationspreis des Landes Rheinland-Pfalz 2000.
Katrin Erk: Studium der Informatik an der Universität Koblenz-Landau, Promotion an der Universität des Saarlandes 2002; wissenschaftliche Mitarbeiterin am Institut für Computerlinguistik, Universität des Saarlandes 2002 - 2006; seit 2006 Professorin für Computerlinguistik an der University of Texas at Austin im Linguistics Department.