Einführung in die Theoretische Informatik

Fachbuch aus dem Jahr 2002 im Fachbereich Informatik - Theoretische Informatik, , Sprache: Deutsch, Abstract: Die Theorie einer Wissenschaft beschreibt und erklärt die allgemeinen

Strukturen, die dieser zugrunde liegen und die die jeweiligen konkreten

Anwendungen logisch rechtfertigen. Für die Informatik nennen die

grundlegenden Standardwerke (siehe Literaturhinweise) hierzu im

Wesentlichen die Formalen Sprachen, die Automatentheorie, sowie hierauf

aufbauend die Entscheidungs- und Komplexitätstheorie.

Ziel der vorliegenden Abhandlung ist es, eine Einführung in die schwierige

und komplexe Thematik zu geben. Dabei werden hauptsächlich folgende

Ziele angestrebt.

1. Den Leser mit den wesentlichen Denk- und Schlussweisen, so wie sie in

der Theoretischen Informatik üblich sind vertraut zu machen.

2. Die wichtigsten Ergebnisse der Entscheidungs- und Komplexitätstheorie

zu vermitteln.

Hierdurch sollte der Leser dann im Stande sein, sowohl die allgemeinen

Ergebnisse der Informatik als auch sein eigenes Tun kritisch zu reflektieren.

Darüber hinaus aber auch in der Lage sein, sich die weiterführende Literatur

selbständig anzueignen.

Im einzelnen haben wir hierzu folgenden Weg gewählt: Nach einer kurzen

allgemeinen Betrachtung über Theorie und Praxis wurden die wichtigsten

Grundlagen aus der Logik, Mengenlehre und Algebra zusammengestellt.

Diese sind, zumindest vom Inhalt her aus der Schule bekannt, so dass sich

hier eine erste Möglichkeit bietet, mit der unter erstens angesprochenen

Schlussweise vertraut zu werden.

Um den Zusammenhang zur Thematik nicht all zu sehr aus den Augen zu

verlieren, bietet sich im weiteren der konkrete Bezug zur Boole`schen

Algebra und dann als Anwendung die Schaltalgebra an. Für das zweite

genannte Ziel haben wir uns exemplarisch auf den Algorithmusbegriff

beschränkt. Einerseits wird hiermit auch der "reine" Praktiker täglich konfrontiert, andererseits glauben wir, dass das genannte Ziel hierdurch am

"anschaulichsten" vermittelt werden kann. Wer darüber hinaus an

Detailfragen interressiert ist, wird auf die weiterführende Literatur verwiesen.