|
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
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, . . ."
 |
Expertensysteme
(German, Paperback)
G Fleischanderl; Edited by Georg Gottlob; Contributions by G. Friedrich; Edited by Thomas Fruhwirth, Werner Horn; Contributions by …
|
R1,641
Discovery Miles 16 410
|
Ships in 10 - 15 working days
|
|
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.
|
|