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

Dirk W. Hoffmann
Limits of Mathematics

1 Historic Notes.- 2 Formal Systems.- 3 Foundations of Mathematics.- 4 Peoof Thory.- 5 Computability Theory.- 6 Algorithmic Information Theory.- Model Theory.

lieferbar innerhalb 2-3 Wochen

Buch

Lorenz J. Halbeisen
Combinatorial Set Theory

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

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

Wolfgang Schreiner
Thinking Programs

Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Compu…

lieferbar innerhalb 2-3 Wochen

Buch

Universal Logic, Ethics, and Truth

John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Bool…

lieferbar innerhalb 2-3 Wochen

Buch

David Marker
An Invitation to Mathematical Logic

In addition to covering the essentials, the author's intention in writing this text is to entice the reader to further study mathematical logic. There is no current "standard text" for a first g…

lieferbar innerhalb 2-3 Wochen

Buch

Thomas Muller
Sets and Transfinite Algebra

This two-part book offers a rigorous yet accessible exploration of set theory and transfinite algebra, with a particular emphasis on the axiom of choice and its applications. Part I presents an informal a…

lieferbar ab 30.4.2026.

Buch

Dhruv Mubayi, Jacques A. Verstraete
Extremal Graph and Hypergraph Theory

Providing a cohesive reference for advanced undergraduates, graduate students and even experienced researchers, this text contains both introductory and advanced material in extremal graph theory, hypergr…

lieferbar ab 28.2.2026.

Buch

Thomas Muller
Sets and Transfinite Algebra

This two-part book offers a rigorous yet accessible exploration of set theory and transfinite algebra, with a particular emphasis on the axiom of choice and its applications. Part I presents an informal a…

lieferbar ab 30.4.2026.

Buch

Robin Wilson
Sum Stories

Can one prove that 1 + 1 = 2? Which US president proved Pythagoras' theorem? How long is the coastline of Britain? These and many other questions are answered in this book on famous equations and their hi…

lieferbar in mind. 4 Wochen

Buch

Mathematical Concepts and Methods in Modern Biology

Mathematical Concepts and Methods in Modern Biology: Using Modern Discrete Models, Second Editionpresents an updated, quantitative framework for analyzing, predicting, and modulating complex biological sy…

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

Charles Darwin,
Der Ursprung der Arten

Erste komplette Neuübersetzung seit 100 JahrenMit seinem am 24. November 1859 erstmals publizierten Werk >>Der Ursprung der Arten<< leitet Charles Darwin eine entscheidende Wende in der modern…

sofort lieferbar

Buch

Vidyadhar Kulkarni
An Introduction to Discrete Mathematics

An Introduction to Discrete Mathematics offers an engaging and accessible introduction to discrete mathematics for beginning undergraduate students across a wide range of application areas, from mathemati…

lieferbar in mind. 4 Wochen

Buch

Ilijas Farah
Combinatorial Set Theory of C*-Algebras

Springer Monographs in Mathematics

This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The au…

lieferbar ab 26.3.2026.

Buch

Proof Assistants and Their Applications in Mathematics and Computer Science

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

lieferbar ab 12.2.2026.

Buch

Bernd Ulmann
Analog Computing

De Gruyter Textbook

Analog and hybrid computing are two central pillars in the field of unconventional computing. Almost forgotten for decades, interest in these technologies is rapidly rising as they offer a viable path to …

lieferbar ab 2.2.2026.

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 ab 19.2.2026.

Buch

Krají&
Proof Complexity Generators

"This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is …

lieferbar innerhalb 1-2 Wochen

Buch

Werner Tiki Küstenmacher, Heinz Partoll, Irmgard Wagner
Mathe macchiato

Pearson Studium - Scientific Tools

Spielerisch Mathe lernen mit Cartoons! Alle, die für Abitur, Uni oder Berufsweiterbildungen Mathematik verstehen wollen (müssen) finden hier einen idealen Einstieg. Durch dieses Buch werden aus Mathemuffe…

sofort lieferbar

Buch