Informatik und Mathematik
Manfred Broy
Mar 2013 · Springer-Verlag
E-book
450
Mga Page
reportHindi na-verify ang mga rating at review Matuto Pa
Tungkol sa ebook na ito
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.
I-rate ang e-book na ito
Ipalaam sa amin ang iyong opinyon.
Impormasyon sa pagbabasa
Mga smartphone at tablet
I-install ang Google Play Books app para sa Android at iPad/iPhone. Awtomatiko itong nagsi-sync sa account mo at nagbibigay-daan sa iyong magbasa online o offline nasaan ka man.
Mga laptop at computer
Maaari kang makinig sa mga audiobook na binili sa Google Play gamit ang web browser ng iyong computer.
Mga eReader at iba pang mga device
Para magbasa tungkol sa mga e-ink device gaya ng mga Kobo eReader, kakailanganin mong mag-download ng file at ilipat ito sa iyong device. Sundin ang mga detalyadong tagubilin sa Help Center para mailipat ang mga file sa mga sinusuportahang eReader.
