Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur L-sung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschlu und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairne -Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich f}r ein- oder zweisemestrige Vorlesungen }ber Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von ]bungsaufgaben und bibliographischen Hinweisen. Das Buch f}hrt auch an aktuelle Themen der Forschung heran.

Angesichts der Komplexitat der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einfuhrung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffulle und Komplexitat dieses Gebietes werden detaillierte oder auch nur ausfuhrlichere Kenntnisse in theoretischer Informatik wohl dem Spezialisten vorbehalten bleiben. Das Buch ist deshalb betont breit gehalten und zielt auf einen Uberblick unterschiedlichster Techniken und Ansatze ab. Der Autor behandelt nach einer Einfuhrung in mathematische Grundbegriffe die klassischen Themen wie formale Sprachen oder Berechenbarkeit, wendet sich aber auch der Semantik von Programmiersprachen und der Codierungstheorie zu und beantwortet die Frage, wie Information gemessen werden kann."

Der Begriff "Fuzzy" - 1965 von Lofty A. Zadeh in einer Erweiterung der gewoehnlichen Mengenlehre auf die Verknupfung unscharfer Mengen kreiert - hat seine Anwendung in zahlreichen Gebieten der Technik gefunden. In diesem Lehrbuch erhalt der Leser eine leicht verstandliche Einfuhrung in die mathematischen und logischen Grundlagen. Er soll in die Lage versetzt werden, die fur die Fuzzy-Logik spezifischen algebraischen und logischen Arbeitsmethoden operativ einzusetzen. Das Lehrbuch wurde mit dem Ziel entwickelt, insbesondere im Selbststudium das Werkzeug "Fuzzy" fur die berufspraktische Anwendung zu erarbeiten. Zu diesem Zweck enthalt es eine grosse Anzahl von Beispielen aus der Anwendung sowie Aufgaben mit Loesungen. Fuzzy-Logik wendet sich gleichermassen an Studenten der Ingenieurwissenschaften, Informatik und Wirtschaftswissenschaften, wie auch an Anwender in der industriellen Praxis, die sich in dieses aktuelle und hochbrisante Gebiet einarbeiten moechten.

The new area of logic and computation is now undergoing rapid development. This has affected the social pattern of research in the area. A new topic may rise very quickly with a significant body of research around it. The community, however, cannot wait the traditional two years for a book to appear. This has given greater importance to thematic collections of papers, centred around a topic and addressing it from several points of view, usually as a result of a workshop, summer school, or just a scientific initiative. Such a collection may not be as coherent as a book by one or two authors yet it is more focused than a collection of key papers on a certain topic. It is best thought of as a thematic collection, a study in the area of logic and computation. The new series Studies in Logic and Computation is intended to provide a home for such thematic collections. Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories. Substructural logics differ from classical logics, and from each other, in their presuppositions about Gentzen's structural rules, although their presuppositions about the deductive role of logical constants are invariant. Substructural logics have been a subject of study for logicians during the last sixty years. Specialists have often worked in isolation, however, largely unaware of the contributions of others. This book brings together new papers by some of the most eminent authorities in these varioustraditions to produce a unified view of substructural logics.

