Informatik und Mathematik

Inhaltsverzeichnis

• Mathematik und Informatik.
• Mathematik und Informatik — Vom Nutzen der Formeln.
• Informatik und Algebra.
• Schaltalgebra und Relationentheorie.
• Geschichte der Schaltalgebra.
• Fixpoints and Flipflops.
• Computer-Schach — Was ist es wert?.
• Relationen und Programme.
• Relationale Datenbanken mit multiplen Werten.
• Numerische Mathematik.
• Anfänge des „elektronischen Rechnens“.
• Innere-Punkt-Verfahren zur Lösung quadratischer Optimierungsprobleme und ihre Komplexität.
• Hierarchische Datenstrukturen für glatte Funktionen mehrerer Veränderlicher.
• Eine schnell konvergierende Block-Iteration für die Konstruktion des Form-erhaltenden Spline-Interpolanten.
• Zerteilungs- und Erkennungsprobleme.
• Graphen, Sprachen, Automaten — Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet.
• Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP.
• Strukturerkennung mit Graphgrammatiken.
• Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken.
• Automatische Klassifikation und graphische Darstellung von Polyedertopologien in Silikaten.
• Efficient Recognition of Context-free Languages Without Look-ahead.
• Algebraische Logik.
• Primitive Recursion on the Partial Continuous Functionals.
• Proofs in Structured Specifications.
• Herleitungen als Programme: Ihre Kompilation und Interpretation.
• Programmierung und Übersetzerbau.
• On Progress in Programming.
• Programmiertechnische Grundlagen für Verteilte Systeme.
• Zur Entwicklung der Rechentechnik.
• Schnelle Simulation digitaler Systeme durch änderungsgetriebene Auswertung des Entwurfsgraphen.
• Myhill-Büchis Teilmengenkonstruktion.
• Programmtransformation und Methodik der Programmierung.
• Methodische Grundlagen der Programmierung.
• Reusability of TransformationalDevelopments.
• Programming with (Finite) Mappings.
• Codifying the Differencing Technique into Formal Transformation Rules over CIP-L.
• Formal Derivation of Pointer Algorithms.
• Die 150 wissenschaftlichen Nachkommen von Prof. Dr. Dr. h. c. mult. F. L. Bauer.