Mathematical foundations

This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact.

Learn how to automatically prove mathematical statements in combinatorics, sequences, and number theory.

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 roots of Borel sets go back to the work of Baire [8].

Flexible Query Answering Systems is an edited collection of contributed chapters.

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.

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

Continuing a bestselling tradition, An Introduction to Cryptography, Second Edition provides a solid foundation in cryptographic concepts that features all of the requisite background material on number theory and algorithmic complexity as well as a historical look at the field.

Computational Thinking (CT) involves fundamental concepts and reasoning, distilled from computer science and other computational sciences, which become powerful general mental tools for solving problems, increasing efficiency, reducing complexity, designing procedures, or interacting with humans and machines.

Originally published in 1967.

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.

Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers.

There are two aspects to the theory of Boolean algebras; the algebraic and the set-theoretical.

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic.

This book examines how epistemology was reinvented by Ibn Sina, an influential philosopher-scientist of the classical Islamic world who was known to the West by the Latinised name Avicenna.

The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation.

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles.

This book examines the role of acts of choice in classical and intuitionistic mathematics.

Features step-by-step examples based on actual data and connects fundamental mathematical modeling skills and decision making concepts to everyday applicability Featuring key linear programming, matrix, and probability concepts, Finite Mathematics: Models and Applications emphasizes cross-disciplinary applications that relate mathematics to everyday life.

This volume contains papers selected for presentation during the 24th Interna- tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland.

This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011.

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness.

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic.

The tradition of a publication based on the Gathering for Gardner continues with this new carefully selected and edited collection in which Martin Gardner and friends inspire and entertain.

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.

This book is an essay on the epistemology of classifications.

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

Two prisoners are told that they will be brought to a room and seated so that each can see the other.

This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos''s theory of ''proofs and refutations''.

This book deals with the determinants of linear operators in Euclidean, Hilbert and Banach spaces.

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory.

This book contains surveys and research articles on the state-of-the-art in finitely presented groups for researchers and graduate students.

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics.

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field.

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation.

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic.

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers.

H.

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).

This volume is based on the successful 6th China-Japan Seminar on number theory that was held in Shanghai Jiao Tong University in August 2011.

"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?

This book contains surveys of recent important developments in combinatorics covering a wide range of areas in the field.

This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic and complex decision-making problems.