Blick ins Buch

Grundkurs Theoretische Informatik mit Aufgaben und Prüfungsfragen

Boris Hollas (Autor)

Buch | Softcover

XII, 212 Seiten

2007
Spektrum Akademischer Verlag
978-3-8274-1826-5 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Zu diesem Artikel existiert eine Nachauflage

Grundkurs Theoretische Informatik

Boris Hollas

2015, 2. Auflage

Buch | Softcover

CHF 48, ⁹⁵

zur Neuauflage

Dieses Buch zeigt, dass Theoretische Informatik nicht schwer sein muss. Über 80 Beispiele und 100 Abbildungen helfen beim Verständnis des Stoffes, der die zentralen Gebiete einer Grundvorlesung Theoretische Informatik umfasst. Jedes Kapitel enthält zahlreiche, darauf abgestimmte Aufgaben und Prüfungsfragen mit vollständigen Lösungen. Ohne sich in Details zu verlieren, werden wichtige Beweisideen ausführlich dargestellt, formale Definitionen zuerst anschaulich erläutert. Aus dem Inhalt:- Grundlegende Beweistechniken- Graphen und Algorithmen- Automaten, formale Sprachen und Grammatiken- Berechenbarkeit und Entscheidbarkeit- NP-vollständige Probleme- Anwendungen und ProgrammierbeispieleDieses Buch richtet sich besonders an Studenten im Grundstudium, die eine Vorlesung Theoretische Informatik hören oder sich auf eine Prüfung vorbereiten.

Dr. Boris Hollas war viele Jahre Assistent in der Abteilung Theoretische Informatik der Universität Ulm und arbeitet jetzt bei Bosch Corporate Research.

Vorwort1 Grundlagen1.1 Beweistechniken1.2 Aussagenlogik1.3 O-Notation und Landau-Symbole1.4 Graphen1.5 Prüfungsfragen2 Automaten und formale Sprachen2.1 Sprachen und Mengenoperationen2.2 Grammatiken2.3 Reguläre Sprachen2.4 Kontextfreie Sprachen2.5 Abschlusseigenschaften von Sprachen2.6 Turing-Maschinen2.7 Prüfungsfragen3 Berechenbarkeit, Entscheidbarkeit und Komplexität3.1 Berechenbarkeit3.2 Entscheidbarkeit3.3 Komplexitätstheorie3.4 Prüfungsfragen4 Lösungen der Aufgaben4.1 Grundlagen4.2 Formale Sprachen4.3 Berechenbarkeit, Entscheidbarkeit und KomplexitätAnhang AA.1 Übersicht AutomatenA.2 Reguläre Ausdrücke unter UnixA.3 NotationenLiteraturverzeichnisIndex

Sprache	deutsch
Maße	148 x 210 mm
Gewicht	326 g
Einbandart	Paperback
Themenwelt	Informatik ► Theorie / Studium ► Theoretische Informatik
Schlagworte	Aufgabensammlung • Grundkurs • Informatik; Übungen • Informatik; Übungen • Prüfungstrainer • Theoretische Informatik
ISBN-10	3-8274-1826-7 / 3827418267
ISBN-13	978-3-8274-1826-5 / 9783827418265
Zustand	Neuware