Mathematical foundations

A Mathematical Tour introduces readers to a selection of mathematical topics chosen for their centrality, importance, historical significance, and intrinsic appeal and beauty.

Nonstandard Methods of Analysis is concerned with the main trends in this field; infinitesimal analysis and Boolean-valued analysis.

The work of which this is an English translation appeared originally in French as Precis de logique mathematique.

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.

How can one be assured that computer codes that solve differential equations are correct?

We live in a world that is not quite "e;right.

Provides readers with experience of working on difficult unsolved problems.

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

Security and Policy Driven Computing covers recent advances in security, storage, parallelization, and computing as well as applications.

This bookgathers the proceedings of the conference "e;Cultures of Mathematics andLogic,"e; held in Guangzhou, China.

After functional, measure and stochastic analysis prerequisites, the author covers chaos decomposition, Skorohod integral processes, Malliavin derivative and Girsanov transformations.

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

This book addresses the topics related to artificial intelligence, the Internet of Things, blockchain technology, and machine learning.

This latest collection of puzzles from the internationally acclaimed puzzlemaster Nob Yoshigahara covers a wide variety of puzzles from physical to visual, conceptual to mathematical.

On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged.

Originally published in 1966.

Proof theory has long been established as a basic discipline of mathematical logic.

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.

Full of activities and visual models, Fractions, Decimals, & Percentages is a fantastic lesson supplement when helping to clarify the principles behind the function of fractions, decimals, and percentages.

This second volume of a collection of papers offers new perspectives and challenges in the study of logic.

From the Preface: This book is addressed to all who are curious about the nature of mathematics and its role in society.

Absolutely everything you need to get ready for Algebra Scared of square roots?

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming.

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.

Methods Used to Solve Discrete Math ProblemsInteresting examples highlight the interdisciplinary nature of this areaPearls of Discrete Mathematics presents methods for solving counting problems and other types of problems that involve discrete structures.

Information Security and Optimization maintains a practical perspective while offering theoretical explanations.

This textbook will continue to be the best suitable textbook written specifically for a first course on probability theory and designed for industrial engineering and operations management students.

Burgess''s essays address key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation.

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis.

This book is dedicated to the work of Alasdair Urquhart.

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

Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort.

Logic Colloquium '02 includes articles from some of the world's preeminent logicians.

?

Fuzzy hardware developments have been a major force driving the applications of fuzzy set theory and fuzzy logic in both science and engineering.

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.

Finite Fields are fundamental structures of Discrete Mathematics.

As an intermediate model between conventional PKC and ID-PKC, CL-PKC can avoid the heavy overhead of certificate management in traditional PKC as well as the key escrow problem in ID-PKC altogether.

For many decades, Martin Gardner, the Grand Master of mathematical puzzles, has provided the tools and projects to furnish our all-too-sluggish minds with an athletic workout.

This volume is located in a cross-disciplinary ?

The past fifteen years has witnessed an explosive growth in the fundamental research and applications of artificial neural networks (ANNs) and fuzzy logic (FL).

The field of "e;intelligent interfaces and systems"e; has seen a fast growth last decade.

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one.

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing.

Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.

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

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023.