Cet ouvrage presente les bases de la theorie de la complexite des algorithmes et en derive les theoremes fondamentaux de decidabilite et d'indecidabilite pour la logique et l'arithmetique, dont le premier theoreme d'incompletude de Godel. En faisant reposer toutes les preuves sur le codage de l'arret d'une machine de Turing, on a souligne l'homogeneite et l'unite profonde des resultats presentes. L'approche par les machines de Turing est tres accessible grace a la familiarite donnee aujourd'hui par l'informatique. Le livre n'est pas une encyclopedie exhaustive, mais parvient de facon rapide a demontrer un choix de resultats representatifs de l'ensemble de la theorie.

Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und ware ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, fur die Vergabe eines so span nenden Dissertationsthemas, fur die Moglichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und fur seinen vehementen Einspruch gegen viele Versuche, die Spra che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J. Schneider, der die Muhe nicht gescheut hat, fur diese doch etwas umfangreich geratene Arbeit ein Gutachten zu erstellen. Mein Dank gilt weiterhin allen jetzigen und ehemaligen Kollegen und Diploman den im IPSEN-Projekt, die - in welcher Weise auch immer - zum Gelingen meiner Ar beit beigetragen haben. Besonderen Dank schulde ich hier den IPSEN-Opas Gregor Engels und Wilhelm Schafer fur ihre Verdienste um das "Graph Grarnmar Engineering," meinem Landsmann Claus Lewerentz fur die Gelegenheit zu vielen fruchtbaren "Zwischen Tur und Angel"-Gesprachen in unserer gemeinsamen Muttersprache, meinem WG-Genossen und Arbeitskollegen Bernhard Westfechtel, dem welt besten PROGRESS-Programmierer, fur seine Diskussionsbereitschaft in allen Lebenslagen (beim Fruhstuck, Abspulen, . . ."

Das vorliegende Buch gibt einen umfassenden UEberblick uber das wohl aktivste Forschungs- und Anwendungsgebiet der Artificial Intelligence - uber Expertensysteme. Basierend auf den Erfahrungen aus mehrjahriger Vorlesungstatigkeit stellt das Autorenteam neben grundlegenden Konzepten auch die theoretischen wie praktischen Aspekte ausfuhrlich dar. Eine kompetente Einfuhrung in die Pradikatenlogik wird gegeben. Als Novum verdeutlicht dieses Buch die unterschiedlichen Schlussweisen und Komponenten von Expertensystemen durch ausfuhrbare Prototypen in der logischen Programmiersprache Prolog. Dem praktischen Aspekt wird weiters durch einen UEberblick uber im industriellen Einsatz stehende Expertensysteme Rechnung getragen. Nicht zuletzt behandelt dieses Buch die neuesten Entwicklungen, wie Experten-Datenbanksysteme und Ergonomie und Gestaltung von Benutzerschnittstellen fur Expertensysteme. Das Buch eignet sich damit nicht nur als Unterlage und Referenz fur Vorlesungen auf dem Gebiet der Expertensysteme, vielmehr wendet es sich auch an den interessierten Informatiker und Programmierer in Studium und Praxis.

Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine groessere OEffentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoeglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum nimmt die Prasentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europaische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und moegliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren.

Dieser Band enthalt fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 bis 1899, denen fur die Herausbildung der gegenwartigen Mathematik grosse Bedeutung zukommt. Im Nachwort berichtet der Herausgeber uber die Entstehungsgeschichte der abgedruckten Arbeiten, uber deren Stellung im Gesamtwerk Peanos und uber ihre Verflechtung mit der Entwicklung der Mathematik um die Jahrhundertwende. Fotos und Archivalien komplettieren das Buch. Aus den Besprechungen: "Die mathematische Behandlung der Grundlagen der Mathematik ... ist aus der Verbindung zweier verschiedener Forschungsrichtungen ... hervorgegangen. Einerseits das Werk der Meister der Analysis und der Geometrie, sofern sie ihre Axiome formulierten und systematisierten, und das Werk von Cantor und anderen uber Gebiete wie die Mengentheorie. Andererseits die symbolische Logik, die nach der notwendigen Entwicklungsperiode jetzt dank Peano und seinen Nachfolgern die technische Verwendbarkeit und logische Bundigkeit erreicht hat, die wesentlich sind fur ein mathematisches Hilfsmittel zur Behandlung dessen, was bisher die Grundlagen der Mathematik gebildet hat." "A.N. Whitehead, B. Russell"#1"

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday thought. Consequently, when presented by itself--as in most introductory texts on logic--it seems arbitrary and unnatural to students new to the subject.

In "Classical and Nonclassical Logics," Eric Schechter introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. Such logics have been investigated for decades in research journals and advanced books, but this is the first textbook to make this subject accessible to beginners. While presenting an assortment of logics separately, it also conveys the deeper ideas (such as derivations and soundness) that apply to all logics. The book leads up to proofs of the Disjunction Property of constructive logic and completeness for several logics.

The book begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics. It is intended primarily for undergraduate students with no previous experience of formal logic, but advanced students as well as researchers will also profit from this book.