Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Juli 2018
Genre:	Schulbücher
	COMPUTERS / Machine Theory / Mathematical theory of computation / Proof Theory, Computability Theory, Program Extraction, Constructive Analysis, Predicativity
ISBN:	9789813270930
EAN-Code:	9789813270930
Verlag:	World Scientific Publishing
Einband:	Gebunden
Sprache:	English
Seiten:	300
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.