Mathematical foundations

This book is about the relationship between necessary reasoning and visual experience in Charles S.

This book is about the relationship between necessary reasoning and visual experience in Charles S.

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

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

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

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

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

Optimization Theory Based on Neutrosophic and Plithogenic Sets presents the state-of-the-art research on neutrosophic and plithogenic theories and their applications in various optimization fields.

The Top 10 Sunday Times BestsellerNOW A MAJOR MOTION PICTUREOscar Nominated For Best Picture and Best Adapted ScreenplaySet amid the civil rights movement, the never-before-told true story of NASA's African-American female mathematicians who played a crucial role in America's space program.

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.

Preempt your anxiety about PRE-ALGEBRA!

This is an introductory undergraduate textbook in set theory.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.

Volumes 21 and 22 of Advances in Chemical Engineering contain ten prototypical paradigms which integrate ideas and methodologies from artificial intelligence with those from operations research, estimation andcontrol theory, and statistics.

Master math at your own pace!

A mathematical journey through the most fascinating problems of extremes and how to solve themWhat is the best way to photograph a speeding bullet?

Now updated!

Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models.

This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points in subvarieties of tori or abelian varieties.

A young boy on the way home is followed by an increasing amount of cats.

When a child first learns to count, he/she would use the resources already available - the hands and toes.

Should counting be learned through books or through actual examples?

Counting and telling time go well together.

At kindergarten, kids are already introduced to the concept of time.

This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics.

Telling time can be a piece of cake, even for young learners.

Counting is made much more exciting with this beautiful counting book.

This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics.

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest.

The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory.

"e;Tell me,"e; Wittgenstein once asked a friend, "e;why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?

Are there truly fundamental entities in nature?

This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, Georgia in December 2017.

Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.

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

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics.

This book analyses an inconsistency within epistemic contextualism known as the factivity problem.

This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds.

This book presents the essential role of mathematical modelling and computational methods in representing physical phenomena mathematically, focusing on the significance of the I-function.

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.

This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday.

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.

The book offers a comprehensive survey of intuitionistic fuzzy logics.

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change.

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.

This monograph proposes a new way of implementing interaction in logic.

This book gives a proof of Cherlin's conjecture for finite binary primitive permutation groups.