Grundlagen Mathematik – Bücher, CDs, Diverse und mehr, Seite 3

Arthur Freitas Ramos, Ruy J. G. B. De Queiroz, Anjolina Grisi de Oliveira
Computational Paths. The Calculus of Equality

When are two proofs of the same proposition equal? This book answers through computational paths - explicit syntactic witnesses that record how one proof-term rewrites into another. Continuing the program…

lieferbar innerhalb 2-3 Wochen

Buch

Nelson Niu, David I. Spivak
Polynomial Functors

An example- and exercise-filled book for mathematical and scientific modelers with an introductory knowledge of category theory (e.g., readers of Cheng's 'Joy of Abstraction' or Fong & Spivak's 'Invit…

lieferbar innerhalb 2-3 Wochen

Buch

Antonio Montalbán
Computable Structure Theory

Computable structure theory quantifies and studies the relative complexity of mathematical structures. This text, in conjunction with the author's previous volume, represents the first full monograph on c…

lieferbar innerhalb 2-3 Wochen

Buch

Chen Yang, Yuanqing Xia
Set Theory-Based Spacecraft Dynamics and Control

Intelligent Control and Learning Systems - Band 26

This book presents a unified set theory-based framework for spacecraft dynamics and control under multi-source uncertainties and data-sparse conditions. First, it develops reduced-order modeling technique…

lieferbar innerhalb 2-3 Wochen

Buch

Ulrich Daepp, Pamela Gorkin
Reading, Writing, and Proving

This book, which assumes only a precalculus background, aids students in their transition to higher-level mathematics. The authors begin by providing a great deal of guidance on how to approach definition…

lieferbar innerhalb 2-3 Wochen

Buch

Dimitri Ara, Albert Burroni, Yves Guiraud
Polygraphs

This is the first book to revisit the theory of rewriting in the context of strict higher categories, through the unified approach provided by polygraphs, and put it in the context of homotopical algebra.…

lieferbar innerhalb 2-3 Wochen

Buch

Egbert Rijke
Introduction to Homotopy Type Theory

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

lieferbar innerhalb 2-3 Wochen

Buch

Timothy Sauer
Numerical Analysis

The most readable and relevant numerical analysis text is now infused with web links at point-of-use.Numerical Analysis, 3rd Edition is written for students of engineering, science, mathematics, and compu…

lieferbar innerhalb 2-3 Wochen

Buch

Alexander Rapp
Grundlagen der Quantenphysik für Dummies

Richtig kniffelig ist sie, diese Quantenphysik; kniffelig, aber auch sehr wichtig. Wenn Sie Probleme haben, hier auch nur den Einstieg zu finden, ist dieses Buch das richtige für Sie. Alexander Rapp erläu…

lieferbar ab 15.6.2027.

Buch

Formal Methods Teaching

Lecture Notes in Computer Science - Band 16566

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.The 6 full papers included in these proceedin…

lieferbar innerhalb 2-3 Wochen

Buch

Johanna N. Y. Franklin, Isaac Goldbring, Timothy H. McNicholl
Effective Metric Structure Theory

Springer Monographs in Mathematics

This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one cohere…

lieferbar innerhalb 2-3 Wochen

Buch

Model Theory

Fields Institute Communications - Band 92

This book provides an entry into some the key areas of research in contemporary model theory. Model theory, a branch of mathematical logic, is an exciting and vibrant discipline. Advances in pure model th…

lieferbar innerhalb 2-3 Wochen

Buch

Dirk Van Dalen, Mark van Atten, Craig Smory¿ski
Intuitionistic Analysis

Springer Undergraduate Mathematics Series

This book introduces the core ideas of L.E.J. Brouwer's approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer'…

lieferbar innerhalb 2-3 Wochen

Buch

Wolfgang Schreiner
Thinking Programs

Texts & Monographs in Symbolic Computation

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their dai…

lieferbar innerhalb 2-3 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch

Hisham Sati, Urs Schreiber
Equivariant Principal 8-Bundles

Cambridge Studies in Advanced Mathematics

Principal bundles and their associated fiber bundles famously play a foundational role in both algebraic and differential topology, as well as in fundamental and solid-state physics. More recently, their …

lieferbar ab 30.6.2026.

Buch

Ambat Vijayakumar, Aparna Lakshmanan S., Peter J. Cameron
The Shrikhande Graph

London Mathematical Society Student Texts

The Shrikhande graph, discovered by Indian Mathematician Sharadchandra Shankar Shrikhande in 1959, exhibits several unusual properties and occupies a pivotal position within discrete mathematics. Offering…

lieferbar ab 2.7.2026.

Buch

Ambat Vijayakumar, Aparna Lakshmanan S., Peter J. Cameron
The Shrikhande Graph

London Mathematical Society Student Texts

The Shrikhande graph, discovered by Indian Mathematician Sharadchandra Shankar Shrikhande in 1959, exhibits several unusual properties and occupies a pivotal position within discrete mathematics. Offering…

lieferbar ab 2.7.2026.

Buch

Michael Wooldridge
Life Lessons from Game Theory

'Wooldridge is like the teacher you wish you'd had' GUARDIAN 'This book is simply brilliant . . . I learned so much' SIR DAVID SPIEGELHALTER, UNIVERSITY OF CAMBRIDGE 'Fresh, clever and playful' MATT RIDLE…

lieferbar in mind. 4 Wochen

Buch

Kolmogorov's Heritage in Mathematics

Most mathematicians prove what they can, Kolmogorov belonged to a select group who proved what they want. In this book, several world experts present one part of the mathematical heritage of Kolmogorov. E…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Grundlagen Mathematik" - alle Bücher, CDs, Diverse und mehr