Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Automatisiertes Beweisen durch Vollständige Induktion, Stefan Frey
- Jazyk
- Rok vydání
- 2017
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Automatisiertes Beweisen durch Vollständige Induktion
- Podtitul
- implementiert an praktischen Beispielen
- Jazyk
- německy
- Autoři
- Stefan Frey
- Vydavatel
- AV Akademikerverlag
- Vydavatel
- 2017
- Vazba
- měkká
- Počet stran
- 84
- ISBN13
- 9783330508439
- Kategorie
- Matematika
- Anotace
- 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.