» książki » Mathematics - Set Theory
topmenu
 |
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,25 |
 |
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:
806,99 |
 |
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:
403,47 |
 |
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:
559,80 |
 |
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:
204,60 |
 |
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:
605,23 |
 |
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:
180,06 |
 |
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:
350,44 |
 |
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:
219,00 |
 |
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:
223,87 |
 |
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:
467,42 |
 |
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:
559,69 |
 |
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:
389,07 |
 |
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:
1210,50 |
 |
Lectures on Mathematical Logic, Volume II
ISBN: 9789056992675 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguisti...
|
cena:
559,80 |
 |
Theory of Fuzzy Differential Equations and Inclusions
ISBN: 9780415300735 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy differential functions are applicable to real-world problems in engineering, computer science, and social science. That relevance makes for rapid development of new ideas and theories. This volume is a timely introduction to the subject that describes the current state of the theory of fuzzy differential equations and inclusions and provides a systematic account of recent developments. The chapters are presented in a clear and logical way and include the preliminary material for fuzzy set theory; a description of calculus for fuzzy functions, an investigation of the basic theory of...
Fuzzy differential functions are applicable to real-world problems in engineering, computer science, and social science. That relevance makes for rapi...
|
cena:
632,81 |
 |
Variational Problems in Topology: The Geometry of Length, Area and Volume
ISBN: 9782881247408 / Angielski / Twarda / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics. In this work, Professor Fomenko offers a concise and clean explanation of some of these problems (both solved and unsolved), using current methods and analytical topology. The author's skillful exposition gives an unusual motivation to the theory expounded, and his work is recommended reading for specialists and nonspecialists alike, involved in the fields of physics and mathematics at both undergraduate and graduate levels. Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathemati... |
cena:
1801,09 |
 |
Topics in Set Theory: Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-Functions
ISBN: 9783540541219 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the author, give a novel and fast exposition of four chapters of Set Theory. The first two chapters are about the connection between large cardinals and Lebesque measure. The third is on forcing axioms such as Martin's axiom or the Proper Forcing Axiom. The fourth chapter looks at the method of minimal walks and p-functions and their applications. The book is addressed to researchers and graduate students interested in Set Theory, Set-Theoretic...
During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the au...
|
cena:
100,67 |
 |
Truth in Mathematics
ISBN: 9780198514763 / Angielski / Twarda / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics and philosophy in the twentieth century and in particular the work by Godel and the development of the notion of independence in mathematics have led to new and complex views on this question. Collecting the work of a number of outstanding mathematicians and philosophers, including Yurii Manin, Vaughan Jones, and Per Martin-Lof, this volume provides an overview of the forefront of current thinking and a valuable introduction for researchers in...
The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics...
|
cena:
1620,36 |
 |
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:
233,60 |
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
