Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Die Arbeit untersucht die Implementierung automatisierter Beweise durch vollständige Induktion anhand praktischer Beispiele. Ziel ist die Entwicklung einer generischen Routine im Computer Algebra System MAXIMA, die verschiedene Beweise führen kann, ohne Anpassungen vorzunehmen. Der erste Teil thematisiert den Nutzen von CAS in der schulischen Bildung und die Methode der vollständigen Induktion. Im praktischen Abschnitt werden spezifische Routinen zur Durchführung von Beweisen, wie Summen- und Produktformeln sowie Formeln zur n-ten Differenzierung, realisiert, wobei die Beschränkungen solcher automatisierten Verfahren aufgezeigt werden.
Achat du livre
Automatisiertes Beweisen durch Vollständige Induktion, Stefan Frey
- Langue
- Année de publication
- 2017
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .