Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification (häftad)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
424
Utgivningsdatum
2021-08-11
Förlag
World Scientific Publishing Co Pte Ltd
Dimensioner
229 x 152 x 24 mm
Vikt
735 g
ISBN
9789811236471

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

av Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster
Inbunden,  Engelska, 2021-08-11
1963
Köp
Spara som favorit
  • Skickas från oss inom 3-6 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
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 proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. 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.
Visa hela texten

Passar bra ihop

  1. Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
  2. +
  3. Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

De som köpt den här boken har ofta också köpt Proof And Computation: Digitization In Mathemat... av Mainzer Klaus, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg (inbunden).

Köp båda 2 för 3362 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster

Du kanske gillar