Klaus Mainzer & Peter Michael Schuster 
PROOF AND COMPUTATION [EPUB ebook] 
Digitization in Mathematics, Computer Science and Philosophy

Support

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

€79.99
méthodes de payement
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format EPUB ● Pages 300 ● ISBN 9789813270954 ● Taille du fichier 14.3 MB ● Éditeur Klaus Mainzer & Peter Michael Schuster ● Maison d’édition World Scientific Publishing Company ● Lieu Singapore ● Pays SG ● Publié 2018 ● Téléchargeable 24 mois ● Devise EUR ● ID 6370025 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

49 673 Ebooks dans cette catégorie