Kategoria BISAC: Mathematics >> Logic

A separate sentential modal logic of logical necessity in logical atomism is also...

The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. It is also viewed as a foundation of mathematics so that "to make a notion precise" simply means "to define it in set theory." This book gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets, and also attempts to explain how mathematical objects can be faithfully modeled within the universe of sets. In this new edition the author has added solutions to the exercises, and...

This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the real line and metric spaces, focusing on locatedness in normed spaces and with associated results about operators and their adjoints on a Hilbert space. The first appendix gathers together some basic notions about sets and orders, the second gives the axioms for intuitionistic logic. No background in intuitionistic logic or constructive analysis is needed in order to read the book, but some familiarity with the...

At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include:

• the representation of mathematical statements by formulas in a formal language;
• the interpretation of formulas as true or false in a mathematical structure;
• logical consequence of one formula from others;
• formal proof;
• the soundness and completeness theorems connecting logical consequence and formal proof;...

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.

The authors introduce the basic...

Les Elements de mathematique de Nicolas Bourbaki ont pour objet une presentation rigoureuse, systematique et sans prerequis des mathematiques depuis leurs fondements.

Le Livre de Theorie des ensembles qui vient en tete du traite presente les fondements axiomatiques de la theorie des ensembles. Il comprend les chapitres: 1. Description de la mathematique formelle; 1. Theorie des ensembles; 2. Ensembles ordonnes. Cardinaux. 3. nombres entiers; 4. Structures.

Il contient egalement un fascicule de resultats et une note historique.

Ce...

This is a softcover reprint of the English translation of 1968 of N. Bourbaki's, Theorie des Ensembles (1970).

Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the models of arithmetic, and it gives complete but accessible exposition of stability theory.

This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography (c) 2002 Birkh user, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and...