Theoretische Informatik - kurzgefasst. (Spektrum Hochschultaschenbücher) (Taschenbuch) von Uwe Schöning   Kurzbeschreibung: Der Autor führt den Leser in kompakter Form, jedoch mit durchweg vollständig ausgeführten Beweisen, in die wesentlichen Grundlagen der Theoretischen Informatik ein. Das Buch ist nach den drei Hauptgebieten Automatentheore und formale Sprachen, Berechenbarkeitstheorie, Komplexitätstheorie gegliedert: Der erste Teil gibt einen Überblick über die Sprachklassen der Chomsky-Hierarchie, deren Grammatik- und Automatencharakterisierung und deren Abschluß- und Entscheidbarkeitseigenschaften. Der Berechenbarkeitsteil stellt unterschiedliche Ansätze der Berechenbarkeitsdefinition sowie deren Äquivalenzbeweise zur Unterstützung der Churchschen These vor. Verschiedene Unentscheidbarkeitsnachweise, z.B. vom Halteproblem und auch von Problemen der Theorie der Formalen Sprachen und der Logik werden geführt.Die Besprechung der Komplexitätstheorie konzentriert sich auf die Theorie der NP-Vollständigkeit und entwicklet diesen Begriff aus der Berechenbarkeit, speziell dem Turingmaschinenmodell. Ein Anliegen des Buches ist es, die vielfältigen Querbezüge zwischen den drei Gebieten aufzuzeigen.Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm. Lesen Sie mehr... Rezensionen ansehen...   Angebote zu  Theoretische ,  Informatik ,  Spektrum  ab 1 Euro! Siehe auch folgende Artikel: Logik für Informatiker. (Spektrum Lehrbuch) von Uwe Schöning Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. von John E. Hopcroft Moderne Betriebssysteme von Andrew S. Tanenbaum Theoretische Informatik. Eine algorithmenorientierte Einführung von Ingo Wegener Mehr zu  Theoretische Informatik,  Computer & Internet Home ...,    Angebote ansehen ...,    Begleitseite ... Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de Copyright © DomainLoc.com GmbH (Impressum)