Bestellen bei Buecher.de! Preis: 24,95 €
Bestellen bei Amazon.de! Neu ab 27,95 €, gebraucht ab 17,95 €.
Neue Bücher bestellen bei: Buch.de.de, Buch24.de, Bol.de, Libri.de, Thalia.de
Gebrauchte und neue Bücher bestellen bei: AbeBooks.de, Booklooker.de
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 schwierig ist es algorithmische Probleme zu lösen? (Theorie der Berechnungskomplexität, 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 Abstraktionsprozeß von den realen Gegenständen 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 über sie gewonnenen Erkenntnisse für die Praxis leisten können.
Verständlich und umfassendGerade für einen deutschsprachigen Studenten der Informatik ist dieses Buch eine feine Sache. Es bietet einen sauberen, klaren roten Faden an, der durch die Grundlagen der theoretischen Informatik führt. Es erwähnt die mathematischen Grundlagen, stellt verschiedene Maschinen- bzw. Algorithmentypen nicht nur vor (Turingmaschinen, Random-Access-Maschinen ...), sondern definiert sie exakt und beweist ihre Äquivalenz. Es führt im Rahmen der Berechnungskomplexität ein in die P-NP Problematik und es führt über die Aussagenlogik ein in Kombinatorische Schaltkreise und logische Schaltkreise. Es beschäftigt sich mit der Chomsky-Hierarchie und einigem mehr. Bei alledem werden Beziehungen zwischen den einzelnen Themengebieten hergestellt: Der Leser bekommt einen zusammenhängenden Gesamteindruck von der Materie. Für die ersten Semester der Informatik also sehr empfehlendswert!
Brockhaus-1911: Wagner [5] · Wagner [6] · Wagner [3] · Wagner [4] · Wagner [9] · Wagner-Jachmann · Wagner [7] · Wagner [8] · Wagner [10] · Wagner [11] · Jachmann-Wagner · Wagner · Wagner [14] · Wagner [2] · Wagner [12] · Wagner [13]
DamenConvLex-1834: Wagner, Ernst
Eisler-1904: Theoretische Vernunft · Theoretische Philosophie · Grundsätze (theoretische)
Eisler-1912: Wagner, Richard (2) · Wagner, Rudolf · Wagner, Adolf · Wagner, Richard (1) · Wagner, Adolf · Wagner, Johann Jacob · Wagner, Moritz
Heiligenlexikon-1858: Liborius Wagner · Klara Francisca Wagner (5) · Hans Wagner
Herder-1854: Wagner [6] · Wagner [5] · Wagner [8] · Wagner [7] · Wagner [2] · Wagner [1] · Wagner [4] · Wagner [3]
Meyers-1905: Wagner [2] · Wagner [1]
Pagel-1901: Wagner, Konrad · Wagner, Rudolph · Wagner, Wilhelm · Wagner, Karl Ernst Albrecht · Wagner, Ernst Leberecht · Wagner, Johann · Wagner, Julius
Pataky-1898: Wagner, Christiane Sophie · Wagner, Emma · Petersen-Wagner, Julie · Wagner, Charlotte