Informatik und Mathematik [Paperback]

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 Transformational Developments.- 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.lãT