Książka Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al

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

Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
467.11
This book is for graduate students and researchers, introducing modern foundational research in math...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2018
strony
300
EAN
9789813270930
ISBN
9813270934
Enbook ID
19760818
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

423.49

Giraldi Cambrensis opera

J. S. BrewerJames F. DimockGeorge F. Warner
230.63

JJ's Way to Start the Day

M Ed Cindy Odum Harris
39.71

Julius Caesar

Patricia Southern
57.24

Blood Royal

Grant Allen
66.39
84.30

PHENOMENES

Marina Gadonneix
189.25
21.90

Ecclesiastes

Preston A Taylor
89.36
134.54
55.87
142.91

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

Fachlageristen

Antje Reynders
65.90

Agricultura Sostenible

Carlos A. Salas Macías
281.55
109.23

ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ&

Мартинез Лопез Салва Мартинез Лопез
281.55

La brisa del Egeo

Ana Muncharaz Rossi
71.06

Eisblumen

Christoph Fackelmann
117.79
123.34
39.71