» książki » Mathematics - Logic
topmenu
 |
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
ISBN: 9783319874142 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
645,58 |
 |
Noneist Explorations I: The Sylvan Jungle - Volume 2
ISBN: 9783030263072 / Angielski / Twarda / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
645,58 |
 |
Ordered Sets
ISBN: 9780387242194 / Angielski / Twarda / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is written particularly for mathematics students and, of course, for mathematicians interested in set theory. Only some fun- mental parts of naive set theory are presupposed, - not more than is treated in a textbook on set theory, even if this restricts us only to the most basic facts of this field. We have summarized all of this in Chapter 0 without longer discusssions and explanations, because there are s- eral textbooks which can be consulted by the reader, e.g. HrbacekIJech 88], KneeboneIRotman 99], ShenIVereshchagin 159]. Besides this only elementary facts of analysis are...
This book is written particularly for mathematics students and, of course, for mathematicians interested in set theory. Only some fun- mental parts of...
|
cena:
645,58 |
 |
Mathematical Thought: An Introduction to the Philosophy of Mathematics
ISBN: 9789048183272 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In contributing a foreword to this book I am complying with a wish my husband expressed a few days before his death. He had completed the manuscript of this work, which may be considered a companion volume to his book Formal Methods. The task of seeing it through the press was undertaken by Mr. J. J. A. Mooij, acting director of the Institute for Research in Foundations and the Philosophy of Science (Instituut voor Grondslagenonderzoek en Filoso:fie der Exacte Wetenschappen) of the University of Amsterdam, with the help of Mrs. E. M. Barth, lecturer at the Institute. I wish to thank Mr. Mooij...
In contributing a foreword to this book I am complying with a wish my husband expressed a few days before his death. He had completed the manuscript o...
|
cena:
645,58 |
 |
God and Abstract Objects: The Coherence of Theism: Aseity
ISBN: 9783319553832 / Angielski / Twarda / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an exploration and defense of the coherence of classical theism's doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects.
This book is an exploration and defense of the coherence of classical theism's doctrine of divine aseity in the face of the challenge posed by Platoni...
|
cena:
645,58 |
 |
God and Abstract Objects: The Coherence of Theism: Aseity
ISBN: 9783319856469 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
645,58 |
 |
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
ISBN: 9780817648220 / Angielski / Twarda / 603 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
645,58 |
 |
Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets
ISBN: 9789819905683 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM). The main purpose of MCDM is the construction of systematized strategies for the "optimisation" of feasible options, as well as the justification of why some alternatives can be declared "optimal". However, at time, we must make decisions in an uncertain environment and such inconvenience gives rise to a much more elaborate scenario. This book highlights models where this lack of certainty can be flexibly fitted in and goes on to explore valuable strategies for making decisions under a...
This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM). The main purpose of MCDM is the constructi...
|
cena:
645,58 |
 |
The Logic of Infinity
ISBN: 9781107058316 / Angielski / Twarda / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical foundations and popular accounts of logic. Readers will learn of the formal construction of the classical number systems, from the natural numbers to the real numbers and beyond, and see how set theory has...
Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the d...
|
cena:
648,63 |
 |
Geometric Stability Theory
ISBN: 9780198534372 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification theory. This approach studies the fine structure of models of stable theories, using the geometry of forking; this often achieves global results relevant to classification theory. Topics range from Zilber-Cherlin classification of infinite locally finite homogenous geometries, to regular types, their geometries, and their role in superstable theories. The structure and existence of definable groups is featured prominently, as is work by...
This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification t...
|
cena:
653,25 |
 |
Proof Complexity
ISBN: 9781108416849 / Angielski / Twarda / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
|
cena:
653,25 |
 |
Foundations of Constructive Probability Theory
ISBN: 9781108835435 / Angielski / Twarda / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
653,25 |
 |
Domains and Lambda-Calculi
ISBN: 9780521622776 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda...
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani...
|
cena:
653,25 |
 |
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
ISBN: 9780691058580 / Angielski / Miękka / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913). This definitive history of a critical period in mathematics includes detailed accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic of Peano and his... While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensi... |
cena:
653,63 |
 |
Handbook of Proof Theory: Volume 137
ISBN: 9780444898401 / Angielski / Twarda / 810 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.
The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical... This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...
|
cena:
658,50 |
 |
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
ISBN: 9789811236471 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
658,50 |
 |
Mathematics for Computation (M4c)
ISBN: 9789811245213 / Angielski / Twarda / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
658,50 |
 |
Tale of Discrete Mathematics, A: A Journey Through Logic, Reasoning, Structures and Graph Theory
ISBN: 9789811285783 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
658,50 |
 |
Teaching and Learning Proof Across the Grades: A K-16 Perspective
ISBN: 9780415989848 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new collection provides a much-needed forum for mathematics educators to articulate a connected K-16 story of proof. This book both highlights the ideas that have recently emerged on proof research and defines an agenda for future study. This new collection provides a much-needed forum for mathematics educators to articulate a connected K-16 story of proof. This book both highlights... |
cena:
658,50 |
 |
Computability in Context: Computation and Logic in the Real World
ISBN: 9781848162457 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier.This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with...
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/u...
|
cena:
658,50 |
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
