buchspektrum Internet-Buchhandlung

Neuerscheinungen 2017

Stand: 2020-02-01
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

Stefan Frey

Automatisiertes Beweisen durch Vollständige Induktion


implementiert an praktischen Beispielen
2017. 84 S. 220 mm
Verlag/Jahr: AV AKADEMIKERVERLAG 2017
ISBN: 3-330-50843-4 (3330508434)
Neue ISBN: 978-3-330-50843-9 (9783330508439)

Preis und Lieferzeit: Bitte klicken


Die vorliegende Arbeit beschäftigt sich mit dem Thema "Automatisiertes Beweisen durch Vollständige Induktion implementiert an praktischen Beispielen". Ziel ist es, eine möglichst generische Routine zu programmieren, die in der Lage ist verschiedene Beweise zu führen, ohne sie ändern zu müssen. Implementiert wird die Routine mit dem Computer Algebra System (CAS) MAXIMA. Der erste Teil der Arbeit beschäftigt sich mit dem Nutzen und der Notwendigkeit eines CAS als Werkzeug in der Schule und insbesondere auch mit der Behandlung der Beweismethode der "Vollständigen Induktion". Im praktischen Teil werden Routinen realisiert, die in der Lage sind, bestimmte Typen von Beweisen mit "Vollständiger Induktion" zu führen. Dabei stellte sich heraus, dass es eigentlich unmöglich ist, alle Beweise mit einer Routine abzuhandeln, aber sehr wohl Beweise desselben Typs. Behandelt werden Beweise für Summenformeln, Produktformeln und Formeln für die n-te Differenzierung.
Stefan Frey, DI (FH) Mag.: Software Engineering Studium an der Fachhochschule Hagenberg und Lehramtsstudium für die Unterrichtsfächer Mathematik sowie Informatik und Informatikmanagement an der Universität Salzburg.