![]() |
Axiomatic Set Theory
ISBN: 9780486616308 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the most pressingproblems of mathematics over the last hundred years has been the question: What is a number? One of the most impressive answers has been the axiomatic development of set theory. The question raised is: "Exactly what assumptions, beyond those of elementary logic, are required as a basis for modern mathematics?" Answering this question by means of the Zermelo-Fraenkel system, Professor Suppes' coverage is the best treatment of axiomatic set theory for the mathematics student on the upper undergraduate or graduate level. One of the most pressingproblems of mathematics over the last hundred years has been the question: What is a number? One of the most impress... |
cena:
72,90 |
![]() |
Sets and Proofs
ISBN: 9780521635493 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist.
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathe...
|
cena:
317,17 |
![]() |
Descriptive Set Theory and Dynamical Systems
ISBN: 9780521786447 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical systems, including ergodic theory and topological dynamics. This collection of survey papers by leading researchers covers a wide variety of recent developments in these subjects and their interconnections. Researchers and graduate students interested in either of these areas will find this volume to be an excellent introduction to problems and research directions arising from their interconnections.
In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical sy...
|
cena:
358,93 |
![]() |
Mathematical Logic and Theoretical Computer Science
ISBN: 9780824777463 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1322,39 |
![]() |
Selected Works in Applied Mechanics & Mathematics
ISBN: 9780867209686 / Angielski / Miękka / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Applied Mechanics and Mathematics
Applied Mechanics and Mathematics
|
cena:
869,21 |
![]() |
Sets, Functions, and Logic : An Introduction to Abstract Mathematics, Third Edition
ISBN: 9781584884491 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In between all those activities and his own research, he's been hard at work revising Sets, Functions and Logic, his standard-setting text that has smoothed the road to pure mathematics for legions of undergraduate students. Now in its third edition, Devlin has fully reworked the book to reflect a new generation. The narrative is more lively and less textbook-like. Remarks and asides link the topics presented to the real world of students'...
Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In be...
|
cena:
372,18 |
![]() |
Incompleteness in the Land of Sets
ISBN: 9781904987345 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back a bit. Logical formulas define sets (in a standard model). Formulas, being mathematical objects, can be thought of as sets themselves-mathematics reduces to set theory. Consider those formulas that do not belong to the set they define. The collection of such formulas is not definable by a formula, by the same argument that Russell used. This quickly gives Tarski's result on the undefinability of truth. Variations on the same idea yield the...
Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back ...
|
cena:
159,68 |
![]() |
Set Theory: The Third Millennium Edition, revised and expanded
ISBN: 9783540440857 / Angielski / Twarda / 772 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks and reference books in set theory....The present 'Third Millennium' edition...is a whole new book. In three parts the author offers us what in his view every young set theorist should learn and master....This well-written book promises to influence the next generation of set theorists, much as its predecessor has done." --MATHEMATICAL REVIEWS This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks a... |
cena:
805,10 |
![]() |
Similarity and Compatibility in Fuzzy Set Theory: Assessment and Applications
ISBN: 9783790814583 / Angielski / Twarda / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Assessing the degree to which two objects, an object and a query, or two concepts are similar or compatible is a fundamental component of human reasoning and consequently is critical in the development of automated diagnosis, classification, information retrieval and decision systems. The assessment of similarity has played an important role in such diverse disciplines such as taxonomy, psychology, and the social sciences. Each discipline has proposed methods for quantifying similarity judgments suitable for its particular applications. This book presents a unified approach to quantifying...
Assessing the degree to which two objects, an object and a query, or two concepts are similar or compatible is a fundamental component of human reason...
|
cena:
402,53 |
![]() |
Logic of Arithmetic
ISBN: 9789056992682 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to d...
|
cena:
563,24 |
![]() |
Logic, Induction and Sets
ISBN: 9780521533614 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.
Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places...
|
cena:
205,82 |
![]() |
Asymptotic Attainability
ISBN: 9780792343028 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this monograph, questions of extensions and relaxations are consid ered. These questions arise in many applied problems in connection with the operation of perturbations. In some cases, the operation of "small" per turbations generates "small" deviations of basis indexes; a corresponding stability takes place. In other cases, small perturbations generate spas modic change of a result and of solutions defining this result. These cases correspond to unstable problems. The effect of an unstability can arise in extremal problems or in other related problems. In this connection, we note the...
In this monograph, questions of extensions and relaxations are consid ered. These questions arise in many applied problems in connection with the oper...
|
cena:
603,81 |
![]() |
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
ISBN: 9781568812380 / Angielski / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzen gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the...
"Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzen ...
|
cena:
190,96 |
![]() |
The Notre Dame Lectures: Lecture Notes in Logic, 18
ISBN: 9781568812496 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this volume are refinements of these excellent lectures."
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of ...
|
cena:
371,14 |
![]() |
The Notre Dame Lectures: Lecture Notes in Logic, 18
ISBN: 9781568812502 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this volume are refinements of these excellent lectures."
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of ...
|
cena:
231,95 |
![]() |
Logic Colloquium 2000 (Hardcover): Lecture Notes in Logic, 19
ISBN: 9781568812526 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic communities. The presentations include tutorials and research articles from some of the world's preeminent logicians. Three long articles are based on tutorials given at the meeting, and present accessible expositions of devloping research in three active areas of...
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilb...
|
cena:
225,25 |
![]() |
Logic, Induction and Sets
ISBN: 9780521826211 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.
Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places...
|
cena:
470,25 |
![]() |
Sets for Mathematics
ISBN: 9780521804448 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced undergraduate or beginning graduate students need a unified foundation for their study of geometry, analysis, and algebra. For the first time, this book uses categorical algebra to build such a foundation, starting from intuitive descriptions of mathematically and physically common phenomena and advancing to a precise specification of the nature of Categories of Sets. Set theory as the algebra of mappings is introduced and developed as a unifying basis for advanced mathematical subjects such as algebra, geometry, analysis, and combinatorics. The formal study evolves from general...
Advanced undergraduate or beginning graduate students need a unified foundation for their study of geometry, analysis, and algebra. For the first time...
|
cena:
563,09 |
![]() |
Automata Theory with Modern Applications
ISBN: 9780521848879 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired...
Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only i...
|
cena:
391,42 |
![]() |
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
ISBN: 9781402086212 / Angielski / Twarda / 704 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost. ...'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focu... |
cena:
1207,67 |