Mathematical foundations

An overview of different theories of motivic integration and their applications.

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

Here Professor Paterson brings together papers from the 1990 Durham symposium on Boolean function complexity.

Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders.

Researchers and practitioners of cryptography and information security are constantly challenged to respond to new attacks and threats to information systems.

The book showcases how advanced cybersecurity and forensic techniques can be applied to various computational issues.

This is the first volume in a suite of short, inexpensive, paperbound volumes intended for student usage as textbooks, or course supplements, and for purchase as single-copy reference works for professionals in specific disciplines, and, in some cases, for interdisciplinary use.

In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM).

The purpose of this book is to provide the reader who is interested in applications of fuzzy set theory, in the first place with a text to which he or she can refer for the basic theoretical ideas, concepts and techniques in this field and in the second place with a vast and up to date account of the literature.

Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind.

Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendices.

Containing data on number theory, encryption schemes, and cyclic codes, this highly successful textbook, proven by the authors in a popular two-quarter course, presents coding theory, construction, encoding, and decoding of specific code families in an "e;easy-to-use"e; manner appropriate for students with only a basic background in mathematics offerin

In this revolutionary work, the author sets the stage for the science ofthe 21st Century, pursuing an unprecedented synthesis of fields previouslyconsidered unrelated.

Winner of a CHOICE Outstanding Academic Title Award for 2011!

This monograph is devoted to arithmetic functions, an area of number theory.

Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision continues to impact and inspire many fields and researchers today.

Karl Menger was born in Vienna on January 13, 1902, the only child of two gifted parents.

Possible worlds models were introduced by Saul Kripke in the early 1960s.

The mathematical methods that physical scientists need for solving problems are clearly set out in this tutorial-style textbook.

This volume is dedicated to Hiroakira Ono life's work on substructural logics.

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis.

Originally published in 1981.

The book "e;Foundational Theories of Classical and Constructive Mathematics"e; is a book on the classical topic of foundations of mathematics.

This book seamlessly connects the topics of Industry 4.

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

Grace Dane Mazur uses the idea of the hinge to illuminate real and metaphysical thresholds in fiction, poetry, myth, and ordinary life.

There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey.

Essentials of Elementary School Mathematics is an introductory text on the essentials of mathematics taught in elementary schools.

Mechanizing hypothesis formation is an approach to exploratory data analysis.

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

In the last decade, both scholars and practitioners have sought novel ways to address the problem of cybersecurity.

Standard STEM courses, for all of their value, do not tend to include systematic lectures or treatment about the nature of the scientific method.

This volume examines the logic, theory and mathematics of quantum mechanics in a clear and thorough way.

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science.

A Waterstones Best Popular Science Book of 2023'Delightfully clear and vivid to read.

The most comprehensive account of the mathematician's life and workJohn Napier (1550-1617) is celebrated today as the man who invented logarithms-an enormous intellectual achievement that would soon lead to the development of their mechanical equivalent in the slide rule: the two would serve humanity as the principal means of calculation until the mid-1970s.

Originally published in 1973.

The second edition of a successful and unique textbook for students in mathematics or theoretical computer science.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.

The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG).

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden.

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