Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC

by Markus Lebender
Save 12% Save 12%
Current price ₹8,297.00
Original price ₹9,475.00
Original price ₹9,475.00
Original price ₹9,475.00
(-12%)
₹8,297.00
Current price ₹8,297.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783838666839
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Diplom.de
  • Publisher Imprint: Diplom.de
  • Publication Date:
  • Pages: 124
  • Original Price: GBP 74.9
  • Language: German
  • Edition: N/A
  • Item Weight: 173 grams
  • BISAC Subject(s): Reference

Inhaltsangabe: Zusammenfassung: Die vorliegende Arbeit beschäftigt sich mit zwei thematischen Schwerpunkten. Der eine Schwerpunkt sind numerische, verifizierende Verfahren. Darunter werden Algorithmen und Methoden verstanden, die mathematische Aufgaben mittels Computer numerisch (also nicht symbolisch) lösen und hierbei Lösungseinschlie ungen liefern im Gegensatz zu den herkömmlichen computerbasierten Verfahren, die gerundete Ergebnisse liefern, die weit von der echten Lösung entfernt liegen. Den zweite Schwerpunkt bilden die graphischen Benutzerschnittstellen, die es ermöglichen mathematische Probleme zu visualisieren. Als Basis der Implementierungen im Rahmen dieser Arbeit wurde das Oberon-XSC System verwendet, da es beide Aspekte sehr gut miteinander vereint. Die Arbeit beginnt mit einer Einführung in die mathematischen Grundlagen der Rechnerarithmetik und Intervallrechnung und einer Einführung in Oberon. Daran anschlie end werden zwei Beispiele für Visualisierungsprobleme geben. Zum einen ein Programm zur Darstellung eindimensionaler reeller Funktionen sowie gleichzeitig deren Ableitungen bzw. Taylorkurven. Dies werden dabei automatisch über verifizierende Verfahren aus dem Funktionsausdruck berechnet. Zum anderen wird eine Fadenpendel-Simulation vorgestellt, für deren Simluation ein System zweier Differentialgleichungen erster Ordnung durch ein Runge-Kutta-Verfahren der Ordnung 4 gelöst werden muss. Im dritten Kapitel werden verschiedene numerische Verfahren detailliert vorgestellt und implementiert. Im speziellen sind das die Methoden der automatischen Differentiation und darauf aufbauen Algorithmen zur globalen Optimierung eindimensionaler reeller Funktionen. Inhaltsverzeichnis: Inhaltsverzeichnis: 1.Grundlagen1 1.1Kurze Einführung in die Rechnerarithmetik1 1.1.1Die Räume der Rechnerarithmetik1 1.1.2Definition der Rechnerarithmetik3 1.2Einführung in die Intervallrechnung5 1.2.1Definition und Eigenschaften der Intervallarithmetik6 1.2.2Maschinenin

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us