- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Automatisiertes Beweisen durch Vollständige Induktion
implementiert an praktischen Beispielen
Stefan Frey
Paperback | Duits
€ 28,45
+ 56 punten
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 84
- Taal:
- Duits
Eigenschappen
- Productcode (EAN):
- 9783330508439
- Uitvoering:
- Paperback
- Afmetingen:
- 150 mm x 220 mm
- Gewicht:
- 128 g
Alleen bij Standaard Boekhandel
+ 56 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.