Skip navigation

Bookboon.com Download von kostenlosen eBooks für Studium und Beruf

Choose a category

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik
Noch keine Beurteilung
ISBN: 978-87-403-1185-3
1. Auflage
Seiten : 140
  • Preis: 129,00 kr
  • Preis: €13,99
  • Preis: £13,99
  • Preis: ₹250
  • Preis: $13,99
  • Preis: 129,00 kr
  • Preis: 129,00 kr

KOSTENLOS downloaden in 4 einfachen Schritten...

Um unsere Bücher herunterzuladen oder Videos anzusehen, benötigen Sie einen Browser, der JavaScript zulässt.
Nachdem Sie Ihre Email angegeben haben, schicken wir Ihnen eine Bestätigungsmail. Durch Klicken auf den dort angezeigten Link erhalten Sie unseren Newsletter. Wir geben Ihre Daten nicht an eine Dritte weiter.
eLib
Entdecken Sie das Lernpotenzial Ihrer Organisation
Demo anschauen

Unternehmens-eLibrary

Unsere Business Lösung für Weiterbildung

Das ist ein Premium eBook

Bookboon Premium - Erhalten Sie Zugang zu über 800 eBooks - ohne Werbeanzeigen

Erhalten Sie kostenlosen Zugang für einen Monat - und 800 andere Bücher mit dem Premium Abo. Sie können das Buch auch einzeln kaufen

  • Kostenloses 30-Tage Probeabo. Dann 39,99 kr p. M.
  • Kostenloses 30-Tage Probeabo. Dann €5,99 p. M.
  • Kostenloses 30-Tage Probeabo. Dann £4,99 p. M.
  • Kostenloses 30-Tage Probeabo. Dann ₹299 p. M.
  • Kostenloses 30-Tage Probeabo. Dann $3,99 p. M.
  • Kostenloses 30-Tage Probeabo. Dann 39,99 kr p. M.
  • Kostenloses 30-Tage Probeabo. Dann 39,99 kr p. M.
eLib
Entdecken Sie das Lernpotenzial Ihrer Organisation
Hier klicken!

Unternehmens-eLibrary

Unsere Business Lösung für Weiterbildung

Über das Buch

  1. Beschreibung
  2. Inhalt

Beschreibung

In der Theoretische Informatik wird, hautpsächlich mit mathematischen Methoden und Instrumenten, eine Begründung für viele in der Praxis der Informatik auftretenden Phänomene gegeben. Grob kann man folgende Teilgebiete unterscheiden:

  • Die Automatentheorie, die eine Formalisierung des Begriffs des Automaten vornimmt und untersucht, was die unterschiedlichen Typen von Automaten zu leisten imstande sind.
  • Die Algorithmentheorie, in der untersucht wird, was und mit welchem Aufwand berechenbar ist.
  • Die Theorie formaler Sprachen, die sich mit der Klassifikation von formalen, das heisst künstlichen, Sprachen und deren Eigenschaften wie die zur Beschreibung erforderlichen Grammatiken beschäftigt.

Diese drei Komplexe sind in den universitären Studiengängen zur Informatik meist im Rahmen einer Vorlesung ''Theoretische Informatik'' abgehandelt. Das Buch verfolgt das Anliegen, den Studierenden für diese Vorlesung zusätzlich Material zur Verfügung zu stellen. Es geht primär darum, durch auch verbale Erläuterungen und Beispiele Schwierigkeiten im Verständnis des Vorlesungsstoffes zu beheben. Vertiefende Betrachtungen sind nicht angestrebt. Dadurch wird der Umfang auf eine für das begleitende Studium erträglichen Größe gehalten.

Dabei werden aber die engen Zusammenhänge, die zwischen den einzelnen Gebieten existieren und für das Verständnis wichtig sind gebührend berücksichtigt. Im Buch werden die Beziehungen zwischen Automaten und Sprachen beziehungsweise deren Grammatiken und den Algorithmen besonders betont. Das erfolgt unter Verzicht auf gewisse spezielle Eigenschaften der einzelnen Teilgebiete, zum Beipiel der Komplezität von Algorithmen.

Die der theoretischen Informatik mathematische Vorgehensweise, verbunden mit einer strengen Formalisierung kann auch im Buch nicht umgangen werden. Für ein besseres Verständnis wird aber zum Formalismus der Inhalt informal erläutert. Wo möglich und sinnvoll, werden Beispiele zur Demonstration hinzugezogen. Notwendige mathematische Vorkenntnisse können in einem Anhang nachgeschlagen werden.

Inhalt

  1. Ein Vorwort
  2. Abstrakte Automaten
    1. Das allgemeine Modell
    2. Endliche Akzeptoren
    3. Reguläre Wortmengen
    4. Deterministische endliche Akzeptoren
    5. Minimisierung reduzierter, totaler deterministischer endlicher Akzeptoren
  3. Berechenbarkeit, Entscheidbarkeit und Aufzählbarkeit
    1. Intuitive Anforderungen an Algorithmen
    2. Programme, Programmgesteuerte Rechenautomaten und berechenbare Funktionen
    3. Erweiterung des Standardbefehlssatzes
    4. Wohlstrukturierte Programme
    5. Entscheidbare und aufzählbare Mengen
  4. Rekursionstheorie
    1. Partiell-rekursive Funktionen
    2. Beziehung zu den berechenbaren Funktionen
    3. Mehr über partiell rekursive Funktionen
    4. Mehr über aufzählbare und nicht aufzählbare Mengen
  5. Grammatiken
    1. Typ 0: Der allgemeine Fall
    2. Typ 1: Nichtverkürzende und kontextsensitive Grammatiken
    3. Typ 2: Kontextfreie Grammatiken
    4. Typ 3: Einseitig lineare Grammatiken
  6. Noch mehr Automaten
    1. Turing-Automaten
    2. Linear-Bounded Automaten
    3. Push-Down Automaten
    4. Finite-State Automaten
  7. Weitere Eigenschaften formaler Sprachen
    1. Abschlusseigenschaften
    2. Entscheidbarkeitseigenschaften
This website uses cookies to improve user experience. By using our website you consent to all cookies in accordance with EU regulation.