Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois... Læs mere
Bemærk: Kan ikke leveres før jul.
Introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. The book considers a broad spectrum... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics
Bemærk: Kan ikke leveres før jul.
The book represents the proceedings of the Special Session on Continuum Theory, in Honor of the 60th Birthday of Professor Sam B. Nadler, Jr., held at this conference. It considers the historical importance of the Texas and Polish schools of mathematics.
Bemærk: Kan ikke leveres før jul.
Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics... Læs mere
Bemærk: Kan ikke leveres før jul.
Offers a comprehensive introduction to the role of infinity in mathematics, from ancient to modern times. Suitable for general audience, this book... Læs mere
Bemærk: Kan ikke leveres før jul.
The book introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations.
Bemærk: Kan ikke leveres før jul.
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Bemærk: Kan ikke leveres før jul.
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic.