Mathematical foundations books

Logic provides a set of tools and techniques to address the questions of how to represent, query and reason about...  Read More >>

Nonlinear programming provides an excellent opportunity to explore an interesting variety of pure and solidly applicable...  Read More >>

Many important molecular conformation problems, such as protein folding, are expressed as global minimization problems....  Read More >>

The KK-theory of Kasparov is now approximately twelve years old; Nonethe­ less, it remains a forbiddingly difficult...  Read More >>

""Angewandte Mathematik: Body & Soul"" ist ein neuer Grundkurs in der Mathematikausbildung für Studienanfänger in...  Read More >>

By virtue of the close relationship between logic and relational databses, it turns out that this subject has important...  Read More >>

An Introduction to Fuzzy Logic Applications in Intelligent Systems consists of a collection of chapters written...  Read More >>

In this monograph we study two generalizations of standard unification, E-unification and higher-order unification,...  Read More >>

Angewandte Mathematik: Body and Soul ist ein neuer Grundkurs in der Mathematikausbildung für Studienanfänger in...  Read More >>

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned...  Read More >>

They haveestablished fundamental results on elementary theories, model theory, the theory of algorithms, field...  Read More >>

This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but...  Read More >>

In questo testo si introducono i concetti di base per la modellistica numerica di problemi differenziali alle derivate...  Read More >>

No applied mathematician can be properly trained without some basic un­ derstanding ofnumerical methods, Le., numerical...  Read More >>

The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction...  Read More >>

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification,...  Read More >>

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name...  Read More >>

Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan...  Read More >>

This book has gray-scale interior pages. It contains the answer keys to Math Mammoth Grade 1-A worktext, Grade 1-B...  Read More >>

 Read More >>

 Read More >>

Fuzzy data such as marks, scores, verbal evaluations, imprecise observations, experts' opinions and grey tone pictures,...  Read More >>

 Read More >>

Polly introduces the concept of addition by collecting and adding jewels to give to the King. Readers can join her...  Read More >>

In 1881 the American philosopher Charles S. Peirce published a remarkable paper in The American Journal of Mathematics...  Read More >>