Verwandte Artikel zu Automatisiertes Beweisen durch Vollständige Induktion:...
Automatisiertes Beweisen durch Vollständige Induktion: implementiert an praktischen Beispielen - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
- VerlagAV Akademikerverlag
- Erscheinungsdatum2017
- ISBN 10 3330508434
- ISBN 13 9783330508439
- EinbandTapa blanda
- Anzahl der Seiten84
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 28,90
Versand:
EUR 23,00
Von Deutschland nach USA
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Automatisiertes Beweisen durch Vollständige Induktion
Verlag:
AV Akademikerverlag Jan 2017
(2017)
ISBN 10: 3330508434
ISBN 13: 9783330508439
Neu
Taschenbuch
Anzahl: 2
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 84 pp. Deutsch. Bestandsnummer des Verkäufers 9783330508439
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 28,90
Währung umrechnen
Foto des Verkäufers
Automatisiertes Beweisen durch Vollständige Induktion : implementiert an praktischen Beispielen
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783330508439
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 28,90
Währung umrechnen
Foto des Verkäufers
Automatisiertes Beweisen durch Vollstaendige Induktion
Verlag:
AV Akademikerverlag
(2017)
ISBN 10: 3330508434
ISBN 13: 9783330508439
Neu
Softcover
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Frey StefanStefan Frey, DI (FH) Mag.: Software Engineering Studium an der Fachhochschule Hagenberg und Lehramtsstudium fuer die Unterrichtsfaecher Mathematik sowie Informatik und Informatikmanagement an der Universitaet Salzburg.Die. Bestandsnummer des Verkäufers 158055273
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 28,90
Währung umrechnen