Mathematical foundations

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.

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 volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018.

In a fragment entitled Elementa Nova Matheseos Universalis (1683?

Die wichtigsten mathematischen Formeln und Begriffe aus dem Gebiet Analysis für Studierende der Ingenieurwissenschaften und verwandter Richtungen werden präsentiert.

Einsatzfertige Lerneinheiten vermitteln fundamentale mathematische Techniken, die weit über die Unterstufe hinaus von Bedeutung sind.

This book delves into finite mathematics and its application in physics, particularly quantum theory.

This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before.

This book offers an inspiring and naive view on language and reasoning.

This book examines the philosophical conception of abductive reasoning as developed by Charles S.

This book offers insight into the nature of meaningful discourse.

This volume investigates what is beyond the Principle of Non-Contradiction.

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena.

This book reports on cutting-edge concepts related to Bourbaki's notion of structures meres.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

The power and properties of numbers, from basic addition and sums of squares to cutting-edge theoryWe use addition on a daily basis-yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity?

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice.

An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.

The story of one of the greatest unsolved problems in mathematicsWhat is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin?

Few American lives have been as celebrated--or as closely scrutinized--as that of Benjamin Franklin.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since.

AN INDISPENSABLE RESOURCE FOR ALL THOSE WHO DESIGN AND IMPLEMENT TYPE-1 AND TYPE-2 FUZZY NEURAL NETWORKS IN REAL TIME SYSTEMSDelve into the type-2 fuzzy logic systems and become engrossed in the parameter update algorithms for type-1 and type-2 fuzzy neural networks and their stability analysis with this book!

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof.

Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree.

Counting is made more playful with this sticker book for toddlers.

This is a book dedicated entirely for toddlers' basic addition lessons.

We are always here to assist you on the easy and even the difficult tasks you encounter when it comes to your kids educational needs.

This book wants your kids to learn how to count using their bare body parts - fingers and toes.

This edition of children's science and nature educational books is about subtracting multi digit numbers.

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself.

The book is a concise, self-contained and fully updated introduction to automata theory - a fundamental topic of computer sciences and engineering.

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space.

The book is about strong axioms of infi nity in set theory (also known as large cardinal axioms), and the ongoing search for natural models of these axioms.

The book is about strong axioms of infi nity in set theory (also known as large cardinal axioms), and the ongoing search for natural models of these axioms.

This book presents chapters exploring the most recent developments in the role of technology in proving.

This vital work for researchers and graduate students focuses on resilience estimation and control of cyber-physical networked systems using attacker-defender game theory.

The book is a concise, self-contained and fully updated introduction to automata theory - a fundamental topic of computer sciences and engineering.

This vital work for researchers and graduate students focuses on resilience estimation and control of cyber-physical networked systems using attacker-defender game theory.

Three major branches of number theory are included in the volume: namely analytic number theory, algebraic number theory, and transcendental number theory.

Quantum mechanics is arguably one of the most successful scientific theories ever and its applications to chemistry, optics, and information theory are innumerable.

Three major branches of number theory are included in the volume: namely analytic number theory, algebraic number theory, and transcendental number theory.

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself.

In recent years, the interaction between harmonic analysis and convex geometry has increased which has resulted in solutions to several long-standing problems.

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.

Collected over several years by Peter Winkler, of Bell Labs, dozens of elegant, intriguing challenges are presented in Mathematical Puzzles.

Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric.

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics.

This textbook teaches everyday mathematics topics to non-math majors at the undergraduate level.