Ebook: Informatik und Mathematik

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 anl??lich 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 Beitr?ge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenh?nge 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 verkn?pft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin f?r 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 ?bersetzerbau, und schlie?lich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der ?sthetische und kulturelle Gehalt dieser Themengebiete erschlie?t sich ?ber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleicherma?en vom Nutzen und von der Sch?nheit der Formeln in der Mathematik und in der Informatik handelt.

---

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 anl??lich 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 Beitr?ge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenh?nge 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 verkn?pft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin f?r 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 ?bersetzerbau, und schlie?lich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der ?sthetische und kulturelle Gehalt dieser Themengebiete erschlie?t sich ?ber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleicherma?en vom Nutzen und von der Sch?nheit der Formeln in der Mathematik und in der Informatik handelt.
Content:
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Mathematik und Informatik Vom Nutzen der Formeln....Pages 3-27
Informatik und Algebra....Pages 28-40
Front Matter....Pages 41-41
Geschichte der Schaltalgebra....Pages 43-72
Fixpoints and Flipflops....Pages 73-85
Computer-Schach — Was ist es wert?....Pages 86-97
Relationen und Programme....Pages 98-114
Relationale Datenbanken mit multiplen Werten....Pages 115-124
Front Matter....Pages 125-125
Anf?nge des „elektronischen Rechnens“....Pages 127-136
Innere-Punkt-Verfahren zur L?sung quadratischer Optimierungsprobleme und ihre Komplexit?t....Pages 137-141
Hierarchische Datenstrukturen f?r glatte Funktionen mehrerer Ver?nderlicher....Pages 142-150
Eine schnell konvergierende Block-Iteration f?r die Konstruktion des Form-erhaltenden Spline-Interpolanten....Pages 151-157
Front Matter....Pages 159-159
Graphen, Sprachen, Automaten Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet....Pages 161-170
Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP....Pages 171-191
Strukturerkennung mit Graphgrammatiken....Pages 192-208
B?chis regul?re kanonische Systeme und Analyse kontextfreier Grammatiken....Pages 209-216
Automatische Klassifikation und graphische Darstellung von Polyedertopologien in Silikaten....Pages 217-229
Efficient Recognition of Context-free Languages Without Look-ahead....Pages 230-248
Front Matter....Pages 249-249
Primitive Recursion on the Partial Continuous Functionals....Pages 251-268
Proofs in Structured Specifications....Pages 269-283
Herleitungen als Programme: Ihre Kompilation und Interpretation....Pages 284-294
Front Matter....Pages 295-295
On Progress in Programming....Pages 297-302
Programmiertechnische Grundlagen f?r Verteilte Systeme....Pages 303-311
Zur Entwicklung der Rechentechnik....Pages 312-319
Schnelle Simulation digitaler Systeme durch ?nderungsgetriebene Auswertung des Entwurfsgraphen....Pages 320-336
Myhill-B?chis Teilmengenkonstruktion....Pages 337-352
Front Matter....Pages 353-353
Methodische Grundlagen der Programmierung....Pages 355-365
Reusability of Transformational Developments....Pages 366-380
Programming with (Finite) Mappings....Pages 381-405
Codifying the Differencing Technique into Formal Transformation Rules over CIP-L....Pages 406-418
Formal Derivation of Pointer Algorithms....Pages 419-440
Back Matter....Pages 441-450

---

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 anl??lich 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 Beitr?ge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenh?nge 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 verkn?pft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin f?r 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 ?bersetzerbau, und schlie?lich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der ?sthetische und kulturelle Gehalt dieser Themengebiete erschlie?t sich ?ber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleicherma?en vom Nutzen und von der Sch?nheit der Formeln in der Mathematik und in der Informatik handelt.
Content:
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Mathematik und Informatik Vom Nutzen der Formeln....Pages 3-27
Informatik und Algebra....Pages 28-40
Front Matter....Pages 41-41
Geschichte der Schaltalgebra....Pages 43-72
Fixpoints and Flipflops....Pages 73-85
Computer-Schach — Was ist es wert?....Pages 86-97
Relationen und Programme....Pages 98-114
Relationale Datenbanken mit multiplen Werten....Pages 115-124
Front Matter....Pages 125-125
Anf?nge des „elektronischen Rechnens“....Pages 127-136
Innere-Punkt-Verfahren zur L?sung quadratischer Optimierungsprobleme und ihre Komplexit?t....Pages 137-141
Hierarchische Datenstrukturen f?r glatte Funktionen mehrerer Ver?nderlicher....Pages 142-150
Eine schnell konvergierende Block-Iteration f?r die Konstruktion des Form-erhaltenden Spline-Interpolanten....Pages 151-157
Front Matter....Pages 159-159
Graphen, Sprachen, Automaten Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet....Pages 161-170
Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP....Pages 171-191
Strukturerkennung mit Graphgrammatiken....Pages 192-208
B?chis regul?re kanonische Systeme und Analyse kontextfreier Grammatiken....Pages 209-216
Automatische Klassifikation und graphische Darstellung von Polyedertopologien in Silikaten....Pages 217-229
Efficient Recognition of Context-free Languages Without Look-ahead....Pages 230-248
Front Matter....Pages 249-249
Primitive Recursion on the Partial Continuous Functionals....Pages 251-268
Proofs in Structured Specifications....Pages 269-283
Herleitungen als Programme: Ihre Kompilation und Interpretation....Pages 284-294
Front Matter....Pages 295-295
On Progress in Programming....Pages 297-302
Programmiertechnische Grundlagen f?r Verteilte Systeme....Pages 303-311
Zur Entwicklung der Rechentechnik....Pages 312-319
Schnelle Simulation digitaler Systeme durch ?nderungsgetriebene Auswertung des Entwurfsgraphen....Pages 320-336
Myhill-B?chis Teilmengenkonstruktion....Pages 337-352
Front Matter....Pages 353-353
Methodische Grundlagen der Programmierung....Pages 355-365
Reusability of Transformational Developments....Pages 366-380
Programming with (Finite) Mappings....Pages 381-405
Codifying the Differencing Technique into Formal Transformation Rules over CIP-L....Pages 406-418
Formal Derivation of Pointer Algorithms....Pages 419-440
Back Matter....Pages 441-450
....