einführung theoretische informatik formale (24 resultados)

Broschiert. Condición: Gut. 4., überarb. Aufl. IX, 178 S. : graph. Darst. ; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 400.

Brosch., 167 S., Abbl., Tabellen, Zust. gut.

OBroschur. Condición: Gut. 2., überarbeitete Auflage. IX, 176 Seiten mit graphischen Darstellungen. Vorderdeckel mit leichter Knickspur, sonst gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 450.

gebundene Ausgabe. Condición: Gut. 424 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 860.

gebunden. Condición: Befriedigend. 176 S. Sprache: Deutsch Gewicht in Gramm: 364.

Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Condición: gut. Rechnung mit MwSt - Versand aus Deutschland pages.

Condición: gut. Rechnung mit MwSt - Versand aus Deutschland pages.

Hardcover. Condición: Wie neu. München, Pearson (2002). gr.8°. Einige Abb. 424 S. OPp. Wie neu.

Softcover. Condición: gut. Auflage: 1 (15. September 2002). Berechenbarkeit Abstrakte Rechnermodelle Entscheidungsprobleme Komplexität Komplexitätsklassen Das P-NP-Problem Formale Sprachen Grammatiken Reguläre Sprachen Kontextfreie Sprachen Deterministisch kontextfreie Sprachen Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einführungsvorlesung für Studenten im Haupt- und Nebenfach. Auch für Studierende mit geringen mathematischen Vorkenntnissen nachvollziehbar Zum Buch Eine anschauliche Einführung in die klassischen Themenbereiche der Theoretischen Informatik für Studierende der Informatik im Haupt- und Nebenfach. Die Autoren wählen einen Ansatz, der durch zahlreiche ausgearbeitete Beispiele auch LeserInnen mit nur elementaren Mathematikkenntnissen den Zugang zu Berechenbarkeit, Komplexitätstheorie und formalen Sprachen ermöglicht. Die mathematischen Konzepte werden sowohl formal eingeführt als auch informell erläutert und durch grafische Darstellungen veranschaulicht. Das Buch umfasst den Lehrstoff einführender Vorlesungen in die Theoretische Informatik und bietet zahlreiche Übungsaufgaben zu jedem Kapitel an. Aus dem Inhalt: Berechenbarkeit * Abstrakte Rechnermodelle * Entscheidungsprobleme Komplexität * Komplexitätsklassen * Das P-NP-Problem Formale Sprachen * Grammatiken * Reguläre Sprachen * Kontextfreie Sprachen * Deterministisch kontextfreie Sprachen * Entscheidungsprobleme für formale Sprachen Über die Autoren: Christel Baier ist Professorin an der Rheinischen Friedrich Wilhelms-Universität Bonn und bietet Vorlesungen zur Einführung in die Theoretische Informatik und zur Verifikation an. Alexander Asteroth ist inzwischen in der Industrie tätig .Auf der Website * Rund 100 Übungsaufgaben und * Lösungsvorschläge * Vorlesungsfolien * Alle Abbildungen des Buches Die meisten Studierenden der Mathematik oder Informatik werden mir zustimmen, wenn ich in vielen Büchern zu diesem Thema eine lernorientierte, flüssige und konzise Darstellung vermisse. Zu oft wird man mit Definitionen und Theoremen allein gelassen und versteht größere Zusammenhänge erst viel später oder gar nicht. Christel Baier und Alexander Asteroth schaffen hier, diese Lücke zwischen Theorie, Verständnis und Anwendung zu schließen. Hilfreich sind dabei natürlich die schon im Titel versprochenen Beispiele, die den Text sinnvoll begleiten. Sie sind weder zu leicht gewählt, was dem Thema nicht gerecht würde, noch zu schwer, was dem Verständnis abträglich wäre. Vielmehr konkretisieren sie, zeigen Probleme oder präsentieren die in Prüfungen so oft gebrauchten Gegenbeispiele. Das Buch läßt sich aber sicherlich nicht auf eine bloße Ansammlung von Beispielen reduzieren. Der Stoff wird formal und genau eingeführt und ist klassisch in Definitionen und Theoreme gegliedert. Dazwischen ist aber viel motivierender Text, der Zusammenhänge aufzeigt und die Problemstellungen unter verschiedenen Anschauungen beleuchtet. Jedes Kapitel wird außerdem von einem Satz Übungen beendet, die ich zur Lernkontrolle sehr brauchbar fand. Besonders gut hat mir auch das Layout gefallen. Algorithmen, Theoreme und Grafiken sind klar abgesetzt, unterlegt und stimmig betitelt. Auf diese Weise kann man auch beim Nachschlagen schnell fündig werden. Die behandelten Themen umfassen den Kern der Theoretischen InformatikTuring- und Registermaschinen, sowie Kellerautomaten und die zugehörgen formalen Sprachen. Berechenbarkeit und Komplexität werden ebenso ausführlich behandelt wie das Halteproblem und viele andere klassische Fragestellungen. Darüber hinaus gibt es einige Ausblicke in weitergehende Themen. Den mathematischen Anforderungen des Textes sollte sich jeder Studierende im Grundstudium Mathematik/Informatik gewachsen sehen. Es wird kein Verständis komplizierter Zusammenhänge, Symbole oder Programmiersprachen vorausgesetzt. Ich hatte Gelegenheit, das Buch während der Vorbereitungen zur Diplomprüfung in Theoretischer Informatik mit anderen zu vergleichen und fand in diesem Antworten auf viele Fragen und eine sorgfältige didaktische Aufbereitung. Meine Bewertung ist deshalb ganz klar fünf Sterne zusammen mit einer Empfehlung an Studierende der Mathematik und Informatik und alle anderen Interessierten. Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth Christel Baier Pearson Studium In deutscher Sprache. 414 pages. 24,7 x 17,7 x 3 cm.

Softcover. Condición: gut. 2002. Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einführungsvorlesung für Studenten im Haupt- und Nebenfach. Auch für Studierende mit geringen mathematischen Vorkenntnissen nachvollziehbar Autoren:Christel Baier ist Professorin an der Rheinischen Friedrich Wilhelms-Universität Bonn und bietet Vorlesungen zur Einführung in die Theoretische Informatik und zur Verifikation an. Alexander Asteroth ist inzwischen in der Industrie tätig.Auf der Website: In deutscher Sprache. 432 pages. 24,7 x 17,7 x 3 cm.

Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Paperback. Condición: Brand New. 5th edition. 191 pages. German language. 9.37x6.69x0.47 inches. In Stock.

Paperback. Condición: Brand New. 5th edition. 191 pages. German language. 9.37x6.69x0.47 inches. In Stock.

Softcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations.

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 176 | Sprache: Deutsch | Produktart: Bücher.

Condición: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 176 | Sprache: Deutsch | Produktart: Bücher.

Condición: Ausreichend. 4. Auflage, 2007, Bibliotheksexemplar, ü - Einband: Ecken geknickt - Seiten: einige Ecken geknickt.

Buch. Condición: Neu. Einführung in die Theoretische Informatik | Formale Sprachen und Automatentheorie | Ulrich Hedtstück | Buch | XIII | Deutsch | 2012 | De Gruyter Oldenbourg | EAN 9783486714043 | Verantwortliche Person für die EU: Walter de Gruyter GmbH, De Gruyter GmbH, Genthiner Str. 13, 10785 Berlin, productsafety[at]degruyterbrill[dot]com | Anbieter: preigu Print on Demand.