Der Entwurf und die Analyse von Datenstrukturen und effizienten Algorithmen hat in den letzten Jahren groe Bedeutung erlangt: Algorithmus ist der zentrale Begriff der Informatik und Effizienz bedeutet Geld. Ich habe den Stoff in drei Bande und neun Kapitel gegliedert. Band 1: Sortieren und Suchen (Kapitel I bis ill) Band 2: Graphenalgorithmen und NP-Vollstandigkeit (Kapitel IV bis VI) Band 3: Mehrdimensionales Suchen und Algorithmische Geometrie (Kapitel VII und Vill), Algorithmische Paradigmen (Kapitel IX) Die Bande 2 und 3 haben Band 1 als gemeinsame Basis, sind aber voneinander un-...

Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die wir an der Rheinisch-Westfcilischen Technischen Hochschule Aachen, der European Business School, der Universitat Oldenburg und der Universitat Augsburg seit 1984 ge halt en haben. Diese Vorlesungen wandten sich vor allem an Informatikstudenten und Mathematikstudenten mit Nebenfach Informatik mit dem Ziel, stochastische Grundbegriffe unter besonderer Beriicksichtigung Informatik-spezifischer Aspekte zu vermitteln. Unter den zahlreichen Einsatzfeldern stochastischer Methoden in der Informatik seien hier beispielhaft genannt: Die...

Dieses Buch entstand aus Vorlesungen, die ich in den letzten Jahren an der Universitat Kaiserslautern gehalten habe. Es bietet Stoff fUr etwa zwei vierstiindige Vorlesungen. In der ersten Halfte werden, neben allgemeinen Grundlagen der Ktinstlichen Intelligenz, deduktive Methoden abgehandelt. Die zweite Halfte stellt Techniken zur Verftigung, die ffir Anwendungen in Expertensystemen von Wichtigkeit sind; gleichzeitig wird dabei in den Bereich der Expertensysteme selbst eingefiihrt. Die meisten der behandelten Methoden und Begriffe sind jedoch auch ffir die tibrigen Teile der Ktinstlichen...

Die Computergraphik beschaftigt sich mit der Erzeugung und Manipulation von Bildern durch einen Computer. Die erzeugten Darstellungen sind meistens Ab bilder von nicht in der Realitat existierenden Objekten, die mit mathematischen Verfahren definiert sind. Ein wesentliches Ziel dabei ist es, den dargestellten Objekten ein moglichst realistisches Aussehen zu verleihen, so dass sie von real existierenden Objekten nicht zu unterscheiden sind. Dadurch wird ein Durch mischen und Uberblenden von real existierenden und synthetisch definierten Objekten ermoglicht, die Grenzen zwischen Realitat und...

Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB...

Hiermit legen wir den abschlieBenden Band unserer "Mathematik fiir Informati ker" vor. Auch hier haben wir uns bemiiht - soweit dies bei dem diesmal anspruchs volleren Stoff maglich ist - den algorithmischen und konstruktiven Aspekt in den Vordergrund zu stellen. Die Stoffauswahl wurde u. a. dadurch bestimmt, daB auch auf die Bediirfnisse der Informatiker mit technischen Nebenfachern eingegangen wurde - so ist ein ausfiihrliches Kapitel iiber Funktionen mehrerer Veranderlicher entstanden, welches fiir den "Nurinformatiker" erst in zweiter Linie interessant ist. Zum Inhalt: In Kapitel VII...

Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreifendes Verstandnis der logischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier...

Der hohe Integrationsgrad moderner MOS-Technologien verlagert den Entwurfs schwerpunkt digitaler Schaltungen von der physikalischen Ebene hin zur logischen Ebene. In der Vergangenheit optimierten technologieorientierte Schaltungsspezialisten die Funk tionalitat der Systeme hinsichtlich der begrenzten Chipflache. Heute bedeuten die alltagli chen SystementwOrfe keine Herausforderung mehr an den Chipflachenbedarf. Die System entwickler sind im Gegenteil aufgrund der funktionellen Komplexitat der Systeme oft kaum in der Lage, das realisierbare Chipflachenangebot auszunutzen; denn der hohe...

in die Informatik Von Prof. Dr. rer. nat. Gunter Hotz UniversiHit Saarbriicken 83 B. G. Teubner Stuttgart 1990 Prof. Dr. rer. nat. Gunter Hotz Studium der Mathematik mit Nebenfach Physik an den Universitaten Frankfurt und Gottingen. Diplom und Promotion in Mathematik in Got tingen. Drei Jahre Entwicklungsingenieur in der Firma Telefunken. Seit 1962 in Saarbriicken, zunachst als Habilitand der Fritz-Thyssen-Stiftung; Habilitation in Angewandter Mathematik mit einer Arbeit aus dem Gebiet der Informatik. Seit 1969 Professor, zunachst in Angewandter Mathema tik, spater in Informatik, an der...