der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiss, wohin er fahrt."

Dieses Buch, in dessen Titel sich "Einfuhrung in die Programmierung" und "Programmierung mit Modula-2" verbinden, wendet sich sowohl an den Programmieranfanger, als auch an den erfahrenen Programmierer, der die Sprache Modula-2 erlernen will. Einerseits vermittelt es ein solides Grundwissen der Programmiertechnik und fuhrt in zeitgemasse Methoden des Programmentwurfs ein, andererseits gibt es eine handbuchartige Beschreibung der Programmiersprache Modula-2 und ubt ihren methodischen Gebrauch an vielen Beispielen ein. Die von Niklaus Wirth stammende Programmiersprache Modula-2 hat, im...

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunachst werden unterschiedliche Formalisierungsansatze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschliessend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die...

Dieses Buch ist aus der zweisemestrigen EinfUhrungsvorlesung Informatik 1 und 2 an der ErR Ziirich entstanden. Da der Inhalt des ersten Semesters, der die Abschnitte 1 und 2 umfasst, eine unkonventione11e EinfUhrung in die Informatik darstellt, ist eine ErkHirung angebracht, damit der Leser beurteilen kann, ob die Voraussetzungen und Zielsetzungen dieses Buches auf ihn zutreffen. Zlihlen wir zuerst die Funktionen auf, die dieses Buch niche zu erfiillen versuchl Dieses Buch ist keine Anfangeranleitung zum Programmieren. Wir setzen voraus, dass der Leser eine moderne Programmiersprache nicht...

Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...

Expertensysteme er-ffnen dem Computer neue Anwendungsfelder, da die Programme leistungsf{higer werden und mit geeigneten Expertensystemwerkzeugen auch ohne spezielle Programmier- kenntnisse entwickelt und gewartet werden k-nnen. Die Kern- idee ist die saubere Trennung zwischen allgemeinen Problem- l-sungsstrategien und anwendungsspezifischem Wissen. Dieses Buch gibt eine profunde Einf}hrung in die derzeitig verf}g- barenTechniken und in Aspekte des betrieblichen Einsatzes.

Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass es zu jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...

Dieses Buch beschreibt die grundlegenden Verfahren zur Tolerierung von Fehlern, die in Rechensystemen auftreten. Besondere Beachtung finden Fehlertoleranz-Massnahmen fur verteilte Systeme, da diese eine zunehmende Bedeutung erlangen. Die Ansatze zur Vermeidung von Zuverlassigkeitsengpassen durch Fehlertoleranz-Instanzen, die selbst fehlertolerant sind, werden ausfuhrlich diskutiert. Die Darstellung ist weniger auf die Beschreibung existierender fehlertoleranter Rechensysteme ausgerichtet als vielmehr auf eine systematische, weitgehend implementierungsunabhangige Klassifikation der...

Ein breiter Einsatz von Expertensystemen wird zur Zeit am st{rksten durch das Fehlen einer Theorie behindert, die be- sagt, f}r welche Problemklassen welche Probleml-sungsmetho- den verf}gbar sind. Dieses Buch begr}ndet eine solche Theorie. Es vermittelt den aktuellen Stand der Identifizie- rung, Umsetzung und Integration von L-sungsmethoden f}r die grundlegenden Problemklassen in Expertensystemen: Klassifi- kation (Diagnostik), Konstruktion und Simulation.

1 d Petrinetze sind fur den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch fuhrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schliesslich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstande und Invarianten ausfuhrlich besprochen - also Methoden, die nicht auf...