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

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

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

Model Theory, Computer Science, and Graph Polynomials

Part I: Personal Notes.- My writing.- Some personal remarks about Johann A. Makowsky.- The Swiss Connection.- From a Friend and Publisher.- From graph polynomials to the software industry Lessons from Jan…

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

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

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

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 31.3.2026.

Buch

Hisham Sati, Urs Schreiber
Equivariant Principal 8-Bundles

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

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 31.3.2026.

Buch

Michael Wooldridge
Life Lessons from Game Theory

'A wonderful book' YOAV SHOHAM, STANFORD UNIVERSITY 'Michael explains the complex, strategic structures of our world with masterful beauty' - MILIND TAMBE, HARVARD UNIVERSITY 'Effortlessly covers a broad …

lieferbar ab 21.5.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 innerhalb von 1-3 Tagen

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

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

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…

Artikel am Lager

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 15.4.2026.

Buch

Topology, Algebra and Categories in Logic

This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology. Its five chapters contain the written records of the five courses of the 2022 TACL Sum…

lieferbar ab 29.4.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 …

sofort lieferbar

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