Angebote zu "Formale" (59 Treffer)

Kategorien

Shops

Theoretische Informatik
19,95 € *
ggf. zzgl. Versand

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Theoretischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Formale Sprachen, endliche Automaten mit und ohne Ausgabe, Minimierung endlicher Automaten, Kellerautomaten, Turingmaschinen, rechtslineare, kontextfreie, monotone/kontextsensitive, allgemeine Grammatiken, Pumping-Lemmas, Berechenbarkeits- und Komplexitätstheorie und weitere.

Anbieter: Dodax AT
Stand: 29.01.2020
Zum Angebot
Theoretische Informatik
19,95 € *
ggf. zzgl. Versand

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Theoretischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Formale Sprachen, endliche Automaten mit und ohne Ausgabe, Minimierung endlicher Automaten, Kellerautomaten, Turingmaschinen, rechtslineare, kontextfreie, monotone/kontextsensitive, allgemeine Grammatiken, Pumping-Lemmas, Berechenbarkeits- und Komplexitätstheorie und weitere.

Anbieter: Dodax
Stand: 29.01.2020
Zum Angebot
Übungsbuch Automaten und formale Sprachen
29,99 € *
ggf. zzgl. Versand

Die theoretische Informatik ist - wie der Namen schon sagt - ein höchst abstraktes Teilgebiet der Informatik. Die Übungen in diesem Buch ermöglichen Schülern und Studierenden einen leichteren Zugang zu dem vielschichtigen Themenkomplex "Automaten und formalen Sprachen". Denn "träges", hoch theoretisches Wissen lässt sich oft erst durch praktische Anwendung meistern. Dieses praktische Übungsbuch beinhaltet 117 Aufgaben zu folgenden Themen: - endlichen Automaten - Grammatiken - Kellerautomaten - regulären Ausdrücken und regulären Sprachen Alle Übungen in diesem Buch sind darauf ausgelegt, die theoretischen Inhalte zu erproben und zu vertiefen. Die Aufgabenstellungen und die Lösungen werden Schritt für Schritt und durch viele Abbildungen anschaulich gemacht. Dabei sind sämtliche Lösungen detailliert ausgearbeitet und zeigen leicht nachvollziehbare Lösungswege. Doch der Autor geht sogar noch über die konkrete Einübung des Lernstoffs hinaus. Seine Übungen schulen die Leser überdies in wichtigen anderen Fähigkeiten (wie Zeitmanagement, Motivation und Konzentration), die ebenfalls entscheidend für den Prüfungserfolg sein können. Damit ist das Übungsbuch ein idealer Begleiter für alle Schüler und Studierende, die sich effektiv auf Klausuren und Prüfungen vorbereiten möchten. Der Band richtet sich insbesondere an Studierende der Informatik, Mathematik, Informationstechnologie, Elektro- und Medientechnik und an Schüler in der gymnasialen Oberstufe und ihre Lehrer und Dozenten.

Anbieter: Dodax
Stand: 29.01.2020
Zum Angebot
Gleichgewichts- und Gibbs-Masse für Zelluläre A...
69,90 € *
ggf. zzgl. Versand

Zelluläre Automaten sind ein mächtiges Instrument, um die diskrete Dynamik komplexer räumlicher Strukturen auf einem Gitter zu modellieren. Ihre Konstruktion in den 1940er Jahren geht auf Stanislav Ulam und Jon Von Neumann zurück. Dieser Ansatz ist so allgemein, dass sehr unterschiedliche Objekte beschrieben werden können. Diese umfassen u. a. physikalische, biologische und verkehrstechnische Systeme. Aber selbst die formale Darstellung logischer Modelle oder abzählbarer Gruppen lassen sich auf zelluläre Automaten zurückführen. Deshalb ist es nicht verwunderlich, dass eine einheitliche und umfassende mathematische Analyse bisher nicht entwickelt werden konnte. Numerische Untersuchungen von Modellen des Straßenverkehrs als zellulären Automaten haben gezeigt, dass abhängig vom intensiven Parameter "Verkehrsdichte" die extensive Größe "Verkehrsfluss" das bekannte Phänomen des Phasenüberganges aufweist. Wollte man dieses Phänomen mathematisch rigoros untersuchen, so müsste man das dynamischen Verhalten mit Hilfe von Gleichgewichtszuständen des thermodynamischen Formalismus im Sinne von YAKOV SINAI , RUFUS BOWEN und DAVID RUELLE beschreiben. Dies war Ausgangspunkt dieser Arbeit.

Anbieter: Dodax
Stand: 29.01.2020
Zum Angebot
Übungsbuch Automaten und formale Sprachen
30,83 € *
ggf. zzgl. Versand

