Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit

Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit von Hopcroft,  John E., Motwani,  Rajeev, Ullman,  Jeffrey D.
In dieser Neuauflage des Standardwerks vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten.
Aktualisiert: 2023-05-28
> findR *

Michael Haneke

Michael Haneke von Kaul,  Susanne, Palmier,  Jean-Pierre
Hanekes Filme sind preisgekrönt und umstritten. Sie sind formbewusst gestaltet und stellen auf provokative Art moralisch brisante Themen dar. Die erzählten Geschichten sind sowohl realistisch als auch modellhaft. Sie bieten keine offensichtlichen psychologischen Erklärungen und gesellschaftlichen Lösungen für die dargebotenen Charaktere und deren Konflikte.Dieses Buch erklärt die Formstrenge sowie die Medienreflexivität der Filme Hanekes und diskutiert auch die Fragen nach der Gewaltdarstellung und der moralischen Wirkung. Alle Kinofilme Hanekes, bis hin zu Happy End, werden analysiert. Darüber hinaus werden auch die Fernsehfilme Hanekes und seine Operninszenierungen in den Blick genommen. Die Interpretationen liefern Informationen zu den Produktions- und Rezeptionshintergründen der Filme sowie eingehende Analysen der Handlung und der audiovisuellen Gestaltung. Jedes Filmkapitel wird zudem mit einer exemplarischen Szenenanalyse abgeschlossen.
Aktualisiert: 2023-05-25
> findR *

Michael Haneke

Michael Haneke von Kaul,  Susanne, Palmier,  Jean-Pierre
Hanekes Filme sind preisgekrönt und umstritten. Sie sind formbewusst gestaltet und stellen auf provokative Art moralisch brisante Themen dar. Die erzählten Geschichten sind sowohl realistisch als auch modellhaft. Sie bieten keine offensichtlichen psychologischen Erklärungen und gesellschaftlichen Lösungen für die dargebotenen Charaktere und deren Konflikte.Dieses Buch erklärt die Formstrenge sowie die Medienreflexivität der Filme Hanekes und diskutiert auch die Fragen nach der Gewaltdarstellung und der moralischen Wirkung. Alle Kinofilme Hanekes, bis hin zu Happy End, werden analysiert. Darüber hinaus werden auch die Fernsehfilme Hanekes und seine Operninszenierungen in den Blick genommen. Die Interpretationen liefern Informationen zu den Produktions- und Rezeptionshintergründen der Filme sowie eingehende Analysen der Handlung und der audiovisuellen Gestaltung. Jedes Filmkapitel wird zudem mit einer exemplarischen Szenenanalyse abgeschlossen.
Aktualisiert: 2023-05-25
> findR *

Spektrum Spezial – Unendlichkeiten

Spektrum Spezial – Unendlichkeiten
Das Konzept, dass etwas über alle Grenzen wächst, hat Mathema¬tikern lange Kopfzerbrechen bereitet. Erst im 19. Jahrhundert gelang es ihnen, Mengen mit unendlich vielen Elementen systema¬tisch zu untersuchen und miteinander zu vergleichen. Denn unend¬lich ist nicht immer gleich unendlich! Für solche Schlussfolge¬rungen braucht es letztlich nur einige Axiome, auf denen mächtige Theorien aufbauen. Fachleute stellen nun manche der Annahmen auf die Probe und hinterfragen die bisherige Vorstellung von Un¬endlichkeit; sie wollen das jetzige Fundament der Mathematik erweitern. Andere nutzen das bewährte Grundlagensystem für un¬gewöhnliche Perspektivwechsel und verknüpfen Erkenntnisse aus unterschiedlichen Disziplinen. Das alles führt zu faszinierenden Einsichten, die vielleicht sogar unsere Vorstellungen von Raum und Zeit umwälzen.
Aktualisiert: 2022-10-13
> findR *

Spektrum Kompakt – Unendlich

Spektrum Kompakt – Unendlich
Seit Jahrtausenden fasziniert uns das Konzept der Unendlichkeit. Umso erstaunlicher ist es, dass es Mathematikern erst im 19. Jahrhundert gelang, die unvorstellbaren Größen konsistent in ihre Modelle einzubauen. Was sie dabei herausfanden, verwundert noch heute viele Menschen: Es gibt nicht nur eine Art von Unendlichkeit, sondern unendlich viele! Wie gewöhnliche Zahlen lassen sich einige von ihnen ordnen – bei anderen ist man sich dagegen nicht einmal sicher, ob sie wirklich existieren. Die Welt der Unendlichkeiten steckt noch heute voller Rätsel und Überraschungen; einige davon möchten wir Ihnen hier vorstellen.
Aktualisiert: 2022-01-13
> findR *

Spektrum Kompakt – Unendlich

