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.
Parametrische 3D-CAD-Programme sind heute das zentrale Werkzeug im Entwicklungs- und Konstruktionsprozess. Das CAD-System Pro/ENGINEER hat in der Industrie weite Verbreitung gefunden. Die neue…
Parametrische 3D-CAD-Programme sind heute das zentrale Werkzeug im Entwicklungs- und Konstruktionsprozess. Das CAD-System Pro/ENGINEER hat in der Industrie weite Verbreitung gefunden. Die neue…
Der Citrix MetaFrame Presentation Server ist unangefochtener Marktführer unter den Terminalservern für Windows-Systeme. Unternehmen setzen ihn ein, um die Systemverwaltung von Windows-Netzwerken…
Der Citrix MetaFrame Presentation Server ist unangefochtener Marktführer unter den Terminalservern für Windows-Systeme. Unternehmen setzen ihn ein, um die Systemverwaltung von Windows-Netzwerken…
Home Networking - das bedeutet die Verbindung der unterschiedlichsten im Haushalt vorhandenen elektronischen Geräte, sei es per Kabel oder drahtlos per Funk. Das beginnt meist mit der Vernetzung von…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Veröffentlichte Gebrauchsmustereintragungen beim Deutschen Patent- und Markenamt. Bibliographie, Hauptanspruch,wichtigste Zeichnung, Nebenklassenhinweise.
Checkpoint is a tax research system that ...
Card-Forum ist das marktführende Magazin im Themenbereich der kartengestützten Systeme für Zahlung und Identifikation, Telekommunikation und Kundenbindung sowie der damit verwandten und ...
The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...
Das Hauseigentum. Organ des Landesverbandes Haus & Grund Brandenburg.
Speziell für die neuen Bundesländer, mit regionalem Schwerpunkt Brandenburg. Systematische Grundlagenvermittlung, viele ...
"Der Hessische Obst- und Gartenbau" ist die Monatszeitschrift des Landesverbandes Hessen für Obstbau, Garten und Landschaftspflege e.V.. Probeexemplare werden nur nach Hessen versendet. Es wird ...
Technische Fachzeitschrift aus der Praxis für die Praxis in allen Bereichen des Handwerks und der Industrie.
“der praktiker“ ist die Fachzeitschrift für alle Bereiche der fügetechnischen ...
Zeitschrift für Vollstreckungs-, Zustellungs- und Kostenrecht
Die Deutsche Gerichtsvollzieher Zeitung (DGVZ) ist eine juristische Fachzeitschrift für das Vollstreckungs-, Zustellungs- und ...
Mitteilungen der Deutschen Gesellschaft für Individualpsychologie e.V. (DGIP) für ihre Mitglieder Die Mitglieder der DGIP erhalten viermal jährlich das Mitteilungsblatt „DGIP-intern“ ...
Über »Evangelische Theologie«
In interdisziplinären Themenheften gibt die Evangelische Theologie entscheidende Impulse, die komplexe Einheit der Theologie wahrzunehmen. Neben den Themenheften ...
filmdienst.de führt die Tradition der 1947 gegründeten Zeitschrift FILMDIENST im digitalen Zeitalter fort. Wir begleiten seit 1947 Filme in allen ihren Ausprägungen und Erscheinungsformen. ...