![]() |
Handbook of Mathematical Induction: Theory and Applications
ISBN: 9781420093643 / Angielski / Twarda / 921 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Enables readers to prove hundreds of mathematical results. This book presents the formal development of natural numbers from axioms, which leads into set theory and transfinite induction. It covers Peano's axioms, weak and strong induction, double induction, infinite descent downward induction, and variants of these inductions.
Enables readers to prove hundreds of mathematical results. This book presents the formal development of natural numbers from axioms, which leads into ...
|
cena:
1073,11 |
![]() |
Diophantus of Alexandria: A Study in the History of Greek Algebra
ISBN: 9781578987542 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reprint. Paperback. 387 pp. Diophantus of Alexandria, sometimes called the father of algebra, was an Alexandrian mathematician and the author of a series of books called Arithmetica. These texts deal with solving algebraic equations, many of which are now lost. In studying Arithmetica, Pierre de Fermat concluded that a certain equation considered by Diophantus had no solutions, and noted without elaboration that he had found a truly marvelous proof of this proposition, now referred to as Fermat's Last Theorem. This led to tremendous advances in number theory, and the study of diophantine...
Reprint. Paperback. 387 pp. Diophantus of Alexandria, sometimes called the father of algebra, was an Alexandrian mathematician and the author of a ser...
|
cena:
56,72 |
![]() |
Theory of Relations: Volume 145
ISBN: 9780444505422 / Angielski / Twarda / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by Dushnik, Miller 1940 who, starting from the chain of reals, obtained an infinite strictly decreasing sequence of chains (of continuum power) with respect to embeddability. In 1948 I conjectured that every strictly decreasing sequence of denumerable chains is finite. This was affirmatively proved by Laver (1968), in the more general case of...
Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among ...
|
cena:
726,79 |
![]() |
Introduction to Cardinal Arithmetic
ISBN: 9783034603270 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an introduction to modern cardinal arithmetic, developed in the frame of the axioms of Zermelo-Fraenkel set theory together with the axiom of choice. It splits into three parts. Part one, which is contained in Chapter 1, describes the classical cardinal arithmetic due to Bernstein, Cantor, Hausdorff, Konig, and Tarski. The results were found in the years between 1870 and 1930. Part two, which is Chapter 2, characterizes the development of cardinal arith metic in the seventies, which was led by Galvin, Hajnal, and Silver. The third part, contained in Chapters 3 to 9, presents the...
This book is an introduction to modern cardinal arithmetic, developed in the frame of the axioms of Zermelo-Fraenkel set theory together with the axio...
|
cena:
242,07 |
![]() |
Combinatory Logic: Pure, Applied and Typed
ISBN: 9781439800003 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and... Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Fu... |
cena:
707,28 |
![]() |
Lectures in Logic and Set Theory, Volume 2: Set Theory
ISBN: 9780521168489 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style...
|
cena:
394,60 |
![]() |
Lattice Theory: Foundation
ISBN: 9783034800174 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book started with Lattice Theory, First Concepts, in 1971. Then came General Lattice Theory, First Edition, in 1978, and the Second Edition twenty years later. Since the publication of the first edition in 1978, General Lattice Theory has become the authoritative introduction to lattice theory for graduate students and the standard reference for researchers. The First Edition set out to introduce and survey lattice theory. Some 12,000 papers have been published in the field since then; so Lattice Theory: Foundation focuses on introducing the field, laying the...
This book started with Lattice Theory, First Concepts, in 1971. Then came General Lattice Theory, First Edition, in 1978, and the Second...
|
cena:
342,95 |
![]() |
The Structure of the Real Line
ISBN: 9783034800051 / Angielski / Twarda / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The rapid development of set theory in the last fifty years, mainly by obtaining plenty of independence results, strongly influenced an understanding of the structure of the real line. This book is devoted to the study of the real line and its subsets taking into account the recent results of set theory. Whenever possible the presentation is done without the full axiom of choice. Since the book is intended to be self-contained, all necessary results of set theory, topology, measure theory, and descriptive set theory are revisited with the purpose of eliminating superfluous use of an axiom of...
The rapid development of set theory in the last fifty years, mainly by obtaining plenty of independence results, strongly influenced an understanding ...
|
cena:
403,47 |
![]() |
Fuzzy Sets Based Heuristics for Optimization
ISBN: 9783642056116 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this volume is to show how Fuzzy Sets and Systems can help to provide robust and adaptive heuristic optimization algorithms in a variety of situations. The book presents the state of the art and gives a broad overview on the real practical applications that Fuzzy Sets, based on heuristic algorithms, have. The aim of this volume is to show how Fuzzy Sets and Systems can help to provide robust and adaptive heuristic optimization algorithms in a variety... |
cena:
605,23 |
![]() |
Fuzzy Modeling with Spatial Information for Geographic Problems
ISBN: 9783642062643 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book focuses on research advances in approaches for incorporating explicit handling of uncertainty, especially by fuzzy sets, to address geographic problems. Over the past several years interest in the use of fuzzy sets approaches has grown across a broad spectrum of fields that use spatial information to address geographic problems. Not only has there been considerable research on incorporating fuzzy sets in the geographic information systems (GIS) supporting geographic problem solving, but increasingly the uncertainties inherent in modeling geographic problems have been addressed... This book focuses on research advances in approaches for incorporating explicit handling of uncertainty, especially by fuzzy sets, to address geogr... |
cena:
806,99 |
![]() |
Fuzzy Set Theory: Basic Concepts, Techniques and Bibliography
ISBN: 9789048147069 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of this book is to provide the reader who is interested in applications of fuzzy set theory, in the first place with a text to which he or she can refer for the basic theoretical ideas, concepts and techniques in this field and in the second place with a vast and up to date account of the literature. Although there are now many books about fuzzy set theory, and mainly about its applications, e. g. in control theory, there is not really a book available which introduces the elementary theory of fuzzy sets, in what I would like to call "a good degree of generality". To write a book...
The purpose of this book is to provide the reader who is interested in applications of fuzzy set theory, in the first place with a text to which he or...
|
cena:
403,47 |
![]() |
An Outline of Set Theory
ISBN: 9780387963686 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is designed for use in a one semester problem-oriented course in undergraduate set theory. The combination of level and format is somewhat unusual and deserves an explanation. Normally, problem courses are offered to graduate students or selected undergraduates. I have found, however, that the experience is equally valuable to ordinary mathematics majors. I use a recent modification of R. L. Moore's famous method developed in recent years by D. W. Cohen 1]. Briefly, in this new approach, projects are assigned to groups of students each week. With all the necessary assistance from...
This book is designed for use in a one semester problem-oriented course in undergraduate set theory. The combination of level and format is somewhat u...
|
cena:
201,72 |
![]() |
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
ISBN: 9781441929051 / Angielski / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates a...
|
cena:
605,23 |
![]() |
Problems and Theorems in Classical Set Theory
ISBN: 9781441921406 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although the ?rst decades of the 20th century saw some strong debates on set theory and the foundation of mathematics, afterwards set theory has turned into a solid branch of mathematics, indeed, so solid, that it serves as the foundation of the whole building of mathematics. Later generations, honest to Hilbert s dictum, No one can chase us out of the paradise that Cantor has created for us proved countless deep and interesting theorems and also applied the methods of set theory to various problems in algebra, topology, in?nitary combinatorics, and real analysis. The invention of forcing...
Although the ?rst decades of the 20th century saw some strong debates on set theory and the foundation of mathematics, afterwards set theory has turne...
|
cena:
201,72 |
![]() |
The Core Model Iterability Problem
ISBN: 9783540619383 / Angielski / Miękka / 115 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal universes, or "core models," satisfying them. Since Godel's pioneering work on the universe of constructible sets, several larger core models satisfying stronger hypotheses have been constructed, and these have proved quite useful. Here the author extends this theory so that it can produce core models satisfying "There is a Woodin cardinal," a large cardinal hypothesis which is the focus of much current research. The book is intended for...
Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal ...
|
cena:
264,09 |
![]() |
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:
246,59 |
![]() |
A Course on Set Theory
ISBN: 9781107008175 / Angielski / Twarda / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.
This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.
|
cena:
533,10 |
![]() |
fuzzy relational calculus: theory, applications and software
ISBN: 9789812560766 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book examines fuzzy relational calculus theory with applications in various engineering subjects. The scope of the text covers unified and exact methods with algorithms for direct and inverse problem resolution in fuzzy relational calculus. Extensive engineering applications of fuzzy relation compositions and fuzzy linear systems (linear, relational and intuitionistic) are discussed. Some examples of such applications include solutions of equivalence, reduction and minimization problems in fuzzy machines, pattern recognition in fuzzy languages, optimization and inference engines in...
This book examines fuzzy relational calculus theory with applications in various engineering subjects. The scope of the text covers unified and exact ...
|
cena:
599,97 |
![]() |
Handbook of Finite State Based Models and Applications
ISBN: 9781439846186 / Angielski / Twarda / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study... Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state ... |
cena:
780,44 |
![]() |
Naive Set Theory
ISBN: 9781614271314 / Angielski / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
42,13 |