Author: Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation
Title: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
Description: , Pearson Studium, Auflage: 1 (15. September 2002). 414, 24,7 x 17,7 x 3 cm, Softcover. Zustand: 2. 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össere 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 schliessen. 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ässt sich aber sicherlich nicht auf eine blosse 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 ausserdem 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 ISBN: 3827370337. Gewicht/weight: 2000 gr.
Keywords: 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 ih
Title: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
Description: , Pearson Studium, Auflage: 1 (15. September 2002). 414, 24,7 x 17,7 x 3 cm, Softcover. Zustand: 2. 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össere 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 schliessen. 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ässt sich aber sicherlich nicht auf eine blosse 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 ausserdem 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 ISBN: 3827370337. Gewicht/weight: 2000 gr.
Keywords: 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 ih
Price: EUR 42.90 = appr. US$ 46.63 Seller: LLU Buchservice
- Book number: BN16478
- Book number: BN16478