» książki » Mathematics - Set Theory
topmenu
 |
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ISBN: 9783031853517 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is...
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about ...
|
cena:
302,60 zł |
 |
Razonamiento Lógico Matemático
ISBN: 9798346618140 / Hiszpański / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
84,74 zł |
 |
Das Mengentheoretische Unabh?ngigkeitsph?nomen: Eine Welt Jenseits Der Mathematischen Beweiskraft
ISBN: 9783662710968 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
56,53 zł |
 |
Combinatorial Set Theory: With a Gentle Introduction to Forcing
ISBN: 9783031917516 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
645,58 zł |
 |
Mathematical Logic, Computability, Complexity, & Randomness
ISBN: 9789819815937 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
438,10 zł |
 |
Graphs and Homomorphisms
ISBN: 9780198708704 / Angielski / Twarda / 15-02-2026 / 336 str. Książka dostępna od: 15-02-2026 |
|
Termin ukazania się książki: 15-02-2026
Książkę można już zamówić z rabatem 5% |
|
757,31 zł |
 |
Graphs and Homomorphisms
ISBN: 9780198993414 / Angielski / Miękka / 15-02-2026 / 336 str. Książka dostępna od: 15-02-2026 |
|
Termin ukazania się książki: 15-02-2026
Książkę można już zamówić z rabatem 5% |
|
268,34 zł |
 |
Elements of Set Theory
ISBN: 9780122384400 / Angielski / Twarda / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning.
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory...
|
cena:
277,42 zł |
 |
Fuzzy Sets in Psychology: Volume 56
ISBN: 9780444705044 / Angielski / Twarda / 469 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume provides an up-to-date picture of the current status of theoretical and empirical developments in the application of fuzzy sets in psychology. Fuzzy set theory could benefit researchers in at least two ways: first, as a metaphor or model for ordinary thought, and secondly, as an aid to data analysis and theory construction. One can find examples for both kinds in the volume, which will be of interest both to the advanced student in the field as well as to anyone possessing a basic scientific background.
This volume provides an up-to-date picture of the current status of theoretical and empirical developments in the application of fuzzy sets in psychol...
|
cena:
1109,24 zł |
 |
Algebraic Set Theory
ISBN: 9780521558303 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore, the authors explicitly construct these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and...
This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which aris...
|
cena:
269,16 zł |
 |
Foundations of Translation Planes
ISBN: 9780824706098 / Angielski / Twarda / 558 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An exploration of the construction and analysis of translation planes to spreads, partial spreads, co-ordinate structures, automorphisms, autotopisms, and collineation groups. It emphasizes the manipulation of incidence structures by various co-ordinate systems, including quasisets, spreads and matrix spreadsets. The volume showcases methods of structure theory as well as tools and techniques for the construction of new planes.
An exploration of the construction and analysis of translation planes to spreads, partial spreads, co-ordinate structures, automorphisms, autotopisms,...
|
cena:
1460,34 zł |
 |
Foundations of Three-Dimensional Euclidean Geometry
ISBN: 9780824769017 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1046,58 zł |
 |
Introductory Concepts for Abstract Mathematics
ISBN: 9781584881346 / Angielski / Twarda / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introductory Concepts for Abstract Mathematics helps readers bridge th at gap. It teaches them to work with abstract ideas and develop a faci lity with definitions, theorems, and proofs. They learn logical princi ples, and to justify arguments not by what seems right, but by strict adherence to principles of logic and proven mathematical assertions - and they learn to write clearly in the language of mathematics. Introd uctory Concepts for Abstract Mathematics takes readers into the world beyond calculus and ensures their voyage to that world is successful. It imparts a feeling for the beauty...
Introductory Concepts for Abstract Mathematics helps readers bridge th at gap. It teaches them to work with abstract ideas and develop a faci lity wit...
|
cena:
535,46 zł |
 |
Universal Algebra and Applications in Theoretical Computer Science
ISBN: 9781584882541 / Angielski / Twarda / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduces the basic concepts of universal algebra and surveys some of the developments in the field. This book focuses on applications in theoretical computer science and various topics, including Mal'cev conditions, tame congruence theory, clones, and commutators.
Introduces the basic concepts of universal algebra and surveys some of the developments in the field. This book focuses on applications in theoretical...
|
cena:
559,80 zł |
 |
Algebra, Logic, Set Theory
ISBN: 9781904987284 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgner's former students, friends and collaborators have contributed sixteen papers to this volume that highlight the unity of these three fields in the spirit of Ulrich Felgner's own research. The interested reader will find excellent original research surveys and papers that span the field from set theory without the axiom of choice via model-theoretic algebra to the mathematics of intonation.
This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgne...
|
cena:
262,55 zł |
 |
Descriptive Theory of Sets and Functions. Functional Analysis in Semi-Ordered Spaces
ISBN: 9782884490122 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kantorovich, the late Nobel Laureate, was a respected mathematical economist, and one of the founding fathers of linear programming. Part I begins with chapters on the theory of sets and real functions. Topics treated include universal functions, W.H. Young's classification, generalized derivatives of continuous functions and the H. Steinhaus problem. The book also includes papers on the theory of projective sets, general and particular methods of the extension of Hilbert space, and linear semi-ordered spaces. The author deals with a number of approximate calculations and solutions including...
Kantorovich, the late Nobel Laureate, was a respected mathematical economist, and one of the founding fathers of linear programming. Part I begins wit...
|
cena:
1947,12 zł |
 |
Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic. Edited by Pieranna Garavaso
ISBN: 9789042020474 / Angielski / Twarda / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume documents a lively exchange between five philosophers of mathematics. It also introduces a new voice in one central debate in the philosophy of mathematics. Non-realism, i.e., the view supported by Hugly and Sayward in their monograph, is an original position distinct from the widely known realism and anti-realism. Non-realism is characterized by the rejection of a central assumption shared by many realists and anti-realists, i.e., the assumption that mathematical statements purport to refer to objects. The defense of their main argument for the thesis that arithmetic lacks...
This volume documents a lively exchange between five philosophers of mathematics. It also introduces a new voice in one central debate in the philoso...
|
cena:
523,90 zł |
 |
Introduction to Model Theory
ISBN: 9789056993139 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.
This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to... Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in thi...
|
cena:
389,37 zł |
 |
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory
ISBN: 9780198500506 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever-growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential...
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science...
|
cena:
478,99 zł |
 |
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory
ISBN: 9780198500513 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever-growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential...
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science...
|
cena:
824,86 zł |
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