Die theoretische Informatik ist - wie der Namen schon sagt - ein höchst abstraktes Teilgebiet der Informatik. Die Übungen in diesem Buch ermöglichen Schülern und Studierenden einen leichteren Zugang zu dem vielschichtigen Themenkomplex "Automaten und formalen Sprachen". Denn "träges", hoch theoretisches Wissen lässt sich oft erst durch praktische Anwendung meistern. Dieses praktische Übungsbuch beinhaltet 117 Aufgaben zu folgenden Themen: - endlichen Automaten - Grammatiken - Kellerautomaten - regulären Ausdrücken und regulären Sprachen Alle Übungen in diesem Buch sind darauf ausgelegt, die theoretischen Inhalte zu erproben und zu vertiefen. Die Aufgabenstellungen und die Lösungen werden Schritt für Schritt und durch viele Abbildungen anschaulich gemacht. Dabei sind sämtliche Lösungen detailliert ausgearbeitet und zeigen leicht nachvollziehbare Lösungswege. Doch der Autor geht sogar noch über die konkrete Einübung des Lernstoffs hinaus. Seine Übungen schulen die Leser überdies in wichtigen anderen Fähigkeiten (wie Zeitmanagement, Motivation und Konzentration), die ebenfalls entscheidend für den Prüfungserfolg sein können. Damit ist das Übungsbuch ein idealer Begleiter für alle Schüler und Studierende, die sich effektiv auf Klausuren und Prüfungen vorbereiten möchten. Der Band richtet sich insbesondere an Studierende der Informatik, Mathematik, Informationstechnologie, Elektro- und Medientechnik und an Schüler in der gymnasialen Oberstufe und ihre Lehrer und Dozenten.

Anbieter: Dodax AT
Stand: 29.01.2020
Zum Angebot
Gleichgewichts- und Gibbs-Masse für Zelluläre A...
71,90 € *
ggf. zzgl. Versand

Zelluläre Automaten sind ein mächtiges Instrument, um die diskrete Dynamik komplexer räumlicher Strukturen auf einem Gitter zu modellieren. Ihre Konstruktion in den 1940er Jahren geht auf Stanislav Ulam und Jon Von Neumann zurück. Dieser Ansatz ist so allgemein, dass sehr unterschiedliche Objekte beschrieben werden können. Diese umfassen u. a. physikalische, biologische und verkehrstechnische Systeme. Aber selbst die formale Darstellung logischer Modelle oder abzählbarer Gruppen lassen sich auf zelluläre Automaten zurückführen. Deshalb ist es nicht verwunderlich, dass eine einheitliche und umfassende mathematische Analyse bisher nicht entwickelt werden konnte. Numerische Untersuchungen von Modellen des Straßenverkehrs als zellulären Automaten haben gezeigt, dass abhängig vom intensiven Parameter "Verkehrsdichte" die extensive Größe "Verkehrsfluss" das bekannte Phänomen des Phasenüberganges aufweist. Wollte man dieses Phänomen mathematisch rigoros untersuchen, so müsste man das dynamischen Verhalten mit Hilfe von Gleichgewichtszuständen des thermodynamischen Formalismus im Sinne von YAKOV SINAI , RUFUS BOWEN und DAVID RUELLE beschreiben. Dies war Ausgangspunkt dieser Arbeit.

Anbieter: Dodax AT
Stand: 29.01.2020
Zum Angebot
Formale Sprachen, abstrakte Automaten und Compiler
32,99 € *
ggf. zzgl. Versand

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Übungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler für eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafür notwendigen Beiträge erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert.Zur Modellierung formaler Sprachen, regulärer Ausdrücke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzte Komponenten zur Verfügung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell für das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Übungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen.

Anbieter: Dodax
Stand: 29.01.2020
Zum Angebot
Formale Sprachen, abstrakte Automaten und Compiler
33,91 € *
ggf. zzgl. Versand

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Übungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler für eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafür notwendigen Beiträge erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert.Zur Modellierung formaler Sprachen, regulärer Ausdrücke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzte Komponenten zur Verfügung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell für das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Übungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen.

Anbieter: Dodax AT
Stand: 29.01.2020
Zum Angebot
Theoretische Informatik - kurz gefasst
28,78 € *
ggf. zzgl. Versand

Dieses in der 5. Auflage vorliegende Standardwerk macht Studierende in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Es schließt sich die Behandlung der Berechenbarkeitstheorie und der Komplexitätstheorie an. Dem Autor gelingt durch seinen verständlichen Beweisstil und viele Beispiele eine übersichtliche und im Detail gut nachvollziehbare Darstellung der Theoretischen Informatik.

Anbieter: Dodax AT
Stand: 29.01.2020
Zum Angebot