Artículos relacionados a Automatisiertes Beweisen durch Vollständige Induktion:...
Automatisiertes Beweisen durch Vollständige Induktion: implementiert an praktischen Beispielen - Tapa blanda
- EditorialAV Akademikerverlag
- Año de publicación2017
- ISBN 10 3330508434
- ISBN 13 9783330508439
- EncuadernaciónTapa blanda
- Número de páginas84
Comprar nuevo
Ver este artículo
EUR 28,90
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Automatisiertes Beweisen durch Vollständige Induktion
Publicado por
AV Akademikerverlag Jan 2017, 2017
ISBN 10: 3330508434
ISBN 13: 9783330508439
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783330508439
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Automatisiertes Beweisen durch Vollständige Induktion : implementiert an praktischen Beispielen
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783330508439
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Automatisiertes Beweisen durch Vollstaendige Induktion
Publicado por
AV Akademikerverlag, 2017
ISBN 10: 3330508434
ISBN 13: 9783330508439
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 158055273
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles