Theoretische Informatik: Eine problemorientierte Einführung

✍ Scribed by Volker Sperschneider, Barbara Hammer (auth.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Tongue: German
Leaves: 198
Series: Springer-Lehrbuch
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen.

✦ Table of Contents

Front Matter....Pages I-VIII
Einleitung — der rote Faden....Pages 1-4
Notationen....Pages 5-10
Semantik von Programmiersprachen — Spezifizieren, Implementieren, Verifizieren....Pages 11-50
Berechenbarkeitstheorie — auf den Punkt gebracht....Pages 51-104
Komplexitätstheorie — das Wichtigste für den praktischen Informatiker....Pages 105-130
Chomsky-Hierarchie — nur ein kurzer Seitenblick....Pages 131-163
Lösungen und Hinweise zu den Aufgaben....Pages 165-182
Back Matter....Pages 183-199

✦ Subjects

Logics and Meanings of Programs

📜 SIMILAR VOLUMES

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Dr. Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugle

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Dr. Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

Theoretische Informatik: Eine algorithme

📁 Theoretische Informatik: Eine algorithmenorientierte Einführung

✍ Prof. Dr. math. Ingo Wegener (auth.) 📂 Library 📅 1999 🏛 Vieweg+Teubner Verlag 🌐 German

Diese Einf?hrung in die zentralen Gebiete der Theoretischen Informatik kann als Text f?r eine Vorlesung im Grundstudium dienen. Es wird konsequent eine algorithmenorientierte Sichtweise eingenommen, d.h. die konstruktiven Ergebnisse werden in Algorithmen umgesetzt, die praktisch und theoretisch

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German

Diese Einf?hrung in die Theoretische Informatik zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen ?berblick ?ber die Komplexit?tstheorie. Das Buch eignet sich insbesondere f?r Anf?nger: Alle Beweise s

Theoretische Informatik: Eine umfassende

📁 Theoretische Informatik: Eine umfassende Einführung

✍ Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German

Diese Einf?hrung zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen ?berblick ?ber die Komplexit?tstheorie. Das Buch eignet sich insbesondere f?r Anf?nger, da alle Beweise im Detail ausgef?hrt sind. Da

Theoretische Informatik: Eine kompakte E

📁 Theoretische Informatik: Eine kompakte Einführung

✍ Prof. Dr. Klaus W. Wagner (auth.) 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt:Welche Probleme sind algorithmisch lösbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie