Søgning på underkategorier- og emner:
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
This accessible volume arises from a series of intensive mathematics workshops where prominent set theorists give one-day lectures that focus on important new directions,... 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
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic... Læs mere
Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists based on a leisurely... Læs mere
This fresh approach blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. The author, an... Læs mere
This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational... Læs mere
This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of... 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