Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Name: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789813270930
Price: 467.11 PLN
Availability: InStock

Autor: Klaus Mainzer Et Al

Język:

Oprawa: Twarda

Wydawca: World Scientific Publishing Co Pte Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

467.11 zł

This book is for graduate students and researchers, introducing modern foundational research in math...

Informacje o książce

Autor

Klaus Mainzer Et Al

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2018

strony

300

EAN

9789813270930

ISBN

9813270934

Enbook ID

19760818

Wydawca

World Scientific Publishing Co Pte Ltd

Waga

576

Wymiary

235 x 159 x 24

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również