Klaus Mainzer
Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification Klaus Mainzer

Name: Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification
Price: 24899 JPY
Availability: OutOfStock
Author: Klaus Mainzer

価格

¥ 24.899

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月29日 - 年10月15日

Klaus Mainzer の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification

Klaus Mainzer

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.

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2021年8月11日
ISBN13	9789811236471
出版社	World Scientific Publishing Co Pte Ltd
ページ数	424
寸法	152 × 229 × 24 mm · 734 g
言語	英語
編集者	Mainzer, Klaus (Technische Universitat Munchen, Germany)
編集者	Schuster, Peter (Universita degli Studi di Verona, Italy)
編集者	Schwichtenberg, Helmut (Ludwig-Maximilians-Universitat Munchen, Germany)