Mathematical foundations

Mathematical Labyrinths.

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings together contributions to this important area of research and engineering.

Blockchain is emerging as a powerful technology, which has attracted the wider attention of all businesses across the globe.

Number theory is fascinating.

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.

This monograph details several different methods for constructing simple relation algebras, many of which are new with this book.

Now in its third decade, the Colorado Mathematical Olympiad (CMO), founded by the author, has become an annual state-wide competition, hosting many hundreds of middle and high school contestants each year.

Electronic communication and financial transactions have assumed massive proportions today.

"e;In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual.

Computability and Logic is a classic because of its accessibility to students without a mathematical background.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

The tradition of honoring Martin Gardner continues with this edited collection of articles by those who have been inspired by Gardner to enter mathematics, to enter magic, to bring magic into their mathematics, or to bring mathematics into their magic.

All current methods of secure communication such as public-key cryptography can eventually be broken by faster computing.

Industrial development is essential to improvement of the standard of living in all countries.

Wearing Gauss's Jersey focuses on "e;Gauss problems,"e; problems that can be very tedious and time consuming when tackled in a traditional, straightforward way but if approached in a more insightful fashion, can yield the solution much more easily and elegantly.

A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.

A lively collection of fun and challenging problems in ancient Egyptian mathThe mathematics of ancient Egypt was fundamentally different from our math today.

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.

The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6-8, 2024.

Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations.

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength.

Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing.

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.

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022).

smarTEST Prep: Guide to LSAT Logic Games presents a standardized and methodical approach to conquering the Logic Games section of the LSAT.

Reissuing works originally published between 1931 and 1990, this set of twenty-four books covers the full range of the philosophy of logic, from introductions to logic, to calculus and mathematical logic, to logic in language and linguistics and logical reasoning in law and ethics.

This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM).

The convergence of emerging technologies is reshaping industries at an unprecedented pace, and healthcare is no exception.

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications.

Electronic communication and financial transactions have assumed massive proportions today.

"e;Leonhard Euler and the Bernoullis is a fascinating tale of the Bernoulli family and Euler's association with them.

This book describes the need of copyright protection for multimedia objects and develops an invisible image watermarking scheme to serve the purpose of copyright protection.

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems.

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics.

Neural Networks and Fuzzy Systems: Theory and Applications discusses theories that have proven useful in applying neural networks and fuzzy systems to real world problems.

Mathematical Recreations from the Tournament of the Towns contains the complete list of problems and solutions to the International Mathematics Tournament of the Towns from Fall 2007 to Spring 2021.

The International Biometric Society (IBS) was formed at the First International Biometric Conference at Woods Hole on September 6, 1947.

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "e;undecidable.

An inviting collection of fun, hands-on applications in mathematics and computingThis book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us and help us to better understand it.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some.

This handbook of formal analysis in cryptography is very important for secure communication and processing of information.

This book is devoted to some results from the classical Point Set Theory and their applications to certain problems in mathematical analysis of the real line.

This book seeks to generalize techniques and experiences in designing and analyzing cryptographic schemes for blockchain.

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics.

This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments with the myriad mathematical developments that followed.