𝔖 Scriptorium
✦   LIBER   ✦

📁

Theoretische Informatik: Eine algorithmenorientierte Einführung

✍ Scribed by Prof. Dr. math. Ingo Wegener (auth.)


Publisher
Vieweg+Teubner Verlag
Year
1999
Tongue
German
Leaves
247
Series
Leitfäden der Informatik
Edition
2., durchgesehene Aufl.
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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 effizient sind. Damit wird eine Br?cke zwischen Theorie und Anwendungen geschlagen
und der Nutzen theoretischer Betrachtungen verdeutlicht.

✦ Table of Contents


Front Matter....Pages I-IX
Einleitung....Pages 1-6
Turingmaschinen, Churchsche These und Entscheidbarkeit....Pages 7-35
Die NP-Vollständigkeitstheorie....Pages 36-86
Endliche Automaten....Pages 87-125
Grammatiken, die Chomsky-Hierarchie und das Wortproblem....Pages 126-147
Kontextfreie Grammatiken und Sprachen....Pages 148-174
Kellerautomaten und kontextfreie Sprachen....Pages 175-194
Deterministisch kontextfreie Sprachen....Pages 195-220
Zusammenfassung und Testfragen....Pages 221-230
Back Matter....Pages 231-238

✦ Subjects


Theory of Computation


📜 SIMILAR VOLUMES


Theoretische Informatik: Eine algorithme
✍ Prof. Dr. math. Ingo Wegener (auth.) 📂 Library 📅 1993 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Die Theoretische Informatik ist älter als die Praktische, Angewandte oder Techni­ sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik, und ihre Ergebnisse sind schwerer zugänglich, da sie auf ein größeres und tieferes Fundamen

Theoretische Informatik: — eine algorith
✍ Prof. Dr. Ingo Wegener (auth.) 📂 Library 📅 2005 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Das Neue an dieser Einführung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einführung in die zentralen Gebiete der Theoretischen In

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

<p><P>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
✍ Dr. Katrin Erk, Prof. Dr. Lutz Priese (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 German

<p><P>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
✍ 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
✍ 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