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

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Grundlagen Mathematik" finden. Könnten diese Produkte zu Ihrer Suche passen?

Neil Tennant
Logic. A Primer

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguistically informed, and mathematically …

lieferbar innerhalb 2-3 Wochen

Buch

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

Mark Zegarelli
Mathe kompakt für Dummies

Mathematik ist nicht jedermanns Sache und oft hapert es schon an den Grundlagen. Frei nach dem Motto "Einst gelernt, doch längst vergessen" bereiten oft gerade die einfachen Fragestellungen Prob…

lieferbar innerhalb 1-2 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

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

Lorenz Halbeisen, Regula Krapf
Gödel's Theorems and Zermelo's Axioms

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs…

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

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

R¿zvan Diaconescu
Institution-independent Model Theory

Studies in Universal Logic

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provid…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods Teaching

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

Lorenz J. Halbeisen
Combinatorial Set Theory

Springer Monographs in Mathematics

This book, now in a revised and extended third edition, provides a comprehensive and accessible introduction to modern axiomatic set theory.After an overview of basic notions in combinatorics and first-or…

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

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.