This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics.
Marieke Roskam entwickelt und erprobt ein Unterrichtskonzept zur Ausbildung eines „Prä-algebraischen Struktursinnes“, welches das erforderliche abstrakte Denken für die Algebra in der Mittelstufe anregen kann.
Rave reviews for INTEGER AND COMBINATORIAL OPTIMIZATION "e;This book provides an excellent introduction and survey of traditional fields of combinatorial optimization .
Homology Theory on Algebraic Varieties, Volume 6 deals with the principles of homology theory in algebraic geometry and includes the main theorems first formulated by Lefschetz, one of which is interpreted in terms of relative homology and another concerns the Poincare formula.
Guides Students in Understanding the Interactions between Computing/Networking Technologies and Security Issues Taking an interactive, "e;learn-by-doing"e; approach to teaching, Introduction to Computer and Network Security: Navigating Shades of Gray gives you a clear course to teach the technical issues related to security.
The Only Undergraduate Textbook to Teach Both Classical and Virtual Knot TheoryAn Invitation to Knot Theory: Virtual and Classical gives advanced undergraduate students a gentle introduction to the field of virtual knot theory and mathematical research.
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.
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.
The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland, 1992 and 2002).
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 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 engaging and beautifully written book gives an authoritative but accessible account of some of the most exciting and unexpected recent developments in theoretical physics.
The original edition of The Geometry of Musical Rhythm was the first book to provide a systematic and accessible computational geometric analysis of the musical rhythms of the world.
Wondrous One Sheet Origami is a how-to book full of beautiful origami designs covering a wide range of folding levels from simple to high intermediate, with more emphasis on the latter.
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics.
This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language.
When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason.
Pell and Pell-Lucas numbers, like the well-known Fibonacci and Catalan numbers, continue to intrigue the mathematical world with their beauty and applicability.
In recent years, the interaction between harmonic analysis and convex geometry has increased which has resulted in solutions to several long-standing problems.
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century.
There are many proposed aims for scientific inquiry--to explain or predict events, to confirm or falsify hypotheses, or to find hypotheses that cohere with our other beliefs in some logical or probabilistic sense.
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist.