Automatisiertes Beweisen durch Vollständige Induktion
7 Angebote vergleichen

Lieferung aus: Deutschland, Lieferbar in 2 - 3 Tage.
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. 14.01.2017, Taschenbuch.

Lieferung aus: Schweiz, Versandfertig innert 4 - 7 Werktagen.
implementiert an praktischen Beispielen, 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. Taschenbuch, 14.01.2017.

Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
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 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. Lieferzeit 1-2 Werktage.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferzeit: 11 Tage, zzgl. Versandkosten.
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.

Lieferung aus: Deutschland, Versandkostenfrei.
Automatisiertes Beweisen durch Vollständige Induktion: 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. Taschenbuch.

Automatisiertes Beweisen durch Vollständige Induktion ab 28.9 € als Taschenbuch: implementiert an praktischen Beispielen. Aus dem Bereich: Bücher, Wissenschaft, Mathematik,.

Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar! Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen