✍ Scribed by Dr. rer. nat. Herbert Alois Klaeren (auth.)
No coin nor oath required. For personal study only.
Front Matter....Pages i-vii
Einleitung....Pages 1-17
Abstrakte Strukturen....Pages 18-34
Gleichungen, Spezifikationen....Pages 35-50
Rechnungen in Gleichungssystemen....Pages 51-64
Erweiterungen von Gleichungsspezifikationen....Pages 65-76
Finale Semantik....Pages 77-91
Behandlung von Ausnahmezuständen....Pages 92-100
Implementierungen von Gleichungsspezifikationen....Pages 101-122
Abstrakte Software-Spezifikationen....Pages 123-144
Korrektheit von Spezifikationen....Pages 145-153
Parametrisierte Spezifikationen....Pages 154-167
Praktischer Einsatz algebraischer Spezifikationen....Pages 168-186
Anwendungsbeispiel....Pages 187-197
Lösungen zu den Aufgaben....Pages 198-204
Bibliographie....Pages 205-231
Back Matter....Pages 232-238
Software Engineering
📜 SIMILAR VOLUMES
<p>Diese Einführung in die algebraische Geometrie richtet sich an Studierende mittlere und höhere Semester. Vorausgesetzt werden lediglich die im ersten Studienjahr erworbenen Grundkenntnisse. Ausgehend von den affinen Hyperflächen werden beliebige affine und schliesslich projektive Varietäten unter
<p>"... Dieses Buch bietet sich als sehr empfehlenswerte Einführung in die algebraische Topolige an und eignet sich sowohl zum Selbststudium als auch zum Aufbau einer Lehrveranstaltung. ..." G. Lettl. Internationale Mathematische Nachrichten, Wien</p>
<p><p>Die Konzepte in der Algebra wie Gruppen, Ringe, Körper gewinnen ihre mathematische Bedeutung und Kraft aus der Verbindung von abstrakten Strukturen und wichtigen Beispielen. Dieses<i> essential </i>bietet eine kompakte Einführung in diese algebraischen Strukturen und deren Zusammenwirken beisp