Theoretische Informatik
Eine kompakte Einführung
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Grundlegende Einführung Viele Beispiele und Aufgaben erleichtern das Verständnis Hervorragend zum Selbststudium geeignet Zum Testen selbst geschriebener Programme kann ein Compiler vom Server des Autors heruntergeladen werden
Die kompakte Einführung stellt 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). Viele Beispiele und Aufgaben erleichtern das Verständnis und ermöglichen die Aneignung des Stoffes auch im Selbststudium.
Autor*in
Klaus W. Wagner
Themen in »Theoretische Informatik«
Algorithmen Automaten Berechenbarkeit Entscheidbar Information Komplexität Programmiersprache Struktur Theorie der formalen Sprachen Turingmaschine endlicher Automat theoretische Informatik algorithm analysis and problem complexity