Nejnižší cena za posledních 45 dní: 1 827 Kč
Ceny a dostupnost se mohou měnit i několikrát za den. Zkontrolujte si aktuální údaje přímo v e-shopech. Všechny dostupné barvy a velikosti naleznete přímo v e-shopech.
This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds (algebraic, analytic, etc.). Sheaves also appear in logic as carriers for models of set theory as well as for the semantics of other types of logic. Grothendieck introduced a topos as a category of sheaves for algebraic geometry. Subsequently, Lawvere and Tierney obtained elementary axioms for such (more general)
Produkt Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Maclane Saunders)(Paperback) popisuje EAN kód 9780387977102.
This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds (algebraic, analytic, etc.). Sheaves also appear in logic as carriers for models of
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. Logic is the basis of proofs in mathematics
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory
This book explains techniques that are essential in almost all branches of modern geometry such as algebraic geometry, complex geometry, or non-archimedian geometry. It uses the most accessible case, real and complex manifolds, as a model. The author especially emphasizes the difference between
This new-in-paperback edition provides a general introduction to algebraic and arithmetic geometry, starting with the theory of schemes, followed by applications to arithmetic surfaces and to the theory of reduction of algebraic curves. The first part introduces basic objects such as schemes,
Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition, include: simpler ways to test arguments, including an innovative proof method and the star test for
This classic text and reference monograph applies modern differential geometry to general relativity. A brief mathematical introduction to gravitational curvature, it emphasizes the subject's geometric essence and stresses the global aspects of cosmology. 1979
First published in 1983, Literary Theory: An Introduction is probably the best-selling work of literary criticism in the world today. It propelled its author to a position of such influence and controversy within the British academy that even Prince Charles once described him as 'that dreadful
A lively and accessible introduction to themes and debates in archaeological theory for students of all levels Archaeological Theory is a relatable, accessible, reader-friendly first step into the world of theory for archaeology students. Recognizing that many students shy away from the study of
Introduction.- Logic and Inferencing.- First Order Predicate Logic.- Rule Based Reasoning.- Introduction to Prolog Language.- Knowledge Representation and Reasoning.- Networks Based Representation.- State Space Search.- Heuristic Search.- Constraint Satisfaction Problems.- Search and Game Playing.-
Problems in Value Theory takes a pro and con approach to central topics in aesthetics, ethics and political theory. Each chapter begins with a question: What Makes Actions Right or Wrong? Does Morality Depend on God? Do We Need Government? Contemporary philosophers with opposing viewpoints are then
This comprehensive text offers undergraduates a remarkably student-friendly introduction to graph theory. Written by two of the field's most prominent experts, it takes an engaging approach that emphasizes graph theory's history. Unique examples and lucid proofs provide a sound yet accessible
This book is an introduction to the quantum theory of materials and first-principles computational materials modelling. It explains how to use density functional theory as a practical tool for calculating the properties of materials without using any empirical parameters. The structural,
Richard Saunders (1613 - 1692) was an astrologer/physician in 17th century England. This book, first published in 1677, was the result of thirty years practice. It is also one of the earliest astro-medical treatises in the English language. Using the terminology of his day, Saunders speaks of
This is the first critical study of The Logic of Sense, Gilles Deleuze's most important work on language and ethics, as well as the main source of his vital philosophy of the event. James Williams explains the originality of Deleuze's work with careful definitions of all his innovative terms and a
An Introduction to Philosophical Logic has been a popular mainstay among students taking courses in philosophical logic and the philosophy of language since it was first published in
First Steps in Proven Geometry provides teachers of Middle schoolers with inventive approaches to bring students to experiences of geometry before theories and formulas. The author is a longtime Waldorf teacher and so is well-grounded in hand-son approaches to math and geometry. Placing experience
The Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and
Theory/Theatre is a unique and highly engaging introduction to literary theory as it relates to theatre and performance. It is a brilliantly clear and readable examination of current theoretical approaches, from semiotics and poststructuralism, through cultural materialism, postcolonial studies and
Now revised and updated, this introduction to decision theory is both accessible and comprehensive, covering topics including decision making under ignorance and risk, the foundations of utility theory, the debate over subjective and objective probability, Bayesianism, causal decision theory, game
The perfect handbook for first year nursing students! Covering all the skills, theory and knowledge that students will need to know in order to succeed, this book is packed full of information relating to the core modules and key topics taught in the first year of a nursing degree (in line with
This book provides an introduction to the theory and practice of diplomacy and its vital role in an era of increasing international uncertainty. The work employs a distinctive 'diplomatic perspective' on international relations and argues that the experience of conducting diplomacy gives rise to a