Sách điện tử > Khoa học > Toán > Klaus Mainzer & Peter Michael Schuster: PROOF AND COMPUTATION (ePUB)

Klaus Mainzer & Peter Michael Schuster
PROOF AND COMPUTATION [EPUB ebook]
Digitization in Mathematics, Computer Science and Philosophy

Ủng hộ

Bìa của Klaus Mainzer & Peter Michael Schuster: PROOF AND COMPUTATION (ePUB)

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.

€77.99

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng EPUB ● Trang 300 ● ISBN 9789813270954 ● Kích thước tập tin 14.3 MB ● Biên tập viên Klaus Mainzer & Peter Michael Schuster ● Nhà xuất bản World Scientific Publishing Company ● Thành phố Singapore ● Quốc gia SG ● Được phát hành 2018 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 6370025 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

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

48.763 Ebooks trong thể loại này

Bìa của Ahmed I. (DePaul University, Chicago, Illinois, USA) Zayed: Fractional Integral Transforms

Ahmed I. (DePaul University, Chicago, Illinois, USA) Zayed: Fractional Integral Transforms

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

Bìa của Andrei D. Polyanin & Valentin F. (Russian State Pedagogical University, St. Petersburg) Zaitsev: Handbook of Ordinary Differential Equations

Andrei D. Polyanin & Valentin F. (Russian State Pedagogical University, St. Petersburg) Zaitsev: Handbook of Ordinary Differential Equations

The Handbook of Ordinary Differential Equations: Exact Solutions, Methods, and Problems, is an exceptional and complete reference for scientists and engineers as it contains over 7, 000 ordinary diff …

Bìa của Luis Gerardo de la Fraga & Omar Guillen-Fernandez: Optimization of Integer/Fractional Order Chaotic Systems by Metaheuristics and their Electronic Realization

Luis Gerardo de la Fraga & Omar Guillen-Fernandez: Optimization of Integer/Fractional Order Chaotic Systems by Metaheuristics and their Electronic Realization

Mathematicians have devised different chaotic systems that are modeled by integer or fractional-order differential equations, and whose mathematical models can generate chaos or hyperchaos. The …

Bìa của Jerry Butters & Jim Henle: The Baseball Mysteries

Jerry Butters & Jim Henle: The Baseball Mysteries

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

Bìa của Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

‘ Exploring commutative algebra”s connections with and applications to topological algebra and algebraic geometry, Commutative Ring Theory covers the spectra of rings chain conditions, dimension the …

Bìa của Jose Iovino: Beyond First Order Model Theory, Volume I

Jose Iovino: Beyond First Order Model Theory, Volume I

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains …

Bìa của Klaus G. Fischer: Computational Algebra

Klaus G. Fischer: Computational Algebra

Based on the fifth Mid-Atlantic Algebra Conference held recently at George Mason University, Fairfax, Virginia. Focuses on both the practical and theoretical aspects of computational algebra. Demonst …

Bìa của Kevin Ferland: Discrete Mathematics and Applications

Kevin Ferland: Discrete Mathematics and Applications

Discrete Mathematics and Applications, Second Edition is intended for a one-semester course in discrete mathematics. Such a course is typically taken by mathematics, mathematics education, and comput …

Bìa của Pauly Awad & Seifedine Kadry: Mathematics for Engineers and Science Labs Using Maxima

Pauly Awad & Seifedine Kadry: Mathematics for Engineers and Science Labs Using Maxima

This book is designed to be a vital companion to math textbooks covering the topics of precalculus, calculus, linear algebra, differential equations, and probability and statistics. While these exist …

Bìa của Peter B. (University of Oregon, Eugene, USA) Gilkey: Invariance Theory

Peter B. (University of Oregon, Eugene, USA) Gilkey: Invariance Theory

This book treats the Atiyah-Singer index theorem using the heat equation, which gives a local formula for the index of any elliptic complex. Heat equation methods are also used to discuss Lefschetz f …

Trang tiếp theo >>>