wird in neuem Tab geöffnet
Theoretische Informatik
eine kompakte Einführung
Verfasser:
Suche nach diesem Verfasser
Wagner, Klaus W.
Mehr...
Verfasserangabe:
Klaus W. Wagner
Medienkennzeichen:
Sachbuch
Jahr:
2003
Verlag:
Berlin [u.a.], Spinger
Zweigstelle | Standorte | Status | Vorbestellungen | Frist |
Zweigstelle:
Hauptstelle
|
Standorte:
Computer
|
Status:
Verfügbar
|
Vorbestellungen:
0
|
Frist:
|
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 endlichen Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der über sie gewonnenen Erkenntnisse für die Praxis leisten können.
Der vorliegende Text stellt reichhaltiges Material für die Gestaltung einer einsemestrigen vierstündigen Vorlesung bereit. Viele Beispiele und Aufgaben erleichtern das Verständnis und ermöglichen die Aneignung des Stoffes auch im Selbststudium. Zum Testen selbstgeschriebener Programme kann ein Compiler vom Server des Autors heruntergeladen werden.
Verfasserangabe:
Klaus W. Wagner
Jahr:
2003
Verlag:
Berlin [u.a.], Spinger
Aufsätze:
Zu diesem Aufsatz wechseln
opens in new tab
Links:
Diesen Link in neuem Tab öffnen
Inhaltsverzeichnis
Mehr...
Systematik:
Suche nach dieser Systematik
Computer
Suche nach diesem Interessenskreis
ISBN:
978-3-540-01313-6
Beschreibung:
2., überarbeitete Auflage, X, 227 Seiten : Grafiken
Suche nach dieser Beteiligten Person
Fußnote:
Literaturangaben