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.
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.
"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.
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.
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 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.
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 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.
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.
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.
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 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 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.