Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Informatik und Mathematik

BuchKartoniert, Paperback
450 Seiten
Deutsch
Springererschienen am23.12.2011Softcover reprint of the original 1st ed. 1991
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 anlasslich 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 verknupft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin fur 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 Ubersetzerbau, und schliesslich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der asthetische und kulturelle Gehalt dieser Themengebiete erschliesst sich uber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermassen vom Nutzen und von der Schonheit der Formeln in der Mathematik und in der Informatik handelt.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR74,99
E-BookPDF1 - PDF WatermarkE-Book
EUR59,99

Produkt

KlappentextDieser 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 anlasslich 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 verknupft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin fur 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 Ubersetzerbau, und schliesslich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der asthetische und kulturelle Gehalt dieser Themengebiete erschliesst sich uber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermassen vom Nutzen und von der Schonheit der Formeln in der Mathematik und in der Informatik handelt.
Details
ISBN/GTIN978-3-642-76678-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2011
Erscheinungsdatum23.12.2011
AuflageSoftcover reprint of the original 1st ed. 1991
Seiten450 Seiten
SpracheDeutsch
Gewicht702 g
IllustrationenXIV, 450 S.
Artikel-Nr.18227693

Inhalt/Kritik

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.mehr

Autor

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.