Mathematical foundations

Operations Research is a field whose major contribution has been to propose a rigorous fonnulation of often ill-defmed problems pertaining to the organization or the design of large scale systems, such as resource allocation problems, scheduling and the like.

Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors.

The book Advances in Distance Learning in Times of Pandemic is devoted to the issues and challenges faced by universities in the field of distance learning in COVID-19 times.

Design Techniques for Origami Tessellations is both a collection of origami tessellations and a manual to design them.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

In this volume, world-leading puzzle designers, puzzle collectors, mathematicians, and magicians continue the tradition of honoring Martin Gardner, who inspired them to enter mathematics, to enter magic, to bring magic into their mathematics, or to bring mathematics into their magic.

A straightforward guide to logic conceptsLogic concepts are more mainstream than you may realize.

This book provides a concise and self-contained introduction to the foundations of mathematics.

A day does not go by without a news article reporting some amazing breakthrough in artificial intelligence (AI).

Mathematics, like language, is a universal experience.

The 20th Century brought the rise of General Topology.

The book is intended as an invitation to the topic of relations on a rather general basis.

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics.

This book introduces the basic concepts of set theory, measure theory, the axiomatic theory of probability, random variables and multidimensional random variables, functions of random variables, convergence theorems, laws of large numbers, and fundamental inequalities.

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice.

Unmatched: 50 Years of Supercomputing: A Personal Journey Accompanying the Evolution of a Powerful ToolThe rapid and extraordinary progress of supercomputing over the past half-century is a powerful demonstration of our relentless drive to understand and shape the world around us.

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

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.

Mathematics is often considered as a body of knowledge that is essen- tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it.

This book illustrates linear logic in the application of proof theory to computer science.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling.

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models.

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Fundamentals of Linear Algebra is like no other book on the subject.

Calculus for Engineering Students: Fundamentals, Real Problems, and Computers insists that mathematics cannot be separated from chemistry, mechanics, electricity, electronics, automation, and other disciplines.

This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

Saunders Mac Lane was an extraordinary mathematician, a dedicated teacher, and a good citizen who cared deeply about the values of science and education.

This book was developed to address a need.

First published in 1987, the seven chapters that comprise this book review contemporary work on the geometric side of robotics.

Originally published in 1995, Large Deviations for Performance Analysis consists of two synergistic parts.

At the close of the nineteenth century, we stood on the threshold of one of the greatest periods of science, in which the entire world and understanding of science would be shaken to the core and greatly modified.

A deep dive into the historical and philosophical background of Gödel''s famed 1931 paper on incompleteness.

Guides Students in Understanding the Interactions between Computing/Networking Technologies and Security Issues Taking an interactive, "e;learn-by-doing"e; approach to teaching, Introduction to Computer and Network Security: Navigating Shades of Gray gives you a clear course to teach the technical issues related to security.

One of the bedrocks of any mathematics education, the study of real analysis introduces students both to mathematical rigor and to the deep theorems and counterexamples that arise from such rigor: for instance, the construction of number systems, the Cantor Set, the Weierstrass nowhere differentiable function, and the Weierstrass approximation theorem.

Martin Gardner has entertained the world with his puzzles for decades and inspired countless mathematicians and scientists.

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.

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

Represents the state of the art in the new field of synthetic differential topology.

A self-contained guide to pure inductive logic, the study of rational probability treated as a branch of mathematical logic.

The purpose of this unique handbook is to examine the transformation of the philosophy of mathematics from its origins in the history of mathematical practice to the present.

This volume presents the proceedings of the 2000 European Summer Meeting of the Association for Symbolic Logic, marking one hundred years since Hilbert''s famous lecture.

Keeping students involved and actively learning is challenging.

This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke's singular contributions to modal logic.

Model theory is the meta-mathematical study of the concept of mathematical truth.

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.

This book constitutes the refereed proceedings of the 41st IFIP WG 6.

This volume comprises selected contributions by the participants of the second "e;Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods"e; conference, which took place at the University of Almeria, Spain, in July 2022.

Combining probability theory and logic, this volume is a general study of stochastic processes using model theory.