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…
Das Amtsblatt des Landkreises Wunsiedel i.Fichtelgebirge. Lesen Sie Bekanntmachungen, Änderungen von Satzungen und Festlegungen. Im Amtsblatt des Landkreises Wunsiedel i. Fichtelgebirge geht es ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...
Beiträge zur Namenforschung. Neue Folge ist eine internationale fachübergreifende Zeitschrift für Namenforschung. In den Artikeln werden Probleme der Ortsnamen- wie Personenamenforschung und der ...
Unter dem Motto „DRIVEN" steht das BMW Magazin für Antrieb, Leidenschaft und Energie − und die Haltung, im Leben niemals stehen zu bleiben.Das Kundenmagazin der BMW AG inszeniert die neuesten ...
Informationsdienst für die Spielwarenbranche
Seit 1980 ist der „BRANCHENBRIEF INTERNATIONAL - Spielzeugbranche aktuell" der Informationsdienst der Spielwarenbranche, bekannt unter dem Kürzel ...
Die Flugzeuge der NVA
Neben unser F-40 Reihe, soll mit der DHS die Geschichte der "anderen" deutschen Luftwaffe, den Luftstreitkräften der Nationalen Volksarmee (NVA-LSK) der ehemaligen DDR ...
Prüfungs- und Praxiswissen für Zahnmedizinische Fachangestellte
Mehr Erfolg in der Ausbildung, sicher in alle Prüfungen gehen, im Beruf jeden Tag überzeugen: „Die Zahnmedizinische ...
Eishockey NEWS bringt alles über die DEL, die DEL2, die Oberliga sowie die Regionalligen und Informationen über die NHL. Dazu ausführliche Statistiken, Hintergrundberichte, Personalities ...
Über »Evangelische Theologie«
In interdisziplinären Themenheften gibt die Evangelische Theologie entscheidende Impulse, die komplexe Einheit der Theologie wahrzunehmen. Neben den Themenheften ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...