Informatik und Mathematik

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783642766787
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XIV, 450 S.
• Pagine Arabe: 450
• Pagine Romane: xiv