Download Algebraische Spezifikation: Eine Einführung by Dr. rer. nat. Herbert Alois Klaeren (auth.) PDF

By Dr. rer. nat. Herbert Alois Klaeren (auth.)

Show description

Read Online or Download Algebraische Spezifikation: Eine Einführung PDF

Best german_5 books

Optimierung von Verfahren der Laseroberflächenbehandlung bei gleichzeitiger Pulverzufuhr

1. 1 Laser fur die Oberflachen behandlung Im Gegensatz zu anderen Lichtquellen sendet der Laser einen stark gebundelten, koharenten Lichtstrahl mit hoher Energiedichte aus. Bei metallischen und vielen keramischen Werk stoffen wird die einfallende Laserenergie in einer dunnen Oberflachenschicht absorbiert, ohne tief ins fabric einzudringen.

Physik: Grundlagen, Versuche, Aufgaben, Lösungen mit 396 Bildern, 24 Tafeln, 340 Aufgaben und Lösungen sowie einer Formelsammlung

Dieses Physikbuch ist aus der Unterrichtsarbeit mit den Studierenden der Technikerschule entstanden und wird laufend weiterentwickelt. Es hat sich als Arbeitsbuch in der Techniker­ ausbildung bewiihrt. Auch in anderen Schulformen der Berufsbildenden Schulen wird es gern verwendet. Durch Auswahl, Gliederung, Anordnung und Gestaltung der Lerngegenstiinde higt sich das fordernd in die schulische und hiiusliche Lehr- und Lernpraxis ein: Buch Auf dem linken Teil der Buchseite steht der Lehrtext mit dem Merksatz, der einen Lern­ schritt abschlielh.

Tafeln und Aufgaben zur Harmonischen Analyse und Periodogrammrechnung

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer publication information mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen.

Korrespondenz Adrien-Marie Legendre — Carl Gustav Jacob Jacobi: Correspondance mathématique entre Legendre et Jacobi

Die Mathematiker Adrien-Marie Legendre (1752-1833) und Carl Gustav Jacob Jacobi (1804-1851) haben von August 1827 bis Juni 1832 einen Briefwechsel geführt, der nach Inhalt und Umfang zu den bemerkenswertesten, bedeutendsten und interessantesten mathematischen Korrespondenzen der ersten Hälfte des 19.

Extra info for Algebraische Spezifikation: Eine Einführung

Example text

Eer vorhandene algebraisehe Struktur naeh C'. t . Beaehte, daB i dadurch automatiseh ein Homomorphismus eger wird. (Sogar ein Isomorphismus! ) In 48 Sei C 1 die Umkehrabbildung von Definiere 0C' : = 0 sueC,(t) : =Hsueco-l(t))) predC,(t) : = i(predcO-l(t))) +C,(t 1 ,t 2 ) : = H+cO-1(t 1 ) ,C 1 (t 2))) usf. m t eger ist isomorph zu ~m T. t eger und unter Zerlegung abge- ~ sehlossen. (Eigensehaft 2a der kan. Termalgebra). Zu zeigen bleibt aber noch 1 n n+l 1 n n+l +C,(S ,S ) = S und +C,(P ,P ) = P Mit den obigen Definitionen laBt sieh das leieht beweisen.

2 [suc suc 0] = {suc suc 0, +suc 0 suc 0, +suc suc 00, ... ,} usf. Empfehlenswert ist dieses Vorgehen allgemein jedoch nicht, da wir uns damit wieder zu stark in die Abhangigkeit einer bestimmten Darstellung begeben, die moglicherweise unerwiinschte Assoziationen mit sich bringt. llL keinen Sinn, da wir hier die Multiplikation und das kleinste gemeinschaftliche Vielfache 42 nicht kennen. Esempfiehlt sich also. als Bezeichnung fur eine Aquivalenzklasse einen Term aus T. Sig zu wiihlen; in der Tat haben wir dies in der obigen Liste auch aiter- nativ get an .

1 und 2. 2 vergleichen. :> eine Signatur, X ein abziihlbares Standard- alphabet X = {x~ I s E S , j E IN} . Eine Familie R = (R s) S mit J sE R S cT. (X)s x T . (X)s heiBt ~-Regelmenge , ein Element (t 1 ,t 2 ) von R - eine ~ - ~ Statt (t 1 , t 2 ) E R schreiben wir t1 ... t2 . Eine :&K-Regelmenge induziert eine Ableitungsrelation (Reduktionsrelation) "* cT. (X) x T . (X) ~-Regel. - durch die Definition t1 "* - ~ ~ - - t2 genau dann, wenn mindestens eine der folgenden Bedingungen zutrifft: a. ) Es gibt eine sortentreue Abbildung f: X ...

Download PDF sample

Rated 4.55 of 5 – based on 26 votes