Einführung in die Theoretische Informatik

ISBN-13: 9783656370017 / Niemiecki / Miękka / 2013 / 130 str.

Wolfgang Schlageter;Thorsten Oliver Rauhut

Opis

Fachbuch aus dem Jahr 2002 im Fachbereich Informatik - Theoretische Informatik, Sprache: Deutsch, Abstract: Die Theorie einer Wissenschaft beschreibt und erklart die allgemeinen Strukturen, die dieser zugrunde liegen und die die jeweiligen konkreten Anwendungen logisch rechtfertigen. Fur die Informatik nennen die grundlegenden Standardwerke (siehe Literaturhinweise) hierzu im Wesentlichen die Formalen Sprachen, die Automatentheorie, sowie hierauf aufbauend die Entscheidungs- und Komplexitatstheorie. Ziel der vorliegenden Abhandlung ist es, eine Einfuhrung in die schwierige und komplexe Thematik zu geben. Dabei werden hauptsachlich folgende Ziele angestrebt. 1. Den Leser mit den wesentlichen Denk- und Schlussweisen, so wie sie in der Theoretischen Informatik ublich sind vertraut zu machen. 2. Die wichtigsten Ergebnisse der Entscheidungs- und Komplexitatstheorie zu vermitteln. Hierdurch sollte der Leser dann im Stande sein, sowohl die allgemeinen Ergebnisse der Informatik als auch sein eigenes Tun kritisch zu reflektieren. Daruber hinaus aber auch in der Lage sein, sich die weiterfuhrende Literatur selbstandig anzueignen. Im einzelnen haben wir hierzu folgenden Weg gewahlt: Nach einer kurzen allgemeinen Betrachtung uber 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 Moglichkeit 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 Booleschen Algebra und dann als Anwendung die Schaltalgebra an. Fur das zweite genannte Ziel haben wir uns exemplarisch auf den Algorithmusbegriff beschrankt. Einerseits wird hiermit auch der "reine" Praktiker taglich konfrontiert, andererseits glauben wir, dass das genannte Ziel hierdurch am "anschaulichsten" vermittelt werden kann. Wer dar