Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika
8 Angebote vergleichen

Preise20132014201520182021
Schnitt 115,13 76,25 84,96 83,02 75,90
Nachfrage
Bester Preis: 15,00 (vom 10.04.2014)
1
3827370337 - Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika
Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika (2002)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 3827370337 bzw. 9783827370334, in Deutsch, Pearson Studium Pearson Studium, Taschenbuch, gebraucht.

Von Händler/Antiquariat, Buchservice-Lars-Lutzer Lars Lutzer Einzelunternehmer, 23795 Bad Segeberg.
Auflage: 1 (15. September 2002) Softcover 414 S. 24,7 x 17,7 x 3 cm Broschiert Zustand: gebraucht - sehr gut, 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 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, gebraucht; sehr gut.
2
9783827370334 - Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika
Symbolbild
Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika (2002)

Lieferung erfolgt aus/von: Deutschland DE PB

ISBN: 9783827370334 bzw. 3827370337, in Deutsch, Pearson Studium, Taschenbuch.

71,88 ($ 84,15)¹ + Versand: 7,15 ($ 8,37)¹ = 79,03 ($ 92,52)¹
unverbindlich
Lieferung aus: Deutschland, Versandkosten nach: DEU.
Von Händler/Antiquariat, Lars Lutzer.
Pearson Studium: Pearson Studium, Auflage: 1 (15. September 2002). Auflage: 1 (15. September 2002). Softcover. 24,7 x 17,7 x 3 cm. 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 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.
3
3827370337 - Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika
Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika (2014)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 3827370337 bzw. 9783827370334, in Deutsch, Pearson Studium, Taschenbuch, gebraucht, guter Zustand.

Von Händler/Antiquariat, Buchservice-Lars-Lutzer Lars Lutzer Einzelunternehmer, 23812 Wahlstedt.
Auflage: 1 (15. September 2002) Softcover 414 S. 24,7 x 17,7 x 3 cm Broschiert Zustand: gebraucht - sehr gut, 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 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, gebraucht; sehr gut, 2014-09-19.
4
3827370337 - Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika
Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika (2002)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 3827370337 bzw. 9783827370334, in Deutsch, Pearson Studium Pearson Studium, Taschenbuch, gebraucht.

69,90 + Versand: 6,95 = 76,85
unverbindlich
Lieferung aus: Deutschland, Versandkosten in die BRD.
Von Händler/Antiquariat, BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERATUR RECHERCHE *** ANTIQUARISCHE SUCHE, 23795 Bad Segeberg.
Auflage: 1 (15. September 2002) Softcover 414 S. 24,7 x 17,7 x 3 cm Zustand: gebraucht - sehr gut, 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 Versand D: 6,95 EUR 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.
5
9783827370334 - Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika
Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Verifika (2002)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783827370334 bzw. 3827370337, in Deutsch, Pearson Studium Auflage: 1 (15. September 2002), Pearson Studium, Taschenbuch, gebraucht.

69,90 + Versand: 6,95 = 76,85
unverbindlich
Von Händler/Antiquariat, BUCHSERVICE / ANTIQUARIAT Lars Lutzer [53994756], Bad Segeberg, Germany.
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 un.
6
9783827370334 - Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Rhe
Alexander Asteroth Prof. Christel Baier Professorin Rheinische Friedrich Wilhelms-Universität Bonn Verifikation

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen von (Autor), Rhe (2002)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783827370334 bzw. 3827370337, in Deutsch, 414 Seiten, Pearson Studium, Pearson Studium, Taschenbuch, gebraucht.

65,90 + Versand: 6,95 = 72,85
unverbindlich
Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, Buchservice Lars Lutzer, [4352386].
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, Auflage: 1 (15. September 2002), Softcover, leichte Gebrauchsspuren, 24,7 x 17,7 x 3 cm, 2000g, Auflage: 1 (15. September 2002), 414, Internationaler Versand, offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung.
7
3827370337 - Alexander Asteroth und Christel Baier: Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität formale Sprachen mit 101 Beispielen von
Alexander Asteroth und Christel Baier

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität formale Sprachen mit 101 Beispielen von (2002)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 3827370337 bzw. 9783827370334, in Deutsch, Addison Wesley ein Imprint von Pearson Deutschland Addison Wesley ein Imprint von Pearson Deutschland, Taschenbuch, gebraucht.

159,90 + Versand: 6,95 = 166,85
unverbindlich
Lieferung aus: Deutschland, Versandkosten in die BRD.
Von Händler/Antiquariat, BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERATUR RECHERCHE *** ANTIQUARISCHE SUCHE, 23795 Bad Segeberg.
2002 Softcover 432 S. 24,7 x 17,7 x 3 cm Zustand: gebraucht - sehr gut, 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: Versand D: 6,95 EUR 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:
8
3827370337 - Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen [Sep 15, 2002] Asteroth, Alexander and Baier, Christel
Symbolbild

Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen [Sep 15, 2002] Asteroth, Alexander and Baier, Christel (2002)

Lieferung erfolgt aus/von: Deutschland DE US

ISBN: 3827370337 bzw. 9783827370334, in Deutsch, Pearson Studium, München/Boston, Deutschland, gebraucht.

79,90 + Versand: 6,95 = 86,85
unverbindlich
Lieferung aus: Deutschland, Versandkosten in die BRD.
Von Händler/Antiquariat, BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERATUR RECHERCHE *** ANTIQUARISCHE SUCHE, 23795 Bad Segeberg.
Zustand: gebraucht - sehr gut, Rechnung mit MwSt - Versand aus Deutschland Versand D: 6,95 EUR.
Lade…