Spektrum Kompakt – Unendlich
Seit Jahrtausenden fasziniert uns das Konzept der Unendlichkeit. Umso erstaunlicher ist es, dass es Mathematikern erst im 19. Jahrhundert gelang, die unvorstellbaren Größen konsistent in ihre Modelle einzubauen. Was sie dabei herausfanden, verwundert noch heute viele Menschen: Es gibt nicht nur eine Art von Unendlichkeit, sondern unendlich viele! Wie gewöhnliche Zahlen lassen sich einige von ihnen ordnen – bei anderen ist man sich dagegen nicht einmal sicher, ob sie wirklich existieren. Die Welt der Unendlichkeiten steckt noch heute voller Rätsel und Überraschungen; einige davon möchten wir Ihnen hier vorstellen.
Aktualisiert: 2020-07-09
> findR *

Grenzen der Mathematik

Grenzen der Mathematik von Hoffmann,  Dirk W.
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik. Heute wissen wir, dass in der Mathematik erkenntnistheoretische Grenzen existieren, die wir nicht überwinden können. Sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch).
Aktualisiert: 2023-03-14
> findR *

Elementare Berechenbarkeitstheorie

Elementare Berechenbarkeitstheorie von Smith,  Einar
Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen Berechenbarkeit Interessierten geeignet; vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.
Aktualisiert: 2023-03-14
> findR *

Die Gödel’schen Unvollständigkeitssätze

Die Gödel’schen Unvollständigkeitssätze von Hoffmann,  Dirk W.
Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit.In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.
Aktualisiert: 2023-04-01
> findR *

Michael Haneke

Michael Haneke von Kaul,  Susanne, Palmier,  Jean-Pierre
Hanekes Filme sind preisgekrönt und umstritten. Sie sind formbewusst gestaltet und stellen auf provokative Art moralisch brisante Themen dar. Die erzählten Geschichten sind sowohl realistisch als auch modellhaft. Sie bieten keine offensichtlichen psychologischen Erklärungen und gesellschaftlichen Lösungen für die dargebotenen Charaktere und deren Konflikte.Dieses Buch erklärt die Formstrenge sowie die Medienreflexivität der Filme Hanekes und diskutiert auch die Fragen nach der Gewaltdarstellung und der moralischen Wirkung. Alle Kinofilme Hanekes, bis hin zu Happy End, werden analysiert. Darüber hinaus werden auch die Fernsehfilme Hanekes und seine Operninszenierungen in den Blick genommen. Die Interpretationen liefern Informationen zu den Produktions- und Rezeptionshintergründen der Filme sowie eingehende Analysen der Handlung und der audiovisuellen Gestaltung. Jedes Filmkapitel wird zudem mit einer exemplarischen Szenenanalyse abgeschlossen.
Aktualisiert: 2023-04-24
> findR *

Michael Haneke

Michael Haneke von Kaul,  Susanne, Palmier,  Jean-Pierre
Hanekes Filme sind preisgekrönt und umstritten. Sie sind formbewusst gestaltet und stellen auf provokative Art moralisch brisante Themen dar. Die erzählten Geschichten sind sowohl realistisch als auch modellhaft. Sie bieten keine offensichtlichen psychologischen Erklärungen und gesellschaftlichen Lösungen für die dargebotenen Charaktere und deren Konflikte.Dieses Buch erklärt die Formstrenge sowie die Medienreflexivität der Filme Hanekes und diskutiert auch die Fragen nach der Gewaltdarstellung und der moralischen Wirkung. Alle Kinofilme Hanekes, bis hin zu Happy End, werden analysiert. Darüber hinaus werden auch die Fernsehfilme Hanekes und seine Operninszenierungen in den Blick genommen. Die Interpretationen liefern Informationen zu den Produktions- und Rezeptionshintergründen der Filme sowie eingehende Analysen der Handlung und der audiovisuellen Gestaltung. Jedes Filmkapitel wird zudem mit einer exemplarischen Szenenanalyse abgeschlossen.
Aktualisiert: 2023-04-24
> findR *

Die Gödel’schen Unvollständigkeitssätze

Die Gödel’schen Unvollständigkeitssätze von Hoffmann,  Dirk W.
Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit.In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.
Aktualisiert: 2023-04-04
> findR *

Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit

Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit von Hopcroft,  John E., Motwani,  Rajeev, Ullman,  Jeffrey D.
In dieser Neuauflage des Standardwerks vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten.
Aktualisiert: 2023-04-28
> findR *

Elementare Berechenbarkeitstheorie

Elementare Berechenbarkeitstheorie von Smith,  Einar
Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen Berechenbarkeit Interessierten geeignet; vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN

Bücher zum Thema Unentscheidbarkeit

Sie suchen ein Buch über Unentscheidbarkeit? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Unentscheidbarkeit. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Unentscheidbarkeit im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Unentscheidbarkeit einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Unentscheidbarkeit - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Unentscheidbarkeit, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Unentscheidbarkeit und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.