» książki » Mathematics - Logic
topmenu
 |
Relations Related to Betweenness : Their Structure and Automorphisms
ISBN: 9780821806234 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is about tree-like structures, namely semilinear ordering, general betweenness relations, C-relations and D-relations. It contains a systematic study of betweenness and introduces C- and D- relations to describe the behaviour of points at infinity (leaves or ends or directions of trees). The focus is on structure theorems and on automorphism groups, with applications to the theory of infinite permutation groups.
This volume is about tree-like structures, namely semilinear ordering, general betweenness relations, C-relations and D-relations. It contains a syste...
|
cena:
244,89 |
 |
Writings of Charles S. Peirce: A Chronological Edition, Volume 3: 1872-1878
ISBN: 9780253372031 / Angielski / Twarda / 672 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The PEIRCE EDITION contains large sections of previously unpublished material in addition to selected published works. Each volume includes a brief historical and biographical introduction, extensive editorial and textual notes, and a full chronological list of all of Peirce's writings, published and unpublished, during the period covered. The PEIRCE EDITION contains large sections of previously unpublished material in addition to selected published works. Each volume includes a brief... |
cena:
244,89 |
 |
Writings of Charles S. Peirce: A Chronological Edition, Volume 1: 1857-1866
ISBN: 9780253372017 / Angielski / Twarda / 736 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The PEIRCE EDITION contains large sections of previously unpublished material in addition to selected published works. Each volume includes a brief historical and biographical introduction, extensive editorial and textual notes, and a full chronological list of all of Peirce's writings, published and unpublished, during the period covered. The PEIRCE EDITION contains large sections of previously unpublished material in addition to selected published works. Each volume includes a brief... |
cena:
244,89 |
 |
Writings of Charles S. Peirce: A Chronological Edition, Volume 4: 1879-1884
ISBN: 9780253372048 / Angielski / Twarda / 768 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "The volumes are handsomely produced and carefully edited, ... For the first time we have available in an intelligible form the writings of one of the greatest philosophers of the past hundred years... " --The Times Literary Supplement ..". an extremely handsome and impressive book; it is an equally impressive piece of scholarship and editing." --Man and World "The volumes are handsomely produced and carefully edited, ... For the first time we have available in an intelligible form the writings of one of ... |
cena:
244,89 |
 |
Proof in Mathematics Education
ISBN: 9789460912443 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research on teaching and learning proof and proving has expanded in recent decades. This reflects the growth of mathematics education research in general, but also an increased emphasis on proof in mathematics education. This development is a welcome one for those interested in the topic, but also poses a challenge, especially to teachers and new scholars. It has become more and more difficult to get an overview of the field and to identify the key concepts used in research on proof and proving.
This book is intended to help teachers, researchers and graduate students to overcome the... Research on teaching and learning proof and proving has expanded in recent decades. This reflects the growth of mathematics education research in gene...
|
cena:
246,47 |
 |
Numbers, Sets and Axioms: The Apparatus of Mathematics
ISBN: 9780521287616 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of the fundamental conceptual and formal apparatus upon which modern pure mathematics relies. The author's intention is to remove some of the mystery that surrounds the foundations of mathematics. He emphasises the intuitive basis of mathematics; the basic notions are numbers and sets and they are considered both informally and formally. The role of axiom systems is part of the discussion but their limitations are pointed...
Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a descr...
|
cena:
247,58 |
 |
Basic Category Theory
ISBN: 9781107044241 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. For...
At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductor...
|
cena:
247,58 |
 |
Modern Mathematical Logic
ISBN: 9781108833141 / Angielski / Twarda / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for...
This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives thr...
|
cena:
247,58 |
 |
Set Theory: Boolean-Valued Models and Independence Proofs
ISBN: 9780199609161 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This second edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory, . It provides an exposition of some of the most important results in set theory obtained in the 20th century - the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the second edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It also includes...
This second edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory, ....
|
cena:
247,58 |
 |
Computational Logic and Human Thinking
ISBN: 9780521123365 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn how computational logic, as developed in artificial intelligence, can be applied to everyday situations.
Learn how computational logic, as developed in artificial intelligence, can be applied to everyday situations.
|
cena:
247,62 |
 |
Mathematical Logic
ISBN: 9781568811352 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many...
This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewp...
|
cena:
249,73 |
 |
Inexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16
ISBN: 9781568811758 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept...
Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any...
|
cena:
249,73 |
 |
Taking the “Oof!” Out of Proofs
ISBN: 9781032595986 / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
249,73 |
 |
Mathematical Analysis and Proof
ISBN: 9781904275404 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have indicated a need for, in addition to more emphasis on how analysis...
This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Be...
|
cena:
249,73 |
 |
Number Theory: An Introduction via the Density of Primes
ISBN: 9783319438733 / Angielski / Twarda / 413 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of congruences, quadratic reciprocity, arithmetic functions, and the distribution of primes. New in this edition are coverage of p-adic numbers, Hensel's lemma, multiple zeta-values, and elliptic...
Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbe...
|
cena:
251,57 |
 |
Finite Geometries and Designs: Proceedings of the Second Isle of Thorns Conference 1980
ISBN: 9780521283786 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This 1981 collection of 33 research papers follows from a conference on the interwoven themes of finite Desarguesian spaces and Steiner systems, amongst other topics.
This 1981 collection of 33 research papers follows from a conference on the interwoven themes of finite Desarguesian spaces and Steiner systems, among...
|
cena:
252,21 |
 |
Kurt Gödel: Essays for His Centennial
ISBN: 9781107683464 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Godel s centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Godel s writings are among the topics covered. Several chapters discuss his intellectual development...
Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his ...
|
cena:
252,21 |
 |
The Descriptive Set Theory of Polish Group Actions
ISBN: 9780521576055 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Polish space (group) is a separable, completely metrizable topological space (group). This book is about actions of Polish groups, in connection with--or from the point of view of--the subject of descriptive set theory. Descriptive set theory is the study of definable sets and functions in Polish spaces. The basic classes of definable sets are the classes of Borel, analytic and coanalytic sets, and these constitute the main topic of the book, but the authors also consider other classes of definable sets. This will be a valuable book for all researchers in set theory and related areas.
A Polish space (group) is a separable, completely metrizable topological space (group). This book is about actions of Polish groups, in connection wit...
|
cena:
252,21 |
 |
Multiple-Conclusion Logic
ISBN: 9780521093323 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks the fundamental ideas of logic to take account of multiple conclusions, and investigates the...
Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere a...
|
cena:
252,21 |
 |
Model Theory, Algebra, and Geometry
ISBN: 9780521143493 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to significant new results, such as a proof of the Mordell-Lang conjecture for function fields in positive characteristic. Perhaps surprisingly, it is sometimes the most abstract aspects of model theory that are relevant to those applications. This book gives the necessary background for understanding both the model theory and the mathematics behind the applications. Aimed at...
Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework ...
|
cena:
252,21 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
