Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The contents of this volume range from expository papers on several aspects of number theory, intended for general readers (Steinhaus property of planar regions; Audience: Researchers and graduate students interested in recent developments in number theory.
Bemærk: Kan ikke leveres før jul.
The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets.... Læs mere
Bemærk: Kan ikke leveres før jul.
however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can... Læs mere
Bemærk: Kan ikke leveres før jul.
Krantz takes the reader on a journey around the globe and through centuries of history , exploring the many transformations that mathematical proof has undergone from its inception at the time of Euclid and Pythagoras to its versatile, present-day use .
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Bemærk: Kan ikke leveres før jul.
this section gained proofs of the Schroeder–Bernstein theorem and the Trichotomy Law for Sets, and lost most of the material about finite and countable sets, which has now been moved to a new section devoted to those two types of sets.
Bemærk: Kan ikke leveres før jul.
Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry.
Bemærk: Kan ikke leveres før jul.
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from... Læs mere
Bemærk: Kan ikke leveres før jul.
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial... Læs mere
Bemærk: Kan ikke leveres før jul.
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book collects 13 papers that explore Wittgenstein's philosophy throughout the different stages of... Læs mere