Søgning på underkategorier- og emner:
One of the world's most creative mathematicians offers new ways to look at maths - focusing on questions, not answers
A fascinating exploration of how we can make better, accessible, mathematically-informed predictions about the world around us.
In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other... Læs mere
This volume surveys many exciting recent developments in the field of algorithmic randomness and its interactions with other areas of mathematics, presenting... Læs mere
Aimed at one-semester courses and programmers wishing to master practical aspects of constraint programming; the book teaches understanding and how to write... Læs mere
This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational... Læs mere
This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives... Læs mere
Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on... Læs mere
This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour, from basics to advanced... Læs mere
This book provides a quick yet detailed introduction to set theory and forcing, building the reader's intuition about it as well as rigorousness. Part II discusses contemporary issues in the theory of forcing, including previously unpublished results and open questions.
Games, Scales, and Suslin Cardinals is the first of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'... Læs mere