Imagen del editor
Imagen no disponible

Automatisiertes Beweisen durch Vollständige Induktion: implementiert an praktischen Beispielen (Paperback)

Stefan Frey

ISBN 10: 3330508434 / ISBN 13: 9783330508439
Editorial: AV Akademikerverlag, Germany, 2017
Nuevos Condición: New Encuadernación de tapa blanda
Librería: The Book Depository EURO (London, Reino Unido)

Librería en AbeBooks desde: 29 de abril de 2014 Valoración librería Valoración 3 estrellas

Cantidad disponible: 1

Comprar nuevo
Precio: EUR 43,35 Convertir moneda
Gastos de envío: EUR 3,52 De Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Language: German. Brand new Book. 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. de la librería KNV9783330508439

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Automatisiertes Beweisen durch Vollständige ...

Editorial: AV Akademikerverlag, Germany

Año de publicación: 2017

Encuadernación: Paperback

Condición del libro: New

Edición: Aufl.

Descripción de la librería

The Book Depository - bookdepository.com - is the UK's largest dedicated online bookseller offering the largest range of titles in the world, available for dispatch within 48 hours. Founded in 2004 to make 'All Books To All' we focus on selling 'less of more' rather than 'more of less', differentiating ourself from other retailers who increasingly focus on bestsellers. All books available to All Currently, The Book Depository is able to ship over 4 million unique titles, within 48 hours, from our fulfillment centre in Gloucester, United Kingdom. This figure is increasing everyday. Apart from publishers, distributors and wholesalers, we even list and supply books from other retailers!

Ver la página web de la librería

Condiciones de venta:

All books are shipped in New condition promptly, we are
happy to accept returns up to 30 days from purchase. Orders
usually ship within 1-2 business days. Domestic Shipments
are sent by Royal Mail, and International by Priority
Airmail. We are happy to accept returns up to 30 days from
purchase.

¿ Name of business : The Book Depository Ltd
¿ Form of legal entity : A Limited Company
¿ Business address: The Book Depository, Thames Central, Hatfield Road,
Slough, Berkshire, SL1 1QE
¿ Email address:...

Más información
Condiciones de envío:

Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal
Mail, and International by Priority Airmail. Orders usually ship within 1-2
business days. Domestic Shipments are sent by Royal Mail, and International by
Priority Airmail. We are happy to accept returns up to 30 days from purchase.
Please contact the seller directly if you wish to return an order.

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue