This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte.
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden.
Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist.
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden.
Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt.
In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexität - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt.
Dieses Buch folgt dem sich seit einigen Jahren verstärkenden Trend, Computer in der Ausbildung von Mathematik-, Ingenieur-, Physik- und Informatikstudenten einzusetzen.
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik.
Aufgrund der enormen Fortschritte im Bereich der Computertechnologie und der Algorithmen gewinnt der Einsatz numerischer Berechnungsmethoden in vielen Industriezweigen zunehmend an Bedeutung.
Das Buch Vom Data Warehouse zum Corporate Knowledge Center vermittelt einen tiefen Einblick in den State-of-the-Art sowie die Zukunftsperspektiven im Bereich der integrierten Informationslogistik.
Der erfolgreiche Einsatz eines Datenbanksystems in der Praxis ist davon abhängig, inwieweit es gelingt, das gegebene Informationsproblem in einem Datenmodell abzubilden, das dann auf einem Rechner implementiert wird und in vielfältiger Form genutzt werden kann.
Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit denen Menschen in ihrer jeweiligen Sprache frei reden können.
Dieses zweibändige Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.