The book is currently out of stock
Automatisiertes Beweisen durch Vollständige Induktion
implementiert an praktischen Beispielen
Authors
More about the book
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.
Book purchase
Automatisiertes Beweisen durch Vollständige Induktion, Stefan Frey
- Language
- Released
- 2017
We’ll notify you via email once we track it down.
Payment methods
- Title
- Automatisiertes Beweisen durch Vollständige Induktion
- Subtitle
- implementiert an praktischen Beispielen
- Language
- German
- Authors
- Stefan Frey
- Publisher
- AV Akademikerverlag
- Released
- 2017
- Format
- Paperback
- Pages
- 84
- ISBN13
- 9783330508439
- Category
- Mathematics
- Description
- 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.