Informatik und Mathematik

Front Cover
Manfred Broy
Springer-Verlag, Mar 12, 2013 - Computers - 450 pages
0 Reviews
Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik." Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anlAAlich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die BeitrAge spannen ein breites Themenspektrum auf, das durch die Dichte der ZusammenhAnge fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik, des Rechnerentwurfs, aber auch Fragen der Programmierung und allgemein Fragen der Logik und der Algebra miteinander verknA1/4pft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin fA1/4r die Beschreibung von System- und Algorithmen strukturen, die sich Methoden der Logik und der Algebra zunutze macht. Die Vielfalt der Einzelprobleme in der Numerischen Mathematik, in der Schaltalgebra und der Relationentheorie, bei Zerteilungs- und Erkennungsproblemen, in der Algebraischen Logik, in der Programmiertechnik und im Aoebersetzerbau, und schlieAlich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der Asthetische und kulturelle Gehalt dieser Themengebiete erschlieAt sich A1/4ber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermaAen vom Nutzen und von der SchAnheit der Formeln in der Mathematik und in der Informatik handelt.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Informatik und Algebra
28
Geschichte der Schaltalgebra
43
Fixpoints and Flipflops
73
ComputerSchach Was ist es wert?
86
Relationale Datenbanken mit multiplen Werten
115
InnerePunktVerfahren zur Lösung quadratischer
137
Hierarchische Datenstrukturen für glatte Funktionen
142
Graphen Sprachen Automaten Unter dem Blickwinkel
159
Proofs in Structured Specifications
269
Ihre Kompilation und Interpretation
284
On Progress in Programming 297
296
Zur Entwicklung der Rechentechnik
312
MyhillBüchis Teilmengenkonstruktion
337
der Programmierung
355
Programming with Finite Mappings
381
Codifying the Differencing Technique
406

Strukturerkennung mit Graphgrammatiken
192
Büchis reguläre kanonische Systeme und Analyse
209
Efficient Recognition of Contextfree Languages
230
Primitive Recursion on the Partial Continuous Functionals
251
Formal Derivation of Pointer Algorithms
419
Anhang
441
Copyright

Other editions - View all

Common terms and phrases