Kniha Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al

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

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
105.40
This book is for graduate students and researchers, introducing modern foundational research in math...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2018
Stránok
300
EAN
9789813270930
ISBN
9813270934
Enbook ID
19760818
Hmotnosť
576
Rozmery
235 x 159 x 24

Kompletný popis

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.

Mohlo by vás zaujímať

99.90

Giraldi Cambrensis opera

J. S. BrewerJames F. DimockGeorge F. Warner
57.21

JJ's Way to Start the Day

M Ed Cindy Odum Harris
8.92

Julius Caesar

Patricia Southern
13.53

Blood Royal

Grant Allen
15.69
18.93

PHENOMENES

Marina Gadonneix
44.65
5.19

Ecclesiastes

Preston A Taylor
20.11
31.79
12.06
32.18

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Fachlageristen

Antje Reynders
15.59

Agricultura Sostenible

Carlos A. Salas Macías
66.43

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

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

La brisa del Egeo

Ana Muncharaz Rossi
16.77

Eisblumen

Christoph Fackelmann
27.76
29.14
9.76