CHOICE: Highly RecommendedQuarks, Leptons and The Big Bang, Third Edition, is a clear, readable and self-contained introduction to particle physics and related areas of cosmology.
Quantum mechanics is arguably one of the most successful scientific theories ever and its applications to chemistry, optics, and information theory are innumerable.
Combinatorics and Number Theory of Counting Sequences is an introduction to the theory of finite set partitions and to the enumeration of cycle decompositions of permutations.
Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.
With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.
Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "e;universal"e; applied discipline.
In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being.
The analysis, processing, evolution, optimization and/or regulation, and control of shapes and images appear naturally in engineering (shape optimization, image processing, visual control), numerical analysis (interval analysis), physics (front propagation), biological morphogenesis, population dynamics (migrations), and dynamic economic theory.
In distributed, open systems like cyberspace, where the behavior of autonomous agents is uncertain and can affect other agents' welfare, trust management is used to allow agents to determine what to expect about the behavior of other agents.
The problem of probability interpretation was long overlooked before exploding in the 20th century, when the frequentist and subjectivist schools formalized two conflicting conceptions of probability.
From Zero to Infinity is a combination of number lore, number history, and sparkling descriptions of the simply stated but exceedingly difficult problems posed by the most ordinary numbers that first appeared in 1955 and has been kept in print continuously ever since.
Wer glaubt, dass sich Rechnen auf trockene Formeln und Zahlen beschränkt, wird mit „Aspekte des Unendlichen – Eine kleine Erzählung für Nichtmathematiker“ sein blaues Wunder erleben.
The goal of this unique text is to provide an "e;experience"e; that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their major.
Kurt Godel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.
Everything you need to know about 100 key mathematical concepts condensed into easy-to-understand sound bites designed to stick in your memory and give you an instant grasp of the concept.
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.
The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independence of the continuum hypothesis from the axioms of set theory.
Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s.
This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.
This revised edition of the highly recommended book "e;First-Order Modal Logic"e;, originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments.
The Second Principle of Thermodynamics is nowadays a sort of "e;religious"e; belief: the certainty that our universe, with everything in it, is destined to be destroyed, sentients included-a thought that has been heavily radicated for decades in a society divided between rigid atheists and likewise rigid religious people.
The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields.
