Lineare Algebra 2: Anwendungen und Konzepte für Studierende by Stefan Waldmann

By Stefan Waldmann

In diesem Band des zweiteiligen Lehrbuchs zur Linearen Algebra werden zum einen verschiedene Anwendungen zu den Themen des ersten Bandes vertieft: es wird die Lösungstheorie linearer gewöhnlicher Differentialgleichungen mit konstanten Koeffizienten vorgestellt. Zum anderen werden die formalen Konzepte der linearen Algebra vertieft. Neben Quotientenkonstruktionen und der Theorie der symmetrischen und antisymmetrischen Bilinearformen wird vor allem die multilineare Algebra zusammen mit Tensorprodukten im aspect besprochen.

Wie schon im ersten Band ist der Zugang dieses Lehrbuchs eher klassisch: Die formalen Aspekte der wissenschaftlichen Mathematik werden stark betont. Noch stärker als im ersten Band wird jedoch gerade aus den Anwendungen in der mathematischen Physik wichtige Motivation für das Vorgehen gewonnen. Auf diese Weise ist das Lehrbuch sowohl für Studierende der Mathematik als auch der Physik geeignet. Insgesamt über a hundred umfangreiche Übungen erleichtern das Selbststudium.

Der Inhalt von Band 2:

  • Lineare Differentialgleichungen und die Exponentialabbildung
  • Quotienten
  • Multilineare Abbildungen und Tensorprodukte
  • Bilinearformen und Quadriken

Der Autor
Stefan Waldmann studierte Physik in Freiburg, wo er 1999 promovierteund 2003 habilitierte. Nach Professuren für Differentialgeometrie inLeuven und harmonische research in Erlangen ist er nun am Institut fürMathematik der Universität Würzburg Inhaber des Lehrstuhls für Mathematische Physik.

Show description

Process Algebra and Probabilistic Methods: Performance by André Schiper (auth.), Holger Hermanns, Roberto Segala

By André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.)

This quantity includes the lawsuits of the second one joint PAPM-PROBMIV Workshop, held on the collage of Copenhagen, Denmark, July 25–26, 2002 as a part of the Federated good judgment convention (FLoC 2002). The PAPM-PROBMIV workshop effects from the mix of 2 wo- retailers: PAPM (Process Algebras and function Modeling) and PROBMIV (Probabilistic tools in Veri?cation). the purpose of the joint workshop is to assemble the researchers operating around the complete spectrum of recommendations for the modeling, speci?cation, research, and veri?cation of probabilistic platforms. chance is well-known within the layout and research of software program and platforms, as a way to derive e?cient algorithms (e.g. randomization), as a version for unreliable or unpredictable habit (as within the learn of fault-tolerant platforms and laptop networks), and as a device to review functionality and - pendability homes. the themes of the workshop contain speci?cation, m- els, and semantics of probabilistic platforms, research and veri?cation concepts, probabilistic equipment for the veri?cation of non-probabilistic platforms, and instruments and case experiences. The ?rst PAPM workshop used to be held in Edinburgh in 1993; the next ones have been held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), great (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop used to be held in Indianapolis, Indiana (1998); the subsequent one came about in Eindhoven (1999). In 2000, PROBMIV was once changed through a Dagstuhl seminar on Probabilistic equipment in Veri?cation.

Show description

Algebra of Communicating Processes: Proceedings of ACP94, by J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef

By J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)

ACP, the Algebra of speaking tactics, is an algebraic method of the research of concurrent tactics, initiated by means of Jan Bergstra and Jan Will em Klop within the early eighties. those complaints contain the contributions to ACP94, the 1st workshop dedicated to ACP. The paintings­ store was once held at Utrecht college, 16-17 may well 1994. those court cases are supposed to supply an summary of present examine within the region of ACP. They include fifteen contributions. the 1st one is a classical paper on ACP by way of J.A. Bergstra and J.W. Klop: The Algebra of Recursively outlined approaches and the Algebra of normal tactics, document IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an advent to the rest of the lawsuits and, certainly, as a basic advent to ACP. a longer summary of this paper is released lower than an analogous name within the ICALP' eighty four lawsuits. Of the re­ maining contributions, 3 have been submitted by way of the invited audio system and the others have been chosen through the programme committee. As for the shows, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager have been each one invited to bring a lecture. A paper with regards to Frits Vaandrager's lecture has already been submitted for e-book in different places and isn't, consequently, incorporated in those seasoned­ ceedings. Gabriel Ciobanu, one in all our site visitors, gave an effect of his paintings in an additional lecture. in addition, ten shows got at the foundation of chosen papers.

Show description