Mathematical foundations

Damengambit, Königsjagd und Springertour - das aktuelle Sachbuch über Schach mit einem Vorwort von Garri Kasparow.

Surely the reader had come across situations where he would have given his life to get the "e;final answer"e;, the reason for our existence, a Theory of Everything, a true World Formula that contains it all.

The Only Undergraduate Textbook to Teach Both Classical and Virtual Knot TheoryAn Invitation to Knot Theory: Virtual and Classical gives advanced undergraduate students a gentle introduction to the field of virtual knot theory and mathematical research.

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.

A Stitch in Line: Mathematics and One-Stitch Sashiko provides readers with instructions for creating hitomezashi items with minimum outlay.

This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models.

Rough Sets and Data Mining: Analysis of Imprecise Data is an edited collection of research chapters on the most recent developments in rough set theory and data mining.

Mathematical Puzzle Tales from Mount Olympus uses fascinating tales from Greek Mythology as the background for introducing mathematics puzzles to the general public.

Digital forensics plays a crucial role in identifying, analysing, and presenting cyber threats as evidence in a court of law.

Modern cryptography has evolved dramatically since the 1970s.

The notion of a dominated or rnajorized operator rests on a simple idea that goes as far back as the Cauchy method of majorants.

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space.

This book is concerned with the optimization problem of maximizing the number of spanning trees of a multigraph.

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge.

"e;Proofs and Fundamentals: A First Course in Abstract Mathematics"e; 2nd edition is designed as a "e;transition"e; course to introduce undergraduates to the writing of rigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality.

The Logic Of Names : An Introduction To Boole's Laws Of Thought.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.

This work introduces tools, from the field of category theory, that make it possible to tackle until now unsolvable representation problems (determination of the range of a given functor).

The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and solutions to problems from the first edition.

This book presents the essential role of mathematical modelling and computational methods in representing physical phenomena mathematically, focusing on the significance of the I-function.

Logic appears in a 'sacred' and in a 'profane' form.

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

This book revises and expands upon the prior edition,  The Navier-Stokes Problem.

This book provides a one-semester undergraduate introduction to counterexamples in calculus and analysis.

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make.

Discrete Mathematics: An Open Introduction, Fourth Edition aims to provide an introduction to select topics in discrete mathematics at a level appropriate for first or second year undergraduate math and computer science majors, especially those who intend to teach middle and high school mathematics.

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation.

Intellectual property owners must continually exploit new ways of reproducing, distributing, and marketing their products.

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.

Mathematical Labyrinths.

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.

This tutorial-style textbook develops the basic mathematical tools needed by undergraduates to solve problems in the physical sciences.

Originally published in 1934.

This book makes a significant inroad into the unexpectedly difficult question of existence of Frechet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces.

RC4 Stream Cipher and Its Variants is the first book to fully cover the popular software stream cipher RC4.

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years.

The fractional Laplacian, also called the Riesz fractional derivative, describes an unusual diffusion process associated with random excursions.

This book serves as a textbook in real analysis.

Physically Unclonable Functions (PUFs) translate unavoidable variations in certain parameters of materials, waves, or devices into random and unique signals.

This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic.

Agents act on the basis of their beliefs and these beliefs change as they interact with other agents.

This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work.

Explore the mathematics arising from discrete quantum walks in this introduction to a rapidly developing area.

Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic.

This monograph is intended for an advanced undergraduate or graduate course as well as for researchers, who want a compilation of developments in this rapidly growing field of operations research.

This vital work for researchers and graduate students focuses on resilience estimation and control of cyber-physical networked systems using attacker-defender game theory.

This book is addressed primarily to researchers specializing in mathemat- ical logic.