Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt:
Welche Probleme sind algorithmisch losbar? (Theorie der Berechenbarkeit und Entscheidbarkeit)
Wie schwierig ist es algorithmische Probleme zu losen? (Theorie der Berechnungskomplexitat, NP-Theorie)
Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten)
Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen)
In der Erarbeitung dieser Themen wird der Abstraktionsprozess von den realen Gegenstanden der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z.B. Random-Access-Maschinen, Turingmaschinen und endliche Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der uber sie gewonnenen Erkenntnisse fur die Praxis leisten konnen."
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt:
Welche Probleme sind algorithmisch losbar? (Theorie der Berechenbarkeit und Entscheidbarkeit)
Wie schwierig ist es algorithmische Probleme zu losen? (Theorie der Berechnungskomplexitat, NP-Theorie)
Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten)
Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen)
In der Erarbeitung dieser Themen wird der Abstraktionsprozess von den realen Gegenstanden der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z.B. Random-Access-Maschinen, Turingmaschinen und endliche Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der uber sie gewonnenen Erkenntnisse fur die Praxis leisten konnen."
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Springer-Lehrbuch |
Release date | August 2003 |
Availability | Expected to ship within 10 - 15 working days |
First published | August 2003 |
Authors | Klaus W. Wagner |
Dimensions | 234 x 156 x 13mm (L x W x T) |
Format | Hardcover |
Pages | 227 |
Edition | 2nd 2., Uberarb. Aufl. 2003 ed. |
ISBN-13 | 978-3-540-01313-6 |
Barcode | 9783540013136 |
Languages | value |
Categories | |
LSN | 3-540-01313-